The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (2009 vol.26)
pp: 38-53
Susanne Graf , Verimag
Albert Benveniste , INRIA Rennes
Daniela Cancila , CEA LIST
Arnaud Cuccuru , CEA LIST
Francois Terrier , CEA LIST
Werner Damm , Oldenburg University
Alberto Ferrari , Parades
Roberto Passerone , University of Trento
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
ABSTRACT
<p>Editor's note:</p><p>This article provides an overview of current efforts in Europe for using metamodeling in the integrated development of critical systems such as automotive electronics. It distinguishes between lightweight versus heavyweight approaches, surveys a number of related current European projects, and gives details about the Speeds project to illustrate the role of metamodeling-driven system engineering.</p><p align="right">—Sandeep Shukla, Virginia Tech</p>
INDEX TERMS
metamodeling, language design, design and test, model-based design, Speeds, European research projects, embedded systems
CITATION
Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sébastien Gérard, Francois Terrier, Werner Damm, Alberto Ferrari, Roberto Passerone, Bernhard Josko, Thomas Peikenkamp, Alberto Sangiovanni-Vincentelli, "Metamodels in Europe: Languages, Tools, and Applications", IEEE Design & Test of Computers, vol.26, no. 3, pp. 38-53, May/June 2009, doi:10.1109/MDT.2009.64
REFERENCES
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/keynotesk1-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/pubs141.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.0Beta1.
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/05510_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/lambdaindex_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, "Multi-viewpoint 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), CD-ROM, European Electronic Chips &Systems Design Initiative, 2008, pp. 142-147.
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool