|
Published Articles >> Table of Contents >> Abstract
30th EUROMICRO Conference (EUROMICRO'04)
pp. 48-55
Logical-Time Contracts for Reactive Embedded Components
Florence Maraninchi, VERIMAG, France
Lionel Morel, VERIMAG, France
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333355
Send link to a friend
| Abstract |
|
The "Design by contract" principle has been applied successfully in the context of object-oriented designs, since it was first proposed by B. Meyer for Eiffel. We claim that a simple pre-post specification is not sufficient for reactive software. We introduce a model of reactive components suitable for reactive embedded software, and a notion of logical-time contract for the specification and use of these components in synchronous compositions.
|
 Additional Information
|
Citation:
Florence Maraninchi, Lionel Morel,
"Logical-Time Contracts for Reactive Embedded Components,"
euromicro,
pp. 48-55,
30th EUROMICRO Conference (EUROMICRO'04),
2004
|
|
