Enhancing dependability in avionics using virtualization

Authors:
Youssef Laarouchi;Yves Deswarte;David Powell;Jean Arlat;Eric De Nadai
Affiliations:
Université de Toulouse, Toulouse Cedex;Université de Toulouse, Toulouse Cedex;Université de Toulouse, Toulouse Cedex;Université de Toulouse, Toulouse Cedex;Airbus France, Toulouse Cedex
Venue:
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems
Year:
2009

Citing 7
Cited 0

Hypervisor-based fault tolerance

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Diversity against Accidental and Deliberate Faults

CSDA '98 Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions
Supporting Multiple Levels of Criticality

FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Xen and the art of virtualization

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)

Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools

Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software in avionics has always been totally separated from open-world software, in order to avoid any interaction that could corrupt critical on-board systems. However, new aircraft generations need more interaction with off-board systems to offer extended services, which makes these information flows potentially dangerous. In this paper, we present a case study (identified in the ArSec project) that requires bidirectional communication between critical on-board systems and untrusted off-board systems. We propose the use of virtualization to ensure dependability of critical applications despite such communication.