Towards validated real-time softwareReport as inadecuate




Towards validated real-time software - Download this document for free, or read online. Document in PDF available to download.

Presented at: Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, Los Alamitos, CA, USA Published in: Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, p. 157 - 64 Publication date: 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

Keywords: automata theory ; high level languages ; program verification ; real-time systems ; scheduling Reference EPFL-CONF-185014doi:10.1109/EMRTS.2000.854003





Author: Bertin, V.; Poize, M.; Pulou, J.; Sifakis, J.

Source: https://infoscience.epfl.ch/record/185014?ln=en



DOWNLOAD PDF




Related documents