Exploiting gaming research and practice for engineering interactive critical systems
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Fault-tolerant interactive cockpits for critical applications: overall approach
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Addressing dependability for interactive systems: application to interactive cockpits
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Model-based dynamic distribution of user interfaces of critical interactive systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
International Journal of Human-Computer Studies
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
In 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 capabilities but they require specific error detection and fault tolerance techniques to reach a high level of dependability. This paper proposes a model-based approach for adding fault tolerance mechanisms to interactive cockpits. While several mechanisms are considered and presented, the contribution is focused on the formal description of self-checking widgets, being the basis for interactive cockpits.