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

  • Huascar Espinoza
  • Daniela Cancila
  • Bran Selic
  • Sébastien Gérard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5562)

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.

References

  1. 1.
    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)Google Scholar
  2. 2.
    André, C.: Time Modeling in MARTE. In: FDL 2007 Forum on specification and Design Languages, Barcelona, Spain (2007)Google Scholar
  3. 3.
    Cancila, D., Passerone, R.: Functional and structural properties in the Model-Driven Engineering approach. In: ETFA 2008 (2008)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Emery, D., Hilliard, R.: Updating IEEE 1471: architecture frameworks and other topics. In: Seventh Working IEEE/IFIP Conference on Software Architecture WICSA (2008)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Hause, M., Thom, F.: Building Bridges Between Systems and Software with SysML and UML. In: INCOSE Intl. Symposium (June 2008)Google Scholar
  11. 11.
    INTERESTED EU Project: Interoperable embedded systems Tool-chain for enhanced rapid design, prototyping and code generation, http://www.interested-ip.eu/index.html
  12. 12.
    Johnson, T., Jobe, J., Paredis, C., Burkhart, R.: Modeling Continuous System Dynamics in SysML. In: Proceedings of the IMECE 2007 (November 2007)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Lambda Project, Lambda Libraries for Applying Model Based Development Approaches, Technical Annex (May 2008)Google Scholar
  15. 15.
    Maier, M.: System and Software Architecture Reconciliation. Systems Engineering Journal, 146–159 (2006)Google Scholar
  16. 16.
    OMG, Unified Modeling Language, UMLTM Superstructure, V2.1.2Google Scholar
  17. 17.
    OMG, Systems Modeling Language SysMLTM, V1.0Google Scholar
  18. 18.
    OMG, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2 Google Scholar
  19. 19.
    SATURN Project: SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems, http://www.saturnsysml.eu
  20. 20.
    Selic, B.: From Model-Driven Development to Model-Driven Engineering. In: Keynote talk at ECRTS 2007 (July 2007)Google Scholar
  21. 21.
    Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: ISORC 2007, pp. 2–9 (2007)Google Scholar
  22. 22.
    Soares, M.S., Vrancken, J.L.M.: A Proposed Extension to the SysML Requirements diagram. In: IASTED International Conference on Software Engineering, Austria (2008)Google Scholar
  23. 23.
    Sifakis, J.: Embedded Systems - Challenges and Work Directions. In: Higashino, T. (ed.) OPODIS 2004. LNCS, vol. 3544, pp. 184–185. Springer, Heidelberg (2005)CrossRefGoogle Scholar

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