Skip to Main content Skip to Navigation

Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée

Abstract : Embedded systems appeared in aeronautics during the 60's, when the process of replacing analog devices by their digital counterpart started. From that time, the broad thrust of computer science ad- vances make it possible to digitize more and more avionics functionalities. The continual increase of the complexity of these systems led to the definition of a new architecture called Integrated Modular Avionics (IMA). This architecture stands apart from previous architecture because it is based on standards (ARINC 653 and ARINC 664 part 7) which allow the sharing of computation and communication re- sources among avionics functions. This architecture is implemented in civil aircrafts, with Boeing B777 and Airbus A380, and in military aircrafts, with Rafale or A400M. For safety reason, the temporal behavior of such a system must be predictable, which is expressed with a set real-time requirements. A real-time requirement specifies an upper or lower bound of a temporal property of one or several functional chains. A functional chain is a sequence of functions. In this thesis, we explore the verification of real-time requirements in IMA systems. We have identified three real-time requirements relevant to our problem : latency, freshness and consistency. We propose a model of IMA systems, and the requirements they must meet, based on the tagged signal model. Then we derive from this model, for each requirement, a mixed integer linear program whose optimal solution allows us to verify the requirement.
Document type :
Complete list of metadatas
Contributor : Michaël Lauer <>
Submitted on : Wednesday, July 4, 2012 - 5:59:37 PM
Last modification on : Thursday, March 26, 2020 - 6:26:59 PM
Long-term archiving on: : Thursday, December 15, 2016 - 8:39:19 PM


  • HAL Id : tel-00714502, version 1



Michaël Lauer. Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée. Systèmes embarqués. Institut National Polytechnique de Toulouse - INPT, 2012. Français. ⟨tel-00714502⟩



Record views


Files downloads