Skip to Main content Skip to Navigation
Book sections

Using MARTE and SysML for Modeling Real-Time Embedded Systems

Abstract : Using model-based approaches for designing embedded systems helps remove unnecessary details in a manner that reduces production costs, increases the potential for easy validation and verification, and facilitates reuse and evolution. In this context, 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 chapter, we assess possible strategies for combining the SysML and MARTE profiles in a common modeling 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 ensure proper alignment of some key language features.
Document type :
Book sections
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01818540
Contributor : Léna Le Roy <>
Submitted on : Tuesday, June 19, 2018 - 11:24:14 AM
Last modification on : Monday, February 10, 2020 - 6:14:14 PM

Identifiers

Collections

CEA | DRT | LIST

Citation

H. Espinoza, D. Cancila, S. Gérard, B. Selic. Using MARTE and SysML for Modeling Real-Time Embedded Systems. Model‐Driven Engineering for Distributed Real‐Time Systems: MARTE Modeling, Model Transformations and their Usages, John Wiley and Sons, pp.105-137, 2013, 9781848211155. ⟨10.1002/9781118558096.ch5⟩. ⟨cea-01818540⟩

Share

Metrics

Record views

94