Towards validated real-time software

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2000, Pages 157-164

  Bertin, V ^a,c   Poize, M ^a   Pulou, J ^a   Sifakis, J ^b  

^a ORANGE LABS   (France)

^b VERIMAG   (France)

^c NOKIA RESEARCH CENTER   (United States)

Author keywords

compiling; embedded applications; external environment modelling; model checking; real time computing; real time constraints; synchronous languages; timed automata; validation

Indexed keywords

COMPILING; EMBEDDED APPLICATION; EXTERNAL ENVIRONMENTS; REAL TIME COMPUTING; REAL TIME CONSTRAINTS; SYNCHRONOUS LANGUAGES; TIMED AUTOMATA; VALIDATION;

MODEL CHECKING; REAL TIME SYSTEMS; TOOLS;

AUTOMATA THEORY;

EID: 84884698955     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2000.854003     Document Type: Conference Paper

References (10)

1. R. Alur, D. Dill, "Automata For Modeling Real-Time Systems", Proceeding of the 17th ICALP, Lecture Notes In Computer Sciences 443, Springer Verlag, pp. 322-335, 1990.
2. th international Conference on Signal Processing Applications & Technology, San Diego, California, USA, pp. 1032-1036, September 14-17, 1997.
3. G. Berry, A. Benveniste, "The Synchronous Approach to Reactive and Real-Time Systems", Another Look at Real-Time Programming, Proceedings of the IEEE, vol. 79, pp. 1270-1282, 1991. (Pubitemid 21738065)
4. G. Berry, G. Gonthier, "The ESTEREL Synchronous Programming Language : Design Semantics, Implementation", Science of Computer Programming, vol. 19-2, pp. 87-152, 1992.
5. V. Bertin, M. Poize, J. Pulou, "Une Nouvelle Méthode de Compilation pour le Langage ESTEREL [a New Method for Compiling the ESTEREL Language]", Proceedings of GRAISyHMAAA, Lille, France, March 1999 (in French).
6. C.L. Liu, J.W. Layland, "Scheduling Algorithms for Multi-programming in a Hard Real-Time Environment", J. of the ACM, Vol. 20-1, pp. 46-61, January 1973.
7. M. Mouly, M.B. Pautet, "The GSM System for Mobile Communication", Cell&Sys, 1992.
8. S. Yovine, "Model Checking Timed Automata", in Embedded Systems, G. Rozemberg anf F. Vaan Drager EDS, Lecture Notes in Computer Sciences, 1998.
9. T.A. Henzinger, P. H. Ho, H. Wong-Toi, "HYTECH: a Model- Checker for Hybrid Systems", Journal of Software Tools for Technology Transfert, vol. 1-1/2, pp 110-122, 1997.
10. K.G. Larsen, P. Petterson, Wang Yi. "UPPAAL in a nutshell", Journal of Software Tools for Technology Transfert, vol. 1-1/2, pp 134-152, 1997.