Abstract
The domain of Real-Time Embedded (RTE) systems was ackowledged as being largely influential on many feature additions to the recent UML2.0 standard [Björkander, M., FDL'03 Keynote address, 2003]. Work on UML1.4 Scheduling, Performance & Time (SPT) profile also goes in that direction. Still, the paradigms underlying these modeling efforts are that of software components, running on a real-time OSs with physical time constraints and middleware (e.g., RT-Corba) concerns. In other areas of Embedded System Design other paradigms are at work, owing to codesign techniques at the border between software and hardware, or discrete time mathematical engineering (MATLAB/Simulink) and digital signal processing algorithms, etc. The paradigm of Synchronous Reactive (S/R) systems [Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9), 1270–1282 (1991); Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P.L., de Simone, R.: Synchronous languages twelve years later. Proc. IEEE 91(1), 64–83 (2003)], with discrete logical time and behavior decomposition into instantaneous reactions, proved quite natural in such areas to model mixed hardware/software System-Level Design (SLD).
We describe here some of the modeling paradigms needed for a true S/R model framework, and corresponding diagrammatic interpretations. The synchronous reactive domain described here should be dealt with and included in the forthcoming UML profile for “Modeling and Analysis of Real-Time and Embedded systems” (MARTE), whose request for proposal was recently voted at OMG.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
André, C.: Representation and analysis of reactive behavior: A synchronous approach. In: Computational Engineering in Systems Applications (CESA), IEEE-SMC (1996)
André, C.: Semantics of SSM (Safe State Machine). Esterel Technologies, electronic version available at http://www.esterel-technologies.com, April (2003)
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9), 1270–1282 (1991)
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)
Berry, G.: The Constructive Semantics of Pure Esterel. Electronic version only (1999)
Björkander, M.: System level modeling and UML. In: FDL'03 Keynote address (2003)
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
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)
Edwards, S.: Compiling Esterel into sequential code. In: Proceedings CODES'99. Rome, Italy (1999)
Grosu, R., Stauner, T., Broy, M.: A modular visual model for hybrid systems. Lecture Notes Comput. Sci. 1486, 75–91 (1998)
Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proc. IEEE 79(9), 1321–1336 (1991)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proc. IEEE 79(9), 1305–1320 (1991)
Harel, D.: StateCharts: a visual formalism for complex systems. Sci. Comput. Progr. 8 (1987)
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)
Liu, J., Lee, E.A.: A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM TOMACS (2002)
Maraninchi, F., Rémond, Y.: Mode-Automata: a new domain-specific construct for the development of safe critical systems (2002)
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
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
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
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
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)
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
Potop, D., de Simone, R.: Optimizations for faster execution of esterel programs. MEMOCODE'03 (2003)
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)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
de Simone, R., André, C. Towards a “Synchronous Reactive” UML profile?. Int J Softw Tools Technol Transfer 8, 146–155 (2006). https://doi.org/10.1007/s10009-005-0206-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-005-0206-9