Logical-Time Contracts for Reactive Embedded Components

Authors:
Florence Maraninchi;Lionel Morel
Affiliations:
VERIMAG, France;VERIMAG, France
Venue:
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Year:
2004

Citing 0
Cited 11

42: programmable models of computation for a component-based approach to heterogeneous embedded systems

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Modifying Contracts with Larissa Aspects

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis tools for the synchronous aspect language Larissa

EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Executable Contracts for Incremental Prototypes of Embedded Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Contract-Based Coordination of Hardware Components for the Development of Embedded Software

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Contracts for modular discrete controller synthesis

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Stepwise development of simulink models using the refinement calculus framework

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A Boolean Algebra of Contracts for Assume-guarantee Reasoning

Electronic Notes in Theoretical Computer Science (ENTCS)
Contract-based verification of simulink models

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Modular design of man-machine interfaces with larissa

SC'06 Proceedings of the 5th international conference on Software Composition
Integrating discrete controller synthesis into a reactive programming language compiler

Discrete Event Dynamic Systems

Quantified Score

Hi-index	0.00

Visualization

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.