Abstract
Using model-based approaches for designing embedded systems helps abstract away unnecessary details in a manner that increases the potential for easy validation and verification, and facilitates reuse and evolution. A common practice is to use UML as the base language, possibly specialized by the so-called profiles. Despite the ever increasing number of profiles being built in many domains, there is still insufficient focus on discussing the issue of combining multiple profiles. Indeed, a single profile may not be adequate to cover all aspects required in the multidisciplinary domain of embedded systems. In this paper, we assess possible strategies for combining the SysML and MARTE profiles in a common modelling framework, while avoiding specification conflicts. We show that, despite some semantic and syntactical overlapping, the two are highly complementary for specifying embedded systems at different abstraction levels. We conclude, however, that a convergence agenda is highly desirable to align some key language features.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Albinet, A., Begoc, S., Boulanger, J.-L., Casse, O., Dal, I., Dubois, H., Lakhal, F., Louar, D., Peraldi-Frati, M.-A., Sorel, Y., Van., Q.-D.: The MeMVaTEx methodology: from re-quirements to models in automotive application design. In: 4th European Congress ERTS Embedded Real Time Software. Toulouse, France (January 2008)
André, C.: Time Modeling in MARTE. In: FDL 2007 Forum on specification and Design Languages, Barcelona, Spain (2007)
Cancila, D., Passerone, R.: Functional and structural properties in the Model-Driven Engineering approach. In: ETFA 2008 (2008)
Bendraou, R., Desfray, P., Gervais, M.-P., Muller, A.: MDA Tool Components: a pro-posal for packaging know-how in model driven development. Software and System Modeling 7, 329–343 (2008)
Cuccuru, A., Gérard, S., Radermacher, A.: Meaningful Composite Structures - On the Se-mantics of Ports in UML2. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301. Springer, Heidelberg (2008)
Emery, D., Hilliard, R.: Updating IEEE 1471: architecture frameworks and other topics. In: Seventh Working IEEE/IFIP Conference on Software Architecture WICSA (2008)
Espinoza, H., Servat, D., Gérard, S.: Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems. In: SHARK at ICSE 2008, Leipzig (May 2008)
France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: Proceedings of EDOC 2007, Annapolis, USA (October 2007)
Gray, J., Tolvanen, J.-P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-Specific Modeling. In: CRC Handbook of Dynamic System Modeling. CRC Press, Boca Raton (2007)
Hause, M., Thom, F.: Building Bridges Between Systems and Software with SysML and UML. In: INCOSE Intl. Symposium (June 2008)
INTERESTED EU Project: Interoperable embedded systems Tool-chain for enhanced rapid design, prototyping and code generation, http://www.interested-ip.eu/index.html
Johnson, T., Jobe, J., Paredis, C., Burkhart, R.: Modeling Continuous System Dynamics in SysML. In: Proceedings of the IMECE 2007 (November 2007)
Lagarde, F., Espinoza, H., Terrier, F., André, C., Gérard, S.: Leveraging Patterns on Domain Models to Improve UML Profile Definition. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 116–130. Springer, Heidelberg (2008)
Lambda Project, Lambda Libraries for Applying Model Based Development Approaches, Technical Annex (May 2008)
Maier, M.: System and Software Architecture Reconciliation. Systems Engineering Journal, 146–159 (2006)
OMG, Unified Modeling Language, UMLTM Superstructure, V2.1.2
OMG, Systems Modeling Language SysMLTM, V1.0
OMG, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2
SATURN Project: SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems, http://www.saturnsysml.eu
Selic, B.: From Model-Driven Development to Model-Driven Engineering. In: Keynote talk at ECRTS 2007 (July 2007)
Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: ISORC 2007, pp. 2–9 (2007)
Soares, M.S., Vrancken, J.L.M.: A Proposed Extension to the SysML Requirements diagram. In: IASTED International Conference on Software Engineering, Austria (2008)
Sifakis, J.: Embedded Systems - Challenges and Work Directions. In: Higashino, T. (ed.) OPODIS 2004. LNCS, vol. 3544, pp. 184–185. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Espinoza, H., Cancila, D., Selic, B., Gérard, S. (2009). Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds) Model Driven Architecture - Foundations and Applications. ECMDA-FA 2009. Lecture Notes in Computer Science, vol 5562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02674-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-02674-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02673-7
Online ISBN: 978-3-642-02674-4
eBook Packages: Computer ScienceComputer Science (R0)