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

Imran R. Quadri; Etienne Brosse; Ian Gray; Nicholas Matragkas; Leandro Soares Indrusiak; Matteo Rossi; Alessandra Bagnato; Andrey Sadovykh

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

Imran R. Quadri, Etienne Brosse, Ian Gray, Nicholas Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology to evolve current practices for the development of real time embedded systems for avionics and surveillance industries. In MADES, we propose an effective SysML/MARTE language subset and have developed new tools and technologies that support high level design specifications, validation, simulation and automatic code generation, while integrating aspects such as component re-use. The paper first illustrates the MADES methodology by means of a car collision avoidance system case study, followed by the underlying MADES language design phases and tool set which enable verification and automatic code generation aspects, hence enabling implementation in execution platforms such as state of the art FPGAs.

Original language	English
Title of host publication	2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
Editors	LS Indrusiak, G Gogniat, N Voros
Place of Publication	NEW YORK
Publisher	IEEE
ISBN (Print)	978-1-4673-2572-1
Publication status	Published - 2012
Event	7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) - York Duration: 9 Jul 2012 → 11 Jul 2012

Conference

Conference	7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
City	York
Period	9/07/12 → 11/07/12

Cite this

Quadri, I. R., Brosse, E., Gray, I., Matragkas, N., Indrusiak, L. S., Rossi, M., Bagnato, A., & Sadovykh, A. (2012). MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems. In LS. Indrusiak, G. Gogniat, & N. Voros (Eds.), 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) Article 6322882 IEEE.

@inproceedings{c856f735385f4936a6e6ed7a31b6d764,

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

abstract = "The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology to evolve current practices for the development of real time embedded systems for avionics and surveillance industries. In MADES, we propose an effective SysML/MARTE language subset and have developed new tools and technologies that support high level design specifications, validation, simulation and automatic code generation, while integrating aspects such as component re-use. The paper first illustrates the MADES methodology by means of a car collision avoidance system case study, followed by the underlying MADES language design phases and tool set which enable verification and automatic code generation aspects, hence enabling implementation in execution platforms such as state of the art FPGAs.",

author = "Quadri, {Imran R.} and Etienne Brosse and Ian Gray and Nicholas Matragkas and Indrusiak, {Leandro Soares} and Matteo Rossi and Alessandra Bagnato and Andrey Sadovykh",

year = "2012",

language = "English",

isbn = "978-1-4673-2572-1",

editor = "LS Indrusiak and G Gogniat and N Voros",

booktitle = "2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)",

publisher = "IEEE",

address = "United States",

note = "7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) ; Conference date: 09-07-2012 Through 11-07-2012",

}

Quadri, IR, Brosse, E, Gray, I , Matragkas, N , Indrusiak, LS, Rossi, M, Bagnato, A & Sadovykh, A 2012, MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems. in LS Indrusiak, G Gogniat & N Voros (eds), 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)., 6322882, IEEE, NEW YORK, 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), York, 9/07/12.

MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems. / Quadri, Imran R.; Brosse, Etienne; Gray, Ian et al.
2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). ed. / LS Indrusiak; G Gogniat; N Voros. NEW YORK: IEEE, 2012. 6322882.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - MADES FP7 EU Project

T2 - 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)

AU - Quadri, Imran R.

AU - Brosse, Etienne

AU - Gray, Ian

AU - Matragkas, Nicholas

AU - Indrusiak, Leandro Soares

AU - Rossi, Matteo

AU - Bagnato, Alessandra

AU - Sadovykh, Andrey

PY - 2012

Y1 - 2012

N2 - The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology to evolve current practices for the development of real time embedded systems for avionics and surveillance industries. In MADES, we propose an effective SysML/MARTE language subset and have developed new tools and technologies that support high level design specifications, validation, simulation and automatic code generation, while integrating aspects such as component re-use. The paper first illustrates the MADES methodology by means of a car collision avoidance system case study, followed by the underlying MADES language design phases and tool set which enable verification and automatic code generation aspects, hence enabling implementation in execution platforms such as state of the art FPGAs.

AB - The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology to evolve current practices for the development of real time embedded systems for avionics and surveillance industries. In MADES, we propose an effective SysML/MARTE language subset and have developed new tools and technologies that support high level design specifications, validation, simulation and automatic code generation, while integrating aspects such as component re-use. The paper first illustrates the MADES methodology by means of a car collision avoidance system case study, followed by the underlying MADES language design phases and tool set which enable verification and automatic code generation aspects, hence enabling implementation in execution platforms such as state of the art FPGAs.

UR - http://www.scopus.com/inward/record.url?scp=84869237279&partnerID=8YFLogxK

M3 - Conference contribution

SN - 978-1-4673-2572-1

BT - 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)

A2 - Indrusiak, LS

A2 - Gogniat, G

A2 - Voros, N

PB - IEEE

CY - NEW YORK

Y2 - 9 July 2012 through 11 July 2012

ER -

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

Abstract

Conference

Other files and links

Cite this