Skip to Main content Skip to Navigation
Theses

Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération

Abstract : This thesis aimed at providing a method to model, verify, and generate allocations of embedded systems functions on avionics resources. This method is based on the use of AltaRica language to formally describe the propagation of failures within an embedded system, on the use of verification techniques such as "model-checking" and use of problem-solving based on constraints. The work is illustrated by two case studies: allocation of an aircraft function "terrain-following" on computing and communication resources on an existing fighter, positioning of equipment of a hydraulic system in an aircraft taking into account risks such as a tire burst or an engine burst.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00906924
Contributor : Laurent Sagaspe <>
Submitted on : Wednesday, November 20, 2013 - 2:47:16 PM
Last modification on : Tuesday, April 2, 2019 - 1:45:41 AM
Long-term archiving on: : Friday, February 21, 2014 - 4:31:09 AM

Identifiers

  • HAL Id : tel-00906924, version 1

Collections

Citation

Laurent Sagaspe. Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération. Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨tel-00906924⟩

Share

Metrics

Record views

367

Files downloads

1281