MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

Alessandra Bagnato*, Imran Quadri, Etienne Brosse, Andrey Sadovykh, Leandro Soares Indrusiak, Richard Paige, Neil Audsley, Ian Gray, Dimitrios S. Kolovos, Nicholas Matragkas, Matteo Rossi, Luciano Baresi, Matteo Carlo Crippa, Stefano Genolini, Scott Hansen, Gundula Meisel-Blohm

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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.

Original languageEnglish
Title of host publicationHandbook of Research on Embedded Systems Design
Publisher IGI Global
Pages181-208
Number of pages28
ISBN (Print)9781466661950, 1466661941, 9781466661943
DOIs
Publication statusPublished - 30 Jun 2014

Cite this