MADES FP7 EU Project-Reference-Cited by-同舟云学术

MADES FP7 EU Project

Published:2014 Issue: Volume: Page:181-208
ISSN:2327-3453
Container-title:Advances in Systems Analysis, Software Engineering, and High Performance Computing
language:
Short-container-title:

Author:

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

Affiliation:

1. SOFTEAM, France

2. University of York, UK

3. Politecnico di Milano, Italy

4. Txt e-Solutions, Italy

5. The Open Group, UK

6. Airbus Defence and Space, Germany

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.

Publisher

IGI Global

Reference42 articles.

1. Aicas Gmb, H. (2013). JamaicaVM. Retrieved from https://www.aicas.com/cms/en/JamaicaVM

2. Bagnato, A., et al. (2010). MADES: Embedded systems engineering approach in the avionics domain. In Proceedings of First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES). HoPES.

3. Bagnato, A., et al. (2012). D1.7: MADES Final Approach Guide. Technical Report. Retrieved from http://www.mades-project.org/

4. Baresi, L., et al. (2010). D3.1: Domain-specific and User-centred Verification. Technical Report. Retrieved from http://www.mades-project.org/

5. Baresi, L., et al. (2011). D3.2: Models and Methods for Systems Environment. Technical Report. Retrieved from http://www.mades-project.org/