Metamodels in Europe: Languages, tools, and applications

IEEE Design and Test of Computers

Volumn 26, Issue 3, 2009, Pages 38-53

  Passerone, Roberto ^a   Damm, Werner ^b   Hafaiedh, Imene Ben ^c   Graf, Susanne ^c   Ferrari, Alberto ^d   Mangeruca, Leonardo ^d   Benveniste, Albert ^e   Josko, Bernhard ^f   Peikenkamp, Thomas ^f   Cancila, Daniela ^g   Cuccuru, Arnaud ^g   Gérard, Sébastien ^g   Terrier, Francois ^g   Sangiovanni Vincentelli, Alberto ^h  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF OLDENBURG   (Germany)

^c VERIMAG   (France)

^d PARADES   (Italy)

^e INRIA   (France)

^f OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^g CEA LIST   (France)

^h UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Analytical models; Computer architecture; Context modeling; Design and test; DSL; Embedded systems; European research projects; language design; Metamodeling; Model based design; Real time systems; Safety; Speeds; Unified modeling language

Indexed keywords

ANALYTICAL MODELS; CONTEXT MODELING; EUROPEAN RESEARCH PROJECTS; LANGUAGE DESIGN; METAMODELING; MODEL-BASED DESIGN; SAFETY;

ARCHITECTURAL DESIGN; AUTOMOBILE ELECTRONIC EQUIPMENT; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTERS; DSL; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LINGUISTICS; MODEMS; QUERY LANGUAGES; SAFETY ENGINEERING; SYSTEMS ENGINEERING; TELECOMMUNICATION LINES; UNIFIED MODELING LANGUAGE;

REAL TIME SYSTEMS;

EID: 68449099648     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2009.64     Document Type: Review

References (39)

1. F. Terrier and S. Gérard, "Model-Driven Engineering and Prototyping of Real Time Embedded Applications," Proc. IFIP Working Conf. Distributed and Parallel Embedded Systems (DIPES 06), Springer, 2006.
2. J.-B. Raclet et al., "Why Are Modalities Good for Interface Theories?" Proc. 9th Int'l Conf. Application of Concurrency to System Design (ACSD 09), IEEE CS Press, 2009 (to appear).
3. B. Selic, "From Model-Driven Development to Model-Driven Engineering," keynote talk at Euromicro Conf. Real-Time Systems (ECRTS 07), 2007; http://feanor.sssup.it/ecrts07/keynotes/k1-selic.pdf.
4. D. Schmidt, "Model-Driven Engineering," Computer, vol. 39, no. 2, 2006, pp. 25-31.
5. A.L. Sangiovanni-Vincentelli, "Defining Platform-Based Design," EE Design of EE Times, Feb. 2002; http://www.gigascale.org/pubs/141.html.
6. H. Espinoza, "An Integrated Model-Driven Framework for Specifying and Analyzing Non-functional Properties of Real-Time Systems, doctoral dissertation, CEA LIST, 2007.
7. H. Espinoza et al., Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems, tech. report, Center of Nuclear Energy, CEA-LIST, 2008.
8. OMG, Semantics of a Foundational Subset for Executable UML Models (Beta 1); http://www.omg.org/spec/FUML/1.0/Beta1.
9. Papyrus, Open Source Tool for Graphical UML2 Modeling; http://www.papyrusuml.org.
10. Rational Software Architecture (RSA); https://www.ibm.com/developerworks/ rational/library/05/510_svc/.
11. LISE, Laboratoire d'ingénierie dirigée par les modé les pour les systémes embarqués (LISE) [Laboratory of Model-Driven Engineering for Embedded Systems], project leader: F. Terrier. LISE is part of CEA LIST [Atomic Energy Commission, Software-Intensive Systems R&D] (in French).
12. IMOFIS Project, Ingé nierie des Modé le Fonctions Sécuritaires [Model-Driven Engineering for Safety Functions]; http://www.imofis.org (in French).
13. B. Selic, "On the Semantic Foundations of Standard UML 2.0," Formal Methods for the Design of Real-Time Systems, LNCS 3185, M. Bernardo and F. Corradini, eds., Springer-Verlag, 2004, pp. 181-199.
14. C. André, "Time Modeling in MARTE," Proc. Forum Specification and Design Languages (FDL 07), CD-ROM, European Electronic Chips & Systems Design Initiative, 2007.
15. MeMVATEX French Project, Mé thodologie pour la Modélisation, la Validation et la Tracabilité des Exigences [Methodology for Modeling, Validation, and Traceability of Requirements]; http://www.memvatex.org (in French).
16. ATESST Project, "Advancing Traffic Efficiency and Safety through Software Technology," ATESST Specific Targeted Research or Innovation Project (STREP), 6th Framework Programme; http://www.atesst.org.
17. Lambda Project, Lambda Libraries for Applying Model Based Development Approaches; http://www.usine-logicielle.org/lambda/index_FR.html.
18. Autosar Development Partnership, "Automotive Open System Architecture," Autosar, Munich; http://www.autosar.org.
19. EDONA Project, Environnements de Développement Ouverts aux Normes de l'Automobile [Open Development Platform for Automotive Standards]; http://www.edona.org (in French).
20. A. Albinet et al., "The MeMVaTEx Methodology: From Requirements to Models in Automotive Application Design," Proc. 4th European Congress Embedded Real Time Software (ERTS 08), Societe des Ingenieurs de L'automobile.
21. A. Cuccuru et al., "Enhancing UML Extensions with Operational Semantics: Behaviored Profiles with Templates," Proc. 10th Int'l Conf. Model Driven Engineering Languages and Systems (MODELS 07), LNCS 4735, Springer, 2007, pp. 271-285.
22. Interested FP7 IP: Interoperable Embedded Systems Tool-Chain for Enhanced Rapid Design, Prototyping and Code Generation; http://www.interested-ip.eu.
23. Genesys Project, Generic Embedded System Platform, a 7th Framework program; http://www.genesys-platform.eu.
24. CESAR Project, "Cost-efficient methods and processes for safety relevant embedded systems," funded project from Artemis Joint Undertaking (JU); http://www.cesarproject.eu.
25. COMBEST, Component-Based Embedded Systems Design Techniques project, Information Society Technologies, STREP 215543, a 7th Framework program; http://www.combest.eu.
26. F. Lagarde et al., "Leveraging Patterns on Domain Models to Improve UML Profile Definition," Proc. Fundamental Approaches to Software Engineering (FASE 08), LNCS 4961, Springer Verlag, 2008, pp. 116-130.
27. Speculative and Exploratory Design in Systems Engineering, European Union 6th Framework Project in Embedded Systems Development, IP contract 033471; http://www.speeds.eu.com.
28. A. Benveniste, B. Caillaud, and R. Passerone, "Multiviewpoint State Machines for Rich Component Models," Model-Based Design of Heterogeneous Systems, CRC Press, 2009 (to appear).
29. A. Benveniste et al., "Multiple Viewpoint Contract-Based Specification and Design," Proc. 6th Int'l Symp. Formal Methods for Components and Objects (FMCO 07), LNCS 5382, Springer Verlag, 2008, pp. 200-225.
30. H. Kopetz, "The Time-Triggered Model of Computation," Proc. 19th IEEE Real-Time Systems Symp., IEEE CS Press, 1998, pp. 168-177.
31. J.F.M. Burg, Linguistic Instruments in Requirements Engineering, IOS Press, 1997.
32. W. Damm and D. Harel, "LSCS: Breathing Life into Message Sequence Charts," Formal Methods in System Design, vol. 19, no. 1, 2001, pp. 45-80.
33. ITU-TS, ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), ITU-TS, Geneva, Sept. 1999.
34. WOODDES Consortium, WOODDES project; http://wooddes.intranet.gr.
35. OMEGA Consortium, Information Society Technologies (IST) Omega project for Correct Development of Real-Time Embedded Systems; http://www-omega.imag.fr.
36. S. Bliudze and J. Sifakis, "The Algebra of Connectors: Structuring Interaction in BIP," Proc. 7th ACM & IEEE Int'l Conf. Embedded Software (EMSOFT 07), ACM Press, 2007, pp. 11-20.
37. A. Benveniste et al., "The Synchronous Languages Twelve Years Later," Proc. IEEE, vol. 91, no. 1, 2003, pp. 64-83.
38. A. Benveniste, B. Caillaud, and R. Passerone, "A Generic Model of Contracts for Embedded Systems," tech. report 6214, INRIA, June 2007.
39. L. Benvenuti et al., "A Contract-Based Formalism for the Specification of Heterogeneous Systems," Proc. Forum Specification and Design Languages (FDL 08), CDROM, European Electronic Chips & Systems Design Initiative, 2008, pp. 142-147.