Towards a "synchronous reactive" UML profile?

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 2, 2006, Pages 146-155

  de Simone, Robert ^a   André, Charles ^b  

^a INRIA   (France)

^b UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

Embedded systems; Reactive; Real time; Synchronous; UML

Indexed keywords

EID: 33646151169     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-005-0206-9     Document Type: Article

References (25)

1. André, C.: Representation and analysis of reactive behavior: A synchronous approach. In: Computational Engineering in Systems Applications (CESA), IEEE-SMC (1996)
2. André, C.: Semantics of SSM (Safe State Machine). Esterel Technologies, electronic version available at http://www.esterel-technologies.com, April (2003)
3. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79 (9), 1270-1282 (1991)
4. Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P.L., de Simone, R.: Synchronous languages twelve years later. Proceedings of the IEEE, 91 (1), 64-83 (2003)
5. Berry, G.: The Constructive Semantics of Pure Esterel. Electronic version only (1999)
6. Björkander, M.: System level modeling and UML. In: FDL'03 Keynote address (2003)
7. Brodsky, S., Clark, T., Cook, S., Evans, A., Kent, S.: A feasibility study in rearchitecturing UML as a family of languages using a precise oo meta-modeling approach. Technical report, The Precise UML Group (2000). Available at //www.cs.york.ac.uk/mmf/mmf.pdf
8. Closse, E., Poize, M., Pulou, J., Vernier, P., Weil, D.: Saxo-rt: Interpreting Esterel semantic on a sequential execution structure. Electron. Notes Theor. Comput. Sci. 65 (2002)
9. Edwards, S.: Compiling Esterel into sequential code. In: Proceedings CODES'99. Rome, Italy (1999)
10. Grosu, R., Stauner, T., Broy, M.: A modular visual model for hybrid systems. Lecture Notes Comput. Sci. 1486, 75-91 (1998)
11. Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proc. IEEE 79 (9), 1321-1336 (1991)
12. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proc. IEEE 79 (9), 1305-1320 (1991)
13. Harel, A.: StateCharts: a visual formalism for complex systems. Sci. Comput. Progr. 8 (1987)
14. Lavarenne, C., Seghrouchni, O., Sorel, Y., Sorine, M.: The SynDEx software environment for real-time distributed systems design and implementation. In: Proceedings of European Control Conference (ECC'91) (1991)
15. Liu, J., Lee, E.A.: A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM TOMACS (2002)
16. MaraninchA, F., Rémond, Y.: Mode-Automata: a new domain-specific construct for the development of safe critical systems (2002)
17. OMG: OMG Unified Modeling Language Specification. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2001). OMG document number: 01-09-67
18. OMG: Meta Object Facility (MOF) 2.0 Core Specification. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2003). OMG document number: Ptc/03-10-04
19. OMG: UML 2.0 Infrastructure Specification. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2003). OMG document number: Ptc/03-09-15
20. OMG: UML 2.0 Superstructure Specification. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2003). OMG document number: Ptc/03-08-02, updated: ptc/04-10-02
21. OMG: UML Profile for Schedulability, Performance, and Time Specification. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2003). OMG document number: Formal/03-09-01 (v1.0), formal/05-01-02 (v1.1)
22. OMG: UML Profile for Modeling and Analysis of Real-Time and Embedded systems. Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701 (2005). OMG document number: Realtime/05-02-06
23. Potop, D., de Simone, R.: Optimizations for faster execution of esterel programs. MEMOCODE'03 (2003)
24. Weil, D., Closse, E., Poize, M., Venier, P., Pulou, J., Yovine, S., Sifakis, J.: TAXYS: A tool for developing and verifying real-time properties of embedded systems. In: CAV'01, LNCS 2102 (2001)
25. http://www.esterel-technologies.com