Taxys = Esterel + Kronos: A tool for verifying real-time properties of embedded systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2001, Pages 2875-2880

  Bertin, Valerie ^a   Closse, Etienne ^a   Poize, Michel ^a   Pulou, Jacques ^a   Sifakis, J ^a   Venier, Patrick ^a   Weil, D ^a   Yovine, Sergio ^a  

^a STMICROELECTRONICS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER GRAPHICS; COMPUTER HARDWARE; PROGRAM PROCESSORS; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING; TELECOMMUNICATION SYSTEMS; VOICE/DATA COMMUNICATION SYSTEMS;

QUANTITATIVE TIMING;

EMBEDDED SYSTEMS;

EID: 0035713255     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Job-shop scheduling using timed automata
2. A framework for scheduler synthesis
3. Scheduler modeling based on the controller synthesis paradigm
4. A theory of timed automata
5. Symbolic controller synthesis for discrete and timed systems
6. A process algebraic approach to the schedulability analysis of real-time systems
7. The synchronous approach to reactive and real-time systems
8. Towards validated real-time software
9. The ESTEREL synchronous programming language: Design, semantics, implementation
10. An algebraic framework for urgency
11. Scheduling hard real-time systems: A review
12. TAXYS: A tool for the developpment and verification real-time embedded systems
13. The tool KRONOS
14. Symbolic schedulability analysis of real-time systems
15. As cheap as possible: Efficient cost-optimal teachability for priced timed automata
16. Scheduling algorithms for multiprogramming in a hard real-time environment
17. The MSP.RTL real-time scheduler synthesis tool
18. Timing analysis and code generation of vehicle control software using taxys
19. Efficient compilation of ESTEREL for real-time embedded systems
20. On the supremal controllable sublanguage of a given language