A new modeling approach for IMA platform early validation

Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet
2010 Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10  
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
more » ... ng 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.
doi:10.1145/1865875.1865878 dblp:conf/mompes/LafayeFGP10 fatcat:kol4fq5rszdsxmcppq2kvxx6ou