On the development of reactive systems
Logics and models of concurrent systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Arrays and Contracts for the Specification and Analysis of Regular Systems
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Logical-Time Contracts for Reactive Embedded Components
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
CoJava: a unified language for simulation and optimization
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Hi-index | 0.00 |
In this paper, we advocate for a seamless design-flow for embedded reactive programs. We particularly concentrate on the use of assume-guarantee contracts (as a form of non-deterministic specification) and present how these can be used for early execution of reactive specifications. We illustrate the approach on a case-study taken from an avionic application, trying to show the implications of this simulation method on the design-flow.