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

@inproceedings{Espinoza2009ChallengesIC,
  title={Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems},
  author={Hu{\'a}scar Espinoza and Daniela Cancila and Bran Selic and S{\'e}bastien G{\'e}rard},
  booktitle={ECMDA-FA},
  year={2009}
}
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… 
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow
TLDR
The integration is based on a mapping from the SysML to the SystemC UML profile for the structural aspects, while for the behavioral aspects two main models of computation are proposed as complementary behavioral formalisms to be adopted in a model-driven SoC design flow at platform-independent and platform-specific description level.
An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes
TLDR
This article will explore the use of UML profiles SysML and MARTE for the modeling of RTS software requirements, with its main area of application being the control of urban traffic.
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
TLDR
This paper proposes the ExSAM profile, a profile that extends SysML by adding AADL concepts to it with the goal of exploiting the key advantages of both languages in a seamless way.
MADES : A SysML / MARTE high level methodology for real-time and embedded systems
TLDR
The EU funded MADES project, which aims to develop novel model-driven techniques to improve existing practices in development of RTES for avionics and surveillance embedded systems industries, is presented.
SOPHIA: a Modeling Language for Model-Based Safety Engineering
TLDR
SOPHIA is presented, a modelling language that formalizes safety-related concepts and their relations with system modelling constructs and focuses on ac- cident models and on how to achieve confidence that the frequency of possible accidents will be tolerable.
Multi-view Modeling to Support Embedded Systems Engineering in SysML
TLDR
A model integration framework is demonstrated to address issues associated with multi-view modeling in embedded systems engineering problems involving views in multiple domain-specific tools, namely EPLAN FluidTM and Modelica®.
Simulating SysML models: Overview and challenges
TLDR
The scope of this paper is to provide a comprehensive understanding of the similarities and differences of existing approaches and identify current challenges in fully automating SysML models simulation process.
A Framework for Executable Systems Modeling
TLDR
This work offers an Executable Systems Modeling Language (ESysML) and a prototype modeling tool that serves as an implementation test bed for the ESysML language and a model development process is offered to guide user appropriation of the provided framework for model building.
A Lightweight Approach for Domain-Specific Modeling Languages Design
TLDR
This paper claims that UML profiles do provide handy and powerful mechanisms to design domain-specific modeling languages but are penalized by lacks of methodological guidelines and tool support, so a profile design approach is introduced, which includes a methodological framework to structure profiles design process and toolSupport to partly automate this process.
Model-based requirements specification of real-time systems with UML, SysML and MARTE
TLDR
The main objective is to present the combined application of SysML with MARTE stereotypes, which enables the specification of different features of individual software requirements of RTS, with application to a case of controlling urban road traffic.
...
...

References

SHOWING 1-10 OF 32 REFERENCES
Leveraging Patterns on Domain Models to Improve UML Profile Definition
TLDR
A clearly-defined process geared to helping the designer throughout this design activity of building UML based domain specific languages should include systematic transformation of domain representations into profiles.
Providing Support for Model Composition in Metamodels
TLDR
This paper shows how this can be done by extending the UML metamodel with behavior describing symmetric, signature-based composition of UML model elements, and describes an implementation of the metAModel that supports systematic composition ofUML class models.
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems
TLDR
Technical limitations in UML to specify complex non-functional evaluation scenarios of candidate architectures are highlighted, and the current work to provide straightforward solutions is outlined.
7.2.1 Building Bridges Between Systems and Software with SysML and UML
TLDR
This paper demonstrates how SysML and UML can effectively work together to provide an effective handover between systems and software.
A proposed extension to the SysML requirements diagram
TLDR
This paper proposes an extension to the SysML Requirements Diagram, in which new stereotypes and properties that may improve the requirements engineering process are created, part of a profile that is being created to improve the application of Sys ML to complex systems.
Meaningful Composite Structures
TLDR
This article proposes an empirical study that provides an intuitive description of composite structure semantics focusing on request propagations across ports and supplements this description by highlighting cases conducive to semantic ambiguities and offers practical solutions and a rationale for building composite structures that avoid them.
System and software architecture reconciliation
TLDR
Each of these issues can be addressed through understanding of the elements of a good software architecture, appropriate ordering of systems engineering activities, and modeling methods extended to encompass layered system descriptions.
From Model-Driven Development to Model-Driven Engineering
  • B. Selic
  • Computer Science
    19th Euromicro Conference on Real-Time Systems (ECRTS'07)
  • 2007
TLDR
This work states that model-driven development is still deemed inappropriate for real-time and embedded software by many practitioners even though the complexity of their systems often exceeds that encountered in other domains.
A Systematic Approach to Domain-Specific Language Design Using UML
  • B. Selic
  • Computer Science
    10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
  • 2007
TLDR
An overview of the new extensibility mechanisms of UML 2.1 is provided and a method for defining profiles that greatly increases the likelihood of producing technically correct quality UML profiles is described.
Time Modeling in MARTE
TLDR
The Time meta-model of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems, is introduced, presenting both the time domain view and the UML representation of the most important concepts.
...
...