2123 search results - page 28 / 425 » Composition of Cyber-Physical Systems |
FM
2003
Springer
14 years 2 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
JOT
2010
13 years 4 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
SNPD
2008
13 years 11 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...