Skip to Main content Skip to Navigation

Modélisation de plate-forme avionique pour exploration de performance en avance de phase

Abstract : Nowadays, real-time critical embedded systems are more and more complex due to an increase of the integrated components. Following that trend, avionic systems development complexity increases too. So early modeling processes are more and more used in order to anticipate on plat-forms performance and help sizing them. Particularly, hardware resources usage exploration is a key aspect for performance exploration. Current processes allow to model avionic platform from requirements to architectural level of abstraction, but they do not allow to model a behavioral avionic platform. Thus, they do not allow to explore the hardware resources usage of the platform, neither to compare some alternatives of architectures at early phase of development cycle. My PhD work presents our avionic platform modeling and simulation process that answer that problem. The goal is to complete current modeling processes to offer more accurate early performance analysis, and compare them with the system requirements. For that, we propose a for steps method : i) an application modeling and stimuli extraction step ; ii) an architectural modeling step, based on the AADL (Architecture Analysis and Design Language) and its ARINC653 annex ; iii) a behavioral execution platform model (hardware and middleware) generation step with SystemC-TLM ; iv) a simulation and analysis step, when performance are compared with system requirements. At last, we will present our validation part on an avionic case study.
keyword : Embedded system
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, June 4, 2014 - 6:17:10 PM
Last modification on : Friday, July 31, 2020 - 10:44:07 AM
Long-term archiving on: : Thursday, September 4, 2014 - 1:15:18 PM


Version validated by the jury (STAR)


  • HAL Id : pastel-01001760, version 1



Michaël Lafaye. Modélisation de plate-forme avionique pour exploration de performance en avance de phase. Autre. Télécom ParisTech, 2012. Français. ⟨NNT : 2012ENST0065⟩. ⟨pastel-01001760⟩



Record views


Files downloads