The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
The GSM System for Mobile Communications
The GSM System for Mobile Communications
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Efficient compilation of ESTEREL for real-time embedded systems
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents
MATA '02 Proceedings of the 4th International Workshop on Mobile Agents for Telecommunication Applications
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Embedded Systems Design
Hi-index | 0.00 |
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for design and the application of model-checking techniques for validation of real-time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of the application on the target hardware architecture as well as its external environment behavior.