MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

Alessandra Bagnato (SOFTEAM, France), Imran Quadri (SOFTEAM, France), Etienne Brosse (SOFTEAM, France), Andrey Sadovykh (SOFTEAM, France), Leandro Soares Indrusiak (University of York, UK), Richard Paige (University of York, UK), Neil Audsley (University of York, UK), Ian Gray (University of York, UK), Dimitrios S. Kolovos (University of York, UK), Nicholas Matragkas (University of York, UK), Matteo Rossi (Politecnico di Milano, Italy), Luciano Baresi (Politecnico di Milano, Italy), Matteo Carlo Crippa (Txt e-Solutions, Italy), Stefano Genolini (Txt e-Solutions, Italy), Scott Hansen (The Open Group, UK) and Gundula Meisel-Blohm (Airbus Defence and Space, Germany)
Copyright: © 2014 |Pages: 28
DOI: 10.4018/978-1-4666-6194-3.ch008
OnDemand PDF Download:
No Current Special Offers


This chapter presents the EU-funded MADES FP7 project that aims to develop an effective model-driven methodology to improve the current practices in the development of real-time embedded systems for avionics and surveillance industries. MADES developed an effective SysML/MARTE language subset, and a set of new tools and technologies that support high-level design specifications, validation, simulation, and automatic code generation, while integrating aspects such as component re-use. This chapter illustrates the MADES methodology by means of a car collision avoidance system case study; it presents the underlying MADES language, the design phases, and the set of tools supporting on one hand model verification and validation and, on the other hand, automatic code generation, which enables the implementation on execution platforms such as state-of-the-art FPGAs.
Chapter Preview


A number of works exploit SysML or MARTE to provide high-level abstractions and Model-Driven Engineering techniques for RTES design and implementation.

Key Terms in this Chapter

UML Profile for Schedulability, Performance, and Time Specification: UML Profile for Schedulability, Performance, and Time Specification is OMG's profile for UML which influenced the definition of the OMG MARTE UML profile.

Modeling and Analysis of Real Time and Embedded Systems Profile: Modeling and Analysis of Real Time and Embedded systems profile or MARTE profile in short is the OMG standard for modeling real-time and embedded applications with UML2. Currently, only two open-source tools are available for system modeling using the UML2 standard and MARTE profile: Modelio which provides an open source modeling environment for designing high level UML2 models extendable with its implementation of the MARTE profile specification, and also provides guidelines on the utilization of MARTE concepts; while an open-source implementation based on the EMF implementation of the MARTE profile is available with Papyrus.

UML: UML or Unified Modeling Language is a means of modeling object-oriented systems. The UML is standardized by the OMG.

Platform: Platform as defined in the MDA process is a particular environment that influences a concrete product: machine, operating system, component platform, or domain ontology.

UML Profiles: UML profiles are a means of extending UML models with a vocabulary for a specific domain available as stereotypes and properties. Stereotypes can be defined in order to extend UML model elements, such as classes, associations, and attributes. They are used to give the ability to structure and categorize models and systems during different stages of the development process. The properties are used to set attributes with a specific value to each single element of the model extended by a given stereotype.

TOG: TOG or The Open Group is a nonprofit standards organization defining several IT standards as TOGAF for example.

Model Driven Architecture: Model Driven Architecture or MDA is a software development methodology defined by the Object Management Group (OMG) in 2011. This latter starts with a very high level and independent model called CIM (for Computation Independent Model) which will be transformed in order to target instances of specific system from a specific machine, programming language, operating system, or other implementation technology. A developer designs at the Computation Independent Model (CIM) level which is then transformed to a platform-independent model (PIM) level which is then transformed to a platform-specific model (PSM). Designing at a platform independent level enables reuse of software system designs on many platforms.

Model Driven Development: Model Driven Development or MDD is the general term for MDA whether or not UML is used for modeling purpose.

SysML: The OMG systems Modeling Language (OMG SysML™) is a general-purpose graphical modeling language for specifying, analyzing, designing complex systems. In particular, the language provides graphical representations with a semantic foundation for modeling system requirements, behavior, structure, and equations, which is used to integrate with other engineering analysis models.

OMG: OMG or Object Modeling Group is a standardization organization providing several standard specifications as UML for example.

Complete Chapter List

Search this Book: