71 search results - page 1 / 15 » An Interface Algebra for Real-Time Components |
RTAS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ECBS
2010
IEEE
14 years 11 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...