@inproceedings{c56184316999441c9afeb26ceca93722,
title = "A new modeling approach for IMA platform early validation",
abstract = "This past few years, avionics platform conception changed to integrated architecture, permitting one processor to host some applications, in order to reduce weight and space. But this method entails more complexity, especially in safety domain, while time to market tends to decrease, so new development processes are needed. Model-based approaches are now mature enough to design embedded critical systems and perform architecture exploration. In this paper we present a new modeling approach allowing avionics platform description and dynamic simulation. This method aim at dimensioning the architecture according to the applications it has to process, and to achieve early platform validation.",
keywords = "AADL, avionics systems, modeling, real-time, simulation, systemC",
author = "Micha{\"e}l Lafaye and David Faura and Marc Gatti and Laurent Pautet",
year = "2010",
month = dec,
day = "1",
doi = "10.1145/1865875.1865878",
language = "English",
isbn = "9781450301237",
series = "Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010",
pages = "17--20",
booktitle = "Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010",
note = "7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010 ; Conference date: 20-09-2010 Through 20-09-2010",
}