Abstract
The deployment of interactive facilities in avionic digital cockpits for critical applications is a challenge today. The dependability of the user interface and its related supporting software must be consistent with the criticality of the functions to be controlled. The approach proposed in this paper aims at describing how fault prevention and fault tolerance techniques can be combined to address this challenge. Following the ARINC 661 standard, a model-based development of interactive objects (namely widgets and layers) aims at providing zero-default software. Regarding remaining software faults in the underlying runtime support and also physical faults, the approach is based on fault tolerance design patterns, like self-checking components and replication techniques. The proposed solution relies on the space and time partitioning provided by the executive support following the ARINC 653 standard. Defining and designing resilient interactive cockpits is a necessity in the near future as these command and control systems provide a great opportunity to improve maintenance and evolutivity of avionic systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee (2002)
ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653. Airlines Electronic Engineering Committee, July 15 (2003)
Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol. 4323, pp. 25–38. Springer, Heidelberg (2007)
Bastide, R., Sy, O., Palanque, P.: A formal notation and tool for the engineering of CORBA systems. Concurrency: Practice and Experience (Wiley) 12, 1379–1403 (2000)
Degani, A., Heymann, M.: Analysis and Verification of Human-Automation Interfaces. Human Centered Computing: Cognitive, Social and Ergonomic Aspects. In: Proceedings of the 10th Int. Conf. on HCI, vol. 3, pp. 185–189. Erlbaum, Mahwah (2003)
DO-178B: Software Considerations in Airbone Systems and Equipment Certification. RTCA Inc., EUROCAE (December 1992)
Genrich, H.J.: Predicate/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri Nets: Theory and Application, pp. 3–43. Springer, Heidelberg (1991)
Gibert, V., Machin, M., Fabre, J.-C., Stoicescu, M.: Design for Adaptation of Fault Tolerance Strategies. Rapport LAASÂ no 12198, 35 p (April 2012)
Laprie, J.-C.: From Dependability to Resilience. In: IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, Alaska, USA (June 2008)
Laprie, J.-C., Arlat, J., Béounes, C., Kanoun, K.: Definition and Analysis of hardware and software Fault-Tolerant Architectures. IEEE Computer 23(7), 39–51 (1990)
Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol. 15/3, pp. 309–328. Elsevier, Amsterdam (2003)
Navarre, D., Palanque, P., Ladry, J.-F., Barboni, E.: ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. ACM Trans. on Computer-Human Interaction 16(4), 1–56 (2009)
Normand, E.: Single-event effects in avionics. IEEE Transactions on Nuclear Science 43(2), 461–474 (1996)
Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J.-C., Fayollas, C.: Self-checking components for dependable interactive cockpits using formal description techniques. In: Proc. of 17th IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC 2011), Pasadena, California, USA (2011)
Traverse, P., Lacaze, I., Souyris, J.: Airbus Fly-by-Wire: A Total Approach to Dependability. In: Proceedings 18th IFIP World Computer Congress, Building the Information Society, Toulouse, France, August 22-27, pp. 191–212 (2004)
Yau, S.S., Cheung, R.C.: Design of self-Checking Software. In: Proc. Int. Conf. on Reliable Software, pp. 450–457. IEEE Computer Society Press, Los Angeles (1975)
Yeh, Y.C. (Bob): Design Considerations in Boeing 777 Fly-By-Wire Computers. In: Third IEEE International High-Assurance Systems Engineering Symposium, p. 64 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fayollas, C., Fabre, JC., Navarre, D., Palanque, P., Deleris, Y. (2012). Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. In: Avgeriou, P. (eds) Software Engineering for Resilient Systems. SERENE 2012. Lecture Notes in Computer Science, vol 7527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33176-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-33176-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33175-6
Online ISBN: 978-3-642-33176-3
eBook Packages: Computer ScienceComputer Science (R0)