An Efficient Modeling and Execution Framework for Complex Systems Development

  title={An Efficient Modeling and Execution Framework for Complex Systems Development},
  author={Isabelle Perseil and Laurent Pautet and Jean-François Rolland and Mamoun Filali and Didier Delanote and Stefan Van Baelen and Wouter Joosen and Yolande Berbers and F. Mallet and Dominique Bertrand and S{\'e}bastien Faucou and Abdelhafid Zitouni and Mahmoud Boufa{\"i}da and Lionel Seinturier and Jo{\"e}l Champeau and Thomas Abdoul and Peter H. Feiler and Chokri Mraidha and S{\'e}bastien G{\'e}rard},
  journal={2011 16th IEEE International Conference on Engineering of Complex Computer Systems},
  • I. Perseil, L. Pautet, +16 authors S. Gérard
  • Published 2011
  • Computer Science
  • 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
In this paper, we present different modeling and execution frameworks that allow us to efficiently analyze, design and verify complex systems, mainly to cope with the specific concerns of the Real-time and embedded systems (RTE) domain. First we depict a UML /MARTE based methodology for executable RTE systems modeling with a framework and its underlying model transformations required to execute UML models conforming to the MARTE standard. The advantages of adopting a more generic action… Expand
Integrated MARTE-based model for designing component-based embedded real-time software
The findings showed that the proposed model has reduced ERTS development complexity by enhancing the design mechanisms and can improve the existing MARMOT software process. Expand
A UML profile for model-driven design of software defined radio applications
Model-driven design (MDD) is considered a very promising approach to cope with complex software applications such as software defined radio (SDR). This paper proposes a MDD approach for SDRExpand
RA2DL: New flexible solution for adaptive AADL-based control components
This paper proposes RA2DL as a solution for reconfigurable AADL components, and defines a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. Expand
DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications
A new methodology to develop software defined radio (SDR) systems following traditional methodologies is described, which includes domain specific modelling languages (DSML) for SDR applications / SDR architectures, and the mechanisms to generate automatically the deployment code. Expand
Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0
A model-based approach for modular complex systems development by separating (1) the behavior model and (2) the implem entation logic (execution) of the system and using unified modeling language (UML) based modeling techniques to model system behavior. Expand
Toward formal description to metro services mechanism based on bigraph models
A novel method in a formal way is proposed to model and analyze the metro services mechanism by building bigraph models with a set of reactive rules, from the view point of the passenger. Expand


IF-2.0: A Validation Environment for Component-Based Real-Time Systems
This work focused on static analysis (such as slicing and abstraction) which are mandatory for an automated validation of complex systems and was successfully used on several case studies. Expand
Clock Constraints in UML/MARTE CCSL
This paper presents, for the first time, the formal semantics of some representative CCSL clock constraints concerning logical discrete-time and proposes a dynamic interpretation to build acceptable solutions that fully respect the constraints. Expand
UML/MARTE CCSL, Signal and Petri nets
A formal semantics to a core subset of MARTE clock constraint languages is given and the equivalent interpretation of this kernel is given in two other very different formal languages, Signal and Time Petri Nets. Expand
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
This paper draws attention to the limitations of the guarded commands paradigm and proposes a better model named NTIF (New Technology Intermediate Form), which is well-adapted to compiling high-level, concurrent languages (such as the recent E-LOTOS standard). Expand
A two-aspect approach for a clearer behavior model
This paper depicts how application behavior can be clearly modeled applying separation of control and computation aspects of behavior in UML, and focuses mainly on how suitable separation of concerns may ease reusability and maintainability. Expand
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
The ACCORD/UML approach that was originally designed to lighten the daily workload of automotive engineers by relieving them of need for real-time expertise is described, to offer solutions to the challenge of being both business experts and advanced software developers. Expand
Weaving executability into object-oriented meta-languages
This paper explores the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and believes that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. Expand
Modeling of immediate vs. delayed data communications: from AADL to UML Marte
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims at providing a referential Time Model subprofile where semantic issues can be explicitly and formally described and the abilities of MARTE are described. Expand
A Study of the AADL Mode Change Protocol
This paper describes a contribution to the verification of AADL models, which focuses on the part of the language dealing with operating modes and explains how the resulting time Petri net model can be used to verify some real-time properties of the A ADL model. Expand
Dealing with AADL End-to-End Flow Latency with UML MARTE
This work investigates how MARTE, with its Time Model facilities, can be made to represent faithfully AADL periodic/aperiodic tasks communicating through event or data ports, in an approach to end-to-end flow latency analysis. Expand