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

Michaël Lauer 1
1 IRT
IRIT - Institut de recherche en informatique de Toulouse
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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00714502
Contributor : Michaël Lauer <>
Submitted on : Wednesday, July 4, 2012 - 5:59:37 PM
Last modification on : Friday, October 11, 2019 - 8:23:28 PM
Long-term archiving on : Thursday, December 15, 2016 - 8:39:19 PM

Identifiers

  • HAL Id : tel-00714502, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

957

Files downloads

1165