Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2016
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study
HCI-Aero '16: Proceedings of the International Conference on Human-Computer Interaction in AerospaceArticle No.: 2, Pages 1–9https://doi.org/10.1145/2950112.2964578Interactive cockpits have been used since the early 00's in many aircraft cockpits, but the use of interactivity still remains limited to non-critical functions even in the most recent aircrafts. Indeed, engineering such interactive systems is still a ...
- ArticleNovember 2014
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
PRDC '14: Proceedings of the 2014 IEEE 20th Pacific Rim International Symposium on Dependable ComputingPages 21–30https://doi.org/10.1109/PRDC.2014.11Engineering interactive systems for safety critical applications such as in avionic digital cockpits (and more generally Graphical User interfaces) is a challenge from a dependability viewpoint. The dependability of the user interface and its related ...
- research-articleJuly 2014
Multi-Touch interactions for control and display in interactive cockpits: issues and a proposal
HCI-Aero '14: Proceedings of the International Conference on Human-Computer Interaction in AerospaceArticle No.: 7, Pages 1–10https://doi.org/10.1145/2669592.2669650Over the last few years multi-touch interfaces have made their ways in most environments including mobile technologies, flight entertainment systems, consumer electronics, ... Such interfaces and associated interaction techniques have demonstrated ...
- extended-abstractJune 2013
Addressing dependability for interactive systems: application to interactive cockpits
EICS '13: Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systemsPages 163–166https://doi.org/10.1145/2494603.2480336Most 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 ...
- research-articleJune 2013
Formal description of multi-touch interactions
EICS '13: Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systemsPages 207–216https://doi.org/10.1145/2494603.2480311The widespread use of multi-touch devices and the large amount of research that has been carried out around them has made this technology mature in a very short amount of time. This makes it possible to consider multi-touch interactions in the context ...
- ArticleSeptember 2008
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08: Proceedings of the 27th international conference on Computer Safety, Reliability, and SecurityPages 373–386https://doi.org/10.1007/978-3-540-87698-4_31The paper proposes a formal description technique and a supporting tool that provide a means to handle both static and dynamic aspects of input and output device configurations and reconfigurations. More precisely, in addition to the notation, the paper ...
- chapterJuly 2008
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces
Interactive Systems. Design, Specification, and VerificationJuly 2008, Pages 208–224https://doi.org/10.1007/978-3-540-70569-7_20This paper proposes an architecture that provides a means to handle failures of input and output devices. This handling is done by means of previously defined and designed configurations. According to the failure identified at runtime of the interactive ...