Addressing dependability for interactive systems: application to interactive cockpits
Pages 163 - 166
Abstract
Most of the work done for improving interactive systems reliability is based on methods and techniques to avoid the occurrence of faults. The goal of most of such techniques is to remove software defects prior to deployment. However, it has been proved that regardless of the approaches that are setup, system crashes may still occur at runtime. One of the potential sources of such crashes is natural faults triggered by alpha-particles from radioactive contaminants in the chips or neutron from cosmic radiation. This phenomenon appears with a higher probability while flying in the high atmosphere, which is the case for aircrafts. Safety-critical systems need to cope with this type of fault to be dependable.
The main goal of this PhD is to provide means and methodology to build dependable interactive systems using interactive cockpits as a case study. The work presented in this doctorial consortium paper gives an excerpt of the solution proposed to build dependable interactive systems. This approach is a two-fold solution to deal with both (i) software faults prior to operation by using zero-default development dedicated to interactive systems and (ii) natural faults by embedding fault-tolerant mechanisms in the interactive system.
References
[1]
ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653. Airlines Electronic Engineering Committee July 15, 2003.
[2]
ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee 2002.
[3]
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C. Basic concepts and taxonomy of dependable and secure computing. In IEEE Trans. on Dependable and Secure Computing, vol. 1, no. 1, pp. 11--33, Jan.-March 2004.
[4]
Barboni, E., Conversy, S., Navarre, D., Palanque, P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSVIS 2006. LNCS n°4323, pp. 25--38.
[5]
Bowen J. and Stavridou V. Formal Methods, Safety-Critical Systems and Standards. Software Engineering Journal, 8(4):189--209, July 1993.
[6]
Dearden, A. M. and Harrison, M. D. Formalising human error resistance and human error tolerance. Proceedings of the Fifth International Conference on HumanMachine Interaction and Artificial Intelligence in Aerospace. 1995. EURISCO.
[7]
Fayollas, C., Fabre, J-C., Navarre, D., Palanque, P. and Deleris, Y. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), LNCS, Springer Verlag. pp. 134--155.
[8]
Hollnagel, E. Barriers and Accident Prevention. 2004. Ashgage.
[9]
Laprie, J.-C., Arlat, J., Béounes, C., Kanoun, K. Definition and Analysis of hardware and software Fault-Tolerant Architectures, IEEE computer, vol. 23, no. 7, pp. 39--51, 1990.
[10]
Navarre, D., Palanque, P., Ladry, J., and Barboni, E. ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM TOCHI, 2009, V. 16, 4, pp. 1--56.
[11]
Palanque, P. & Bastide, B. A Formalism for Reliable User Interfaces. Workshop Software Engineering / Human Computer Interaction associated with the IEEE / ICSE 16 conference. Sorento, Italy 16-21 May 1994.
[12]
Palanque, P. & Basnyat, S. Task Patterns for Taking into account in an efficient and systematic way both standard and erroneous user behaviours. 6th International Conference on Human Error, Safety and System Development, Springer Verlag pp. 123--139.
[13]
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 International Symposium on Dependable Computing (PRDC 2011) Pasadena, California, USA.
[14]
Tankeu-Choitat, A., Fabre, J.-C., Palanque, P., Navarre, D., Deleris, Y. Self-Checking Components for Dependable Interactive Cockpits. 13th European Workshop on Dependable Computing (EWDC 2011), Pisa, ACM DL.
[15]
Yau, S. S, R. C, Cheung, "Design of self-Checking Software", proc. Int. Conf. on Reliable Software, Los Angeles, CA, USA, IEEE Computer Society Press, 1975, pp. 450--457.
Index Terms
- Addressing dependability for interactive systems: application to interactive cockpits
Recommendations
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
PRDC '11: Proceedings of the 2011 IEEE 17th Pacific Rim International Symposium on Dependable ComputingIn the last few years, glass cockpits are being replaced by interactive cockpits to provide a higher level of integration of both command and information display. Due to their event driven nature, interactive systems offer more display and control ...
Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA
DSD '12: Proceedings of the 2012 15th Euromicro Conference on Digital System DesignIn this paper, a dependability analysis of fault tolerant systems implemented into the SRAM-based FPGA is presented. The fault tolerant architectures are based on the redundancy of functional units associated with a concurrent error detection technique ...
Fault-tolerant interactive cockpits for critical applications: overall approach
SERENE'12: Proceedings of the 4th international conference on Software Engineering for Resilient SystemsThe 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 ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2013
356 pages
ISBN:9781450321389
DOI:10.1145/2494603
- General Chairs:
- Peter Forbrig,
- Prasun Dewan,
- Program Chairs:
- Michael Harrison,
- Kris Luyten
Copyright © 2013 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 24 June 2013
Check for updates
Author Tags
Qualifiers
- Extended-abstract
Conference
EICS'13
Sponsor:
EICS'13: ACM SIGCHI Symposium on Engineering Interactive Computing Systems
June 24 - 27, 2013
London, United Kingdom
Acceptance Rates
EICS '13 Paper Acceptance Rate 20 of 86 submissions, 23%;
Overall Acceptance Rate 73 of 299 submissions, 24%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 88Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in