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.
- E. Bruneton, T. Coupaye, and J.B. Stefani. The Fractal Component Model, 2004. http://fractal.objectweb.org/specification/.Google Scholar
- T. Bures. Generating Connectors for Homogeneous and Heterogeneous Deployment. PhD thesis, Charles University in Prague, 2006.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- OMG. CORBA Component Model Specification, Version 4.0, 4 2006. OMG Document formal/2006-04-01.Google Scholar
- OMG. Deployment and Configuration of Component Based Distributed Applications, v4.0, 2006. OMG document ptc/2006-04-02.Google Scholar
- OMG. Quality of Service for CORBA Components, Beta 2, 8 2007. OMG Document ptc/2007-08-13.Google Scholar
- OMG. Unified Modeling Language: Superstructure, Version 2.1.1, 2 2007. OMG Document formal/2007-02-05.Google Scholar
- OMG. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2, 2008. OMG document ptc/2008-06-09.Google Scholar
- OMG. DDS for Lightweight CCM, Beta 1, 2009. OMG document ptc/2009-02-02.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Index Terms
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations
Recommendations
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations
GPCE '09The 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 ...
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer SystemsThe UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...







Comments