Design of self-checking software
Proceedings of the international conference on Reliable software
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
ACM Transactions on Computer-Human Interaction (TOCHI)
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
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 Computing
Fault-tolerant interactive cockpits for critical applications: overall approach
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
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.