Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems

  • Huascar Espinoza
  • Daniela Cancila
  • Bran Selic
  • Sébastien Gérard
Conference paper

DOI: 10.1007/978-3-642-02674-4_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5562)
Cite this paper as:
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

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.

Keywords

model-based engineering embedded systems SysML MARTE 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Huascar Espinoza
    • 1
  • Daniela Cancila
    • 1
  • Bran Selic
    • 2
  • Sébastien Gérard
    • 1
  1. 1.CEA LIST, Model-Driven Engineering Labs (LISE)Gif sur YvetteFrance
  2. 2.Malina Software CorporationNepeanCanada

Personalised recommendations