research-article

Enhancing dependability in avionics using virtualization

Authors:

Eric De NadaiAuthors Info & Claims

VDTS '09: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems

Pages 13 - 17

https://doi.org/10.1145/1518684.1518687

Published: 31 March 2009 Publication History

Get Access

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.

References

[1]

J. Smith and R. Nair, Virtual Machines: Versatile Platforms for Systems and Processes, Morgan Kaufmann, 2005.

Digital Library

Google Scholar

[2]

T. Garfinkel and M. Rosenblum, "A Virtual Machine Introspection Based Architecture for Intrusion Detection," In Proc. Network and Distributed Systems Security Symposium, 2003, pp. 191--206.

Google Scholar

[3]

T. Bressoud and F. Schneider, "Hypervisor-based fault tolerance," ACM Press, 1995, pp. 11, 1.

Digital Library

Google Scholar

[4]

B. Jansen, H. V. Ramasamy, M. Schunter, and A. Tanner, "Architecting Dependable and Secure Systems Using Virtualization," Architecting Dependable Systems V, Springer-Verlag, 2008, pp. 124--149.

Digital Library

Google Scholar

[5]

RTCA, "Software Considerations in Airborne Systems and Equipment Certification," Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), DO178-B, 1992.

Google Scholar

[6]

E. Totel, J. Blanquart, Y. Deswarte, and D. Powell, "Supporting multiple levels of criticality," Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on, 1998, pp. 70--79.

Digital Library

Google Scholar

[7]

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Trans. Dependable Secur. Comput., vol. 1, Jan. 2004, pp. 33, 11.

Digital Library

Google Scholar

[8]

Y. Deswarte, K. Kanoun, and J. Laprie, "Diversity against accidental and deliberate faults," Computer Security, Dependability, and Assurance: From Needs to Solutions, IEEE CS, 1999, pp. 171--181.

Digital Library

Google Scholar

[9]

J. Michaloski, S. Birla, and J. Yen, "Software Models for Standardizing the Human-Machine Interface Connection to a Machine Controller."

Google Scholar

[10]

P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the art of virtualization," ACM Press, 2003, pp. 164--177.

Digital Library

Google Scholar

[11]

Adrian Colyer, Andy Clement, George Harley, and Matthew Webster, eclipse AspectJ, Aspect-Oriented Programming with AspectJ and the Eclipse Aspect Development tools, Eclipse, 2005.

Digital Library

Google Scholar

Cited By

View all

Cheng ADai GPaluri PAnsari MKnape DLi Y(2019)Fault-Tolerant Regularity-Based Real-Time Virtual Resources2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2019.8864575(1-12)Online publication date: Aug-2019
https://doi.org/10.1109/RTCSA.2019.8864575
Alonso JGoiri IGuitart JGavalda RTorres J(2011)Optimal Resource Allocation in a Virtualized Software Aging Platform with Software RejuvenationProceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering10.1109/ISSRE.2011.30(250-259)Online publication date: 29-Nov-2011
https://dl.acm.org/doi/10.1109/ISSRE.2011.30
Laarouchi YDeswarte YPowell DArlat Jde Nadai E(2009)Connecting commercial computers to avionics systems2009 IEEE/AIAA 28th Digital Avionics Systems Conference10.1109/DASC.2009.5347440(6.D.1-1-6.D.1-9)Online publication date: Oct-2009
https://doi.org/10.1109/DASC.2009.5347440

Index Terms

Enhancing dependability in avionics using virtualization
1. Security and privacy
  1. Systems security
    1. Information flow control
    2. Operating systems security
2. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software fault tolerance

Recommendations

Position paper: DO-178C/ED-12C and object-orientation for critical systems
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologies

DO-178C/ED-12C, six years in preparation, is expected to be published in 2011. This updated document will provide guidance for the development and verification of safety-related software for avionic systems. As this position paper will describe, DO-178C/...
Dependability assessment of by-wire control systems using fault injection

This paper is focused on the validation by means of physical fault injection at pin-level of a time-triggered communication controller: the TTP/C versions C1 and C2. The controller is a commercial off-the-shelf product used in the design of by-wire ...
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues
DSN-W '15: Proceedings of the 2015 IEEE International Conference on Dependable Systems and Networks Workshops

Safety or mission critical systems are those where failures should be avoided at all costs. Engineering processes, techniques and tools are, however, not perfect, and lead to software and systems with flaws. This paper presents an analysis of the impact ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

VDTS '09: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems

March 2009

39 pages

ISBN:9781605584737

DOI:10.1145/1518684

Conference Chairs:
Hans P. Reiser
University of Lisboa, Portugal
,
Rüdiger Kapitza
FAU Erlangen, Germany

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 March 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Seventh Framework Programme

Conference

EuroSys '09

Sponsor:

SIGOPS

EuroSys '09: Fourth EuroSys Conference 2009

March 31, 2009

Nuremberg, Germany

Upcoming Conference

EuroSys '25

Sponsor:
sigops

Twentieth European Conference on Computer Systems

March 30 - April 3, 2025

Rotterdam , Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
411
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cheng ADai GPaluri PAnsari MKnape DLi Y(2019)Fault-Tolerant Regularity-Based Real-Time Virtual Resources2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2019.8864575(1-12)Online publication date: Aug-2019
https://doi.org/10.1109/RTCSA.2019.8864575
Alonso JGoiri IGuitart JGavalda RTorres J(2011)Optimal Resource Allocation in a Virtualized Software Aging Platform with Software RejuvenationProceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering10.1109/ISSRE.2011.30(250-259)Online publication date: 29-Nov-2011
https://dl.acm.org/doi/10.1109/ISSRE.2011.30
Laarouchi YDeswarte YPowell DArlat Jde Nadai E(2009)Connecting commercial computers to avionics systems2009 IEEE/AIAA 28th Digital Avionics Systems Conference10.1109/DASC.2009.5347440(6.D.1-1-6.D.1-9)Online publication date: Oct-2009
https://doi.org/10.1109/DASC.2009.5347440

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Position paper: DO-178C/ED-12C and object-orientation for critical systems

Dependability assessment of by-wire control systems using fault injection

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues