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 metadatas

https://pastel.archives-ouvertes.fr/pastel-01001760
Contributor : Abes Star <>
Submitted on : Wednesday, June 4, 2014 - 6:17:10 PM
Last modification on : Wednesday, February 20, 2019 - 2:40:58 PM
Long-term archiving on : Thursday, September 4, 2014 - 1:15:18 PM

File

These_Lafaye_-_V1.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : pastel-01001760, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

510

Files downloads

1618