Extending the standard execution model of UML for real-time systems

IFIP Advances in Information and Communication Technology

Volumn 329, Issue , 2010, Pages 43-54

  Benyahia, Abderraouf ^a,b   Cuccuru, Arnaud ^b   Taha, Safouan ^a   Terrier, François ^b   Boulanger, Frédéric ^a   Gérard, Sébastien ^b  

^a AUTOMATIC CONTROL DEPARTMENT   (France)

^b CEA LIST   (France)

Author keywords

Concurrent systems; FUML; MDD; Model Simulation; Real time systems

Indexed keywords

BIOMIMETICS; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS; UNIFIED MODELING LANGUAGE;

ASYNCHRONOUS COMMUNICATION; CONCURRENT SYSTEMS; EXECUTABLE SEMANTICS; EXECUTION SEMANTICS; FUML; MODEL SIMULATION; MODEL TRANSFORMATION; SEMANTIC FOUNDATION;

REAL TIME SYSTEMS;

EID: 84943522564     PISSN: 18684238     EISSN: 1868422X     Source Type: Book Series    
DOI: 10.1007/978-3-642-15234-4_6     Document Type: Conference Paper

References (16)

1. OMG. A UML profile fore MARTE: Modeling and Analysis of Real-Time Embedded systems Version 1. 0. (2009)
2. OMG. Semantics of Foundational Subset for Executable UML models FTF-Beta2 (2009)
3. Model driven solution, http://portal. modeldriven. org/content/fuml-reference-implementation-download
4. Agha, G.: Actors: a model of concurrent computation in distributed system. MIT Press, Cambridge (1986)
5. Selic, B., Ward, P. T., McGee, G. G.: Real-Time Object-Oriented Modeling. Wiley, John & Sons, Inc. (October 1994), ISBN-13: 9780471599173
6. Terrier, F., Fouquier, G., Bras, D., Rioux, L., Vanuxeem, P., Lanusse, A.: A real time object model. In: International Conference on Technology of Object Oriented Languages and Systems, TOOLS Europe 1996, Paris, France, Février (1996)
7. Eker, J., Janneck, J. W., Lee, E. A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity–the Ptolemy approach. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software 91(1), 127–144 (2003)
8. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3–12 (2006)
9. Open SystemC Initiative. SystemC 2. 0. 1 Language Reference Manual (2004)
10. SystemC. Official web site of SystemC community, http://www. systemc. org/
11. Gamma, Helm, Johnson, Vlissides: Design Patterns: Elements of Resuable Object-Oriented Software, pp. 163–174, 331–344. Addison-Wesley, Reading (1995)
12. OMG. Unified Modeling Language: Superstructure. version 2. 2. formal/2009-02-02 (2009)
13. Eker, J., Janneck, J. W., Lee, E. A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity–The Ptolemy approach. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software 91(1), 127–144 (2003)
14. Boulanger, F., Hardebolle, C.: Simulation of Multi-Formalism Models with Mod-Hel’X. In: Proceedings of ICSTW 2008, pp. 318–327. IEEE Comp. Soc., Los Alamitos (2008)
15. Executable UML/SYSML semantics. Model Driven Solutions. Final project report (November 2008)
16. André, C., Ferrero, B., Mallet, F.: TimeSquare: a Multiform Time Simulation Environment. In: Sophia Antipolis and Formal Analysis Workshop (Décembre 2008)