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 2009Publication 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/.Google ScholarGoogle Scholar
  2. T. Bures. Generating Connectors for Homogeneous and Heterogeneous Deployment. PhD thesis, Charles University in Prague, 2006.Google ScholarGoogle Scholar
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. OMG. CORBA Component Model Specification, Version 4.0, 4 2006. OMG Document formal/2006-04-01.Google ScholarGoogle Scholar
  9. OMG. Deployment and Configuration of Component Based Distributed Applications, v4.0, 2006. OMG document ptc/2006-04-02.Google ScholarGoogle Scholar
  10. OMG. Quality of Service for CORBA Components, Beta 2, 8 2007. OMG Document ptc/2007-08-13.Google ScholarGoogle Scholar
  11. OMG. Unified Modeling Language: Superstructure, Version 2.1.1, 2 2007. OMG Document formal/2007-02-05.Google ScholarGoogle Scholar
  12. OMG. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2, 2008. OMG document ptc/2008-06-09.Google ScholarGoogle Scholar
  13. OMG. DDS for Lightweight CCM, Beta 1, 2009. OMG document ptc/2009-02-02.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar

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

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • 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

        Copyright © 2009 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 4 October 2009

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        GPCE '09 Paper Acceptance Rate18of62submissions,29%Overall Acceptance Rate56of180submissions,31%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!