skip to main content
10.1145/1621607.1621628acmconferencesArticle/Chapter ViewAbstractPublication PagesgpceConference Proceedingsconference-collections
research-article

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations

Published: 04 October 2009 Publication History

Abstract

The development of embedded Systems becomes more and more complex. Model driven engineering can help to manage this complexity by specifying real-time properties in a declarative way and automating the deployment. The UML profile MARTE is a OMG standard that allows to model real-time properties. However, there is no execution infrastructure that supports MARTE's generic component model (GCM) and the application modeling (HLAM).
The contribution of the paper is twofold: it presents a proposition of a component model with flexible interaction support that allows to tailor code generation to domain and target requirements. Second, it will show how MARTE's GCM concepts can be implemented by means of the proposed component model. The proposed component model has been largely developed in the context of the French national project Flex-eWare with the intention to unify major components model, notably the CORBA component model (CCM) and Fractal. The paper explains the major elements of this model in detail and shows how specific connector and containers can implement MARTE specifications. We present the tool support that is integrated into a UML modeler and based on model-to-model and model to text transformations.

References

[1]
E. Bruneton, T. Coupaye, and J.B. Stefani. The Fractal Component Model, 2004. http://fractal.objectweb.org/specification/.
[2]
T. Bures. Generating Connectors for Homogeneous and Heterogeneous Deployment. PhD thesis, Charles University in Prague, 2006.
[3]
P. Costa, G. Coulson, C. Mascolo, G. P. Picco, and S. Zachariadis. The RUNES middleware: A reconfigurable component-based approach to networked embedded systems. In In 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC05). IEEE, 2005.
[4]
A. Cuccuru, S. Gérard, and A. Radermacher. Meaningful Composite Structures -- On the Semantics of Ports in UML2. MoDELS, LNCS 5301:828--842, 2008.
[5]
J. Fassino, J. Stefani, J.L. Lawall, and G. Muller. Think: A Software Framework for Component-based Operating System Kernels. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 73--86. USENIX, 2002.
[6]
O. Galik and T. Bures. Handling Heterogeneity in Connector Generation. Technical report, Tech. Report No. 2005/02, Dep. of SW Engineering, Charles University, Prague, 2005.
[7]
N. Medvidovic and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE transactions on software engineering, 26(1), 2000.
[8]
OMG. CORBA Component Model Specification, Version 4.0, 4 2006. OMG Document formal/2006-04-01.
[9]
OMG. Deployment and Configuration of Component Based Distributed Applications, v4.0, 2006. OMG document ptc/2006-04-02.
[10]
OMG. Quality of Service for CORBA Components, Beta 2, 8 2007. OMG Document ptc/2007-08-13.
[11]
OMG. Unified Modeling Language: Superstructure, Version 2.1.1, 2 2007. OMG Document formal/2007-02-05.
[12]
OMG. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2, 2008. OMG document ptc/2008-06-09.
[13]
OMG. DDS for Lightweight CCM, Beta 1, 2009. OMG document ptc/2009-02-02.
[14]
M. Prochazka, R. Ward, P. Tuma, P. Hnetynka, and J. Adamek. A Component-Oriented Framework for Spacecraft On-Board Software. In Proceedings of DAta Systems In Aerospace (DASIA 2008). European Space Agency Report Nr. SP-665, May 2008.
[15]
Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, and Francois Terrier. Enhancing Interaction Support in the CORBA Component Model. In Achim Rettberg, Mauro C. Zanella, and Franz J. Rammig, editors, From Specification to Embedded Systems Application, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS). Springer, 2005.
[16]
Y. Tanguy, S. Gérard, A. Radermacher, and F. Terrier. Model driven engineering for embedded real-time systems. In Proceedings of the Embedded Real-Time Software (ERTS), Toulouse, France. SIA (French automotive engineers society), 2006.

Cited By

View all
  • (2014)Automated resolution of connector architectures using constraint solving (ARCAS method)Software and Systems Modeling (SoSyM)10.1007/s10270-012-0274-813:2(843-872)Online publication date: 1-May-2014
  • (2013)Model‐Based Deployment and Code GenerationEmbedded Systems10.1002/9781118569535.ch9(185-203)Online publication date: 20-Sep-2013
  • (2012)Interoperable domain‐specific languages families for code generationSoftware: Practice and Experience10.1002/spe.211843:5(479-499)Online publication date: 27-Apr-2012
  • Show More Cited By

Index Terms

  1. Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering
      October 2009
      194 pages
      ISBN:9781605584942
      DOI:10.1145/1621607
      • General Chair:
      • Jeremy Siek,
      • Program Chair:
      • Bernd Fischer
      • cover image ACM SIGPLAN Notices
        ACM SIGPLAN Notices  Volume 45, Issue 2
        GPCE '09
        February 2010
        182 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/1837852
        Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 04 October 2009

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. MARTE
      2. component models
      3. connectors
      4. middleware
      5. model-driven engineering

      Qualifiers

      • Research-article

      Conference

      GPCE'09
      Sponsor:
      GPCE'09: Generative Programming and Component Engineering
      October 4 - 5, 2009
      Colorado, Denver, USA

      Acceptance Rates

      GPCE '09 Paper Acceptance Rate 18 of 62 submissions, 29%;
      Overall Acceptance Rate 56 of 180 submissions, 31%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 16 Feb 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2014)Automated resolution of connector architectures using constraint solving (ARCAS method)Software and Systems Modeling (SoSyM)10.1007/s10270-012-0274-813:2(843-872)Online publication date: 1-May-2014
      • (2013)Model‐Based Deployment and Code GenerationEmbedded Systems10.1002/9781118569535.ch9(185-203)Online publication date: 20-Sep-2013
      • (2012)Interoperable domain‐specific languages families for code generationSoftware: Practice and Experience10.1002/spe.211843:5(479-499)Online publication date: 27-Apr-2012
      • (2011)Software engineering of component-based systems-of-systemsProceedings of the 14th international ACM Sigsoft symposium on Component based software engineering10.1145/2000229.2000238(61-66)Online publication date: 20-Jun-2011
      • (2011)Supporting service composition and real-time execution throught characterization of QoS propertiesProceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/1988008.1988024(110-117)Online publication date: 23-May-2011
      • (2011)Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded SystemsProceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2011.78(477-484)Online publication date: 30-Aug-2011
      • (2011)A Model-Driven Framework for the Development of Portable Real-Time Embedded SystemsProceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems10.1109/ICECCS.2011.12(45-54)Online publication date: 27-Apr-2011
      • (2010)A Developer-Oriented View of Component-Based Embedded SystemsProceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2010.64(417-424)Online publication date: 1-Sep-2010
      • (2010)Improving Design of Ground Control Station for Unmanned Aerial VehicleProceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2010.31(65-73)Online publication date: 1-Sep-2010
      • (2010)Towards a Model-Driven Engineering approach for developing adaptive real-time embedded systems2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)10.1109/NOTERE.2010.5536655(261-266)Online publication date: May-2010
      • Show More Cited By

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media