Towards validated real-time software

13 years 6 months ago
Towards validated real-time software
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. Keywords : real-time computing, embedded applications, real-time constraints, compiling, synchronous languages, validation, timed automata, model-checking, external environment modelling.
Valérie Bertin, Michel Poize, Jacques Pulou
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Authors Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis
Comments (0)