Connecting commercial computers to avionics systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2009, Pages

  Laarouchi, Youssef ^a,b   Deswarte, Yves ^a,b   Powell, David ^a,b   Arlat, Jean ^a,b   De Nadai, Eric ^c  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b LAAS CNRS   (France)

^c AIRBUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS SYSTEMS; BI-DIRECTIONAL COMMUNICATION; BOARD COMPUTERS; EMBEDDED SOFTWARE COMPONENTS; FLIGHT PARAMETERS; MAINTENANCE OPERATIONS; SECURITY CHALLENGES;

ASYNCHRONOUS TRANSFER MODE; AUTOMATIC TELLER MACHINES; COMPUTER ARCHITECTURE; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTERNET PROTOCOLS;

AVIONICS;

EID: 77951082542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2009.5347440     Document Type: Conference Paper

References (12)

1. Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, and E. de Nadai, "Criticality and Confidence Issues in Avionics," 12th European Workshop on Dependable Computing (EWDC), Toulouse, France, May 14-15, 2009 〈http://hal.archives-ouvertes.fr/hal-00381966/fr/〉.
2. Radio Technical Commission for Aeronautics (RTCA), "Software Considerations in Airborne Systems and Equipment Certification," European Organization for Civil Aviation Electronics (EUROCAE), DO178-B, 1992.
3. E. Totel, J. Blanquart, Y. Deswarte, and D. Powell, "Supporting multiple levels of criticality," 28th IEEE Fault-Tolerant Computing Symposium (FTCS-28), Munich, Germany, 23-25 June 1998, pp. 70-79.
4. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Transactions on Dependable and Secure Computing (TDSC), vol.1, Issue 1, 2004, pp. 11-33.
5. Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, and E. de Nadai, "Ensuring Safety and Security for Avionics: a Case Study," DAta Systems In Aerospace (DASIA 2009), Istanbul, Turkey, May 26-29, 2009, pp.178-183.
6. K.J. Biba, "Integrity Considerations for Secure Computer Systems," MITRE Co., Technical Report ESD-TR 76-372, 1977.
7. D. Clark and D. Wilson, "A Comparison of Commercial and Military Computer Security Policies," in IEEE Symposium on Security and Privacy, Oakland (CA), May 1987, pp. 184-194.
8. J. Smith and R. Nair, Virtual Machines: Versatile Platforms for Systems and Processes, Morgan Kaufmann, 2005.
9. Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, and E. de Nadai, "Enhancing Dependability in Avionics Using Virtualization," EuroSys Workshop on Virtualization Technology for Dependable Systems (VTDS'09), Nuremberg, Germany, March 31-April 3, 2009, pp.13-17.
10. D. Powell and P. Veríssimo, "Chapter 6.4: Replicated Software Components," in Delta-4: A Generic Architecture for Dependable Computing, D. Powell Ed., Springer-Verlag, 1991, pp. 100-104.
11. 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," 19th ACM Symposium on Operating Systems Principles (SOSP'03), October 19-22, 2003, Bolton Landing, NY, USA, pp. 164-177.
12. P. Traverse, I. Lacaze, and J. Souyris, "Airbus Fly-By-Wire: A Total Approach To Dependability," Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France, Kluwer, pp. 191-212.