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


Published in:
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 157 - 64
Presented at:
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, Los Alamitos, CA, USA
Year:
2000
Keywords:
Laboratories:




 Record created 2013-03-14, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)