Skip to Main content Skip to Navigation
Theses

Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique

Youssef Laarouchi 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : In avionics, the design and development of critical software applications are strictly constrained in order to ensure a confidence level commensurate with the safety requirements of the implemented tasks. These constraints considerably increase the development and maintenance costs, making such critical systems very expensive. On the other hand, Commercial Off-The-Shelf (COTS) components (hardware and software) are widespread and offer extensive functionalities for a reasonable cost. However, such components are unreliable and vulnerable to malicious attacks. Nevertheless, it would be interesting to take advantage of such (hardware and software) COTS components for non-critical tasks in avionics while preventing them from detrimentally affecting critical tasks. To do so, we need to consider interactions between components with heterogeneous criticality levels. In this thesis, we propose an architecture allowing such interactions in a safe and secure manner, i.e., such that correct operation of the critical components is not affected. This architecture is based on Totel's model and uses virtualization to support the implementation of fault tolerance techniques to increase the confidence level of an application executed redundantly on untrusted COTS platforms. To demonstrate our approach, we have implemented a prototype based on two case studies identified with Airbus: a maintenance laptop and a take-off profile computation laptop.
Document type :
Theses
Complete list of metadata

Cited literature [78 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00468923
Contributor : Arlette Evrard <>
Submitted on : Thursday, April 1, 2010 - 9:42:38 AM
Last modification on : Thursday, June 10, 2021 - 3:06:57 AM
Long-term archiving on: : Wednesday, September 8, 2010 - 8:29:25 PM

Identifiers

  • HAL Id : tel-00468923, version 1

Citation

Youssef Laarouchi. Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique. Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨tel-00468923⟩

Share

Metrics

Record views

749

Files downloads

2340