Loading...
conference paper
Towards validated real-time software
2000
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000
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
Loading...
Name
euromicro00.pdf
Access type
openaccess
Size
147.64 KB
Format
Adobe PDF
Checksum (MD5)
3c66783f819f5cc677d9dfcf5e18b2da