Mode-automata: A new domain-specific construct for the development of safe critical systems

Science of Computer Programming

Volumn 46, Issue 3, 2003, Pages 219-254

  Maraninchi, Florence ^a   Rémond, Yann ^b  

^a VERIMAG   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Case study; Language design and implementation; Production cell; Real time systems; Regulation systems; Running modes; Safety critical

Indexed keywords

AUTOMATA THEORY; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; LARGE SCALE SYSTEMS;

CRITICAL SYSTEMS;

COMPUTER PROGRAMMING;

EID: 0037332776     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(02)00093-X     Document Type: Conference Paper

References (30)

1. J.-R. Beauvais, T. Gautier, P. Le Guernic, E. Rutten, R. Houdebine, A translation of Statecharts into Signal, in: Proc. Internat. Conf. on Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu, Japan, March 1998, pp. 52-62.
2. Benveniste A., Berry G. Another look at real-time programming. Special Section Proc. IEEE. 79(9):1991;1270-1282.
3. Berry G., Gonthier G. The Esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Programming. 19(2):1992;87-152.
4. Budde R., Poigné A. Complex reactive control with simple synchronous models. Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, 18 June 2000, Lecture Notes in Computer Science. vol. 1985:2001;19-32 Springer, Berlin.
5. Caspi P. Clocks in dataflow languages. Theoret. Comput. Sci. 94:1992;125-140.
6. P. Caspi, N. Halbwachs, D. Pilaud, J. Plaice, LUSTRE, a declarative language for programming synchronous systems, in: 14th Symp. on Principles of Programming Languages, Munich, January 1987.
7. C2A-SYNCHRON, The common format of synchronous languages - The declarative code DC version 1.0, Technical Report, SYNCHRON project, October 1995.
8. G. Fohler, Realizing changes of operational modes with a pre run-time scheduled hard real-time system, in: Proc. 2nd Internat. Workshop on Responsive Computer Systems, Saitama, Japan, October 1992, Springer, Berlin.
9. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns. 1995;Addison-Wesley, Reading, MA.
10. J. (Yossi) Gil, D.H. Lorenz, Object technology: Design patterns and language design, IEEE Comput. 31 (3) (1998) 118-120.
11. Girault A., Lee B., Lee E.A. Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput.-aided Design Integrated Circuits Systems. 18(6):1999;742-760.
12. Gurevich Y. Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Logic. 1 (1):2000;77-111.
13. N. Halbwachs, F. Lagnier, C. Ratel, Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE, IEEE Trans. Software Eng., Special Issue on the Specification and Analysis of Real-Time Systems, September 1992.
14. N. Halbwachs, F. Lagnier, P. Raymond, Synchronous observers and the verification of reactive systems, in: M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), 3rd Internat. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer, Berlin.
15. Harel D. Statecharts: A visual approach to complex systems Sci. Comput. Programming. 8:1987;231-275.
16. ITU-T, Recommendation Z.100. Specification and Description Language (SDL), Technical Report Z-100, International Telecommunication Union - Standardization Sector, Genève, 1994.
17. Jeannet B., Halbwachs N., Raymond P. Dynamic partitioning in analyses of numerical properties. Cortesi A., Filé G. Static Analysis, Lecture Notes in Computer Science. vol. 1694:1999;39-50 Springer, Berlin.
18. A. Kountouris, Safe and efficient elimination of infeasible execution paths in wcet estimation, in: Proc. Internat. Workshop in R/T Computing Systems and Applications (RTCSA'96), Seoul, South Korea, November 1996, IEEE Computer Society Press, New York.
19. C. Lewerentz, T. Lindner, Formal Development of Reactive Systems: Case Study Production Cell, Lecture Notes in Computer Science, vol. 891, Springer, Berlin, January 1995.
20. F. Maraninchi, Operational and compositional semantics of synchronous automaton compositions, in: CONCUR, Lecture Notes in Computer Science, vol. 630, Springer, Berlin, August 1992.
21. F. Maraninchi, Y. Rémond, Mode-automata: about modes and states for reactive systems, in: European Symposium on Programming, Lisbon, Portugal, March 1998, Lecture Notes in Computer Science, vol. 1381, Springer, Berlin.
22. F. Maraninchi, Y. Rémond, Y. Raoul, Matou: an implementation of mode-automata, in: Internat. Conf. on Compiler Construction, Berlin, Germany, March 2000, Springer, Berlin.
23. Paynter S. Real-time mode-machines. Formal Techniques for Real-Time and Fault Tolerance (FTRTFT), Lecture Notes in Computer Science. vol. 1135:1996;90-109 Springer, Berlin.
24. C. Puchol, D. Stuart, A.K. Mok, An operational semantics and a compiler for modechart specifications, Technical Report CS-TR-95-37, University of Texas, Austin, July 1, 1996.
25. P. Puschner, A tool for high-level language analysis of worst-case execution times, in: Proc. Euromicro Workshop on Real-Time Systems, Berlin, Germany, June 1998, pp. 130-137.
26. P. Raymond, Recognizing regular expressions by means of dataflows networks, in: 23rd Internat. Colloq. on Automata, Languages, and Programming (ICALP'96), Paderborn, Germany, Springer, Berlin, July 1996.
27. P. Raymond, D. Weber, X. Nicollin, N. Halbwachs, Automatic testing of reactive systems, in: 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998.
28. E. Rutten, F. Martinez, SIGNALGTI, implementing task preemption and time interval in the synchronous data-flow language SIGNAL, in: 7th Euromicro Workshop on Real Time Systems, Odense, Denmark, June 1995.
29. synchronousEifel, http://ais.gmd.de/̃ap/sE - GMD SET-EES, Schloss Birlinghoven, 53754 Sankt Augustin, Germany.
30. SYRF, Esprit LTR22703, "synchronous reactive formalisms", Technical Report, 1996-1999. http://www-verimag.imag.fr/SYNCHRONE/SYRF/syrf.html.