research-article

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools

Authors:

José Creissac Campos,

Camille Fayollas,

Michael D. Harrison,

Célia Martinie,

Philippe PalanqueAuthors Info & Claims

ACM Transactions on Computer-Human Interaction (TOCHI), Volume 27, Issue 5

Article No.: 35, Pages 1 - 48

https://doi.org/10.1145/3404199

Published: 03 August 2020 Publication History

Abstract

Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and health care. Early detection of latent user interface problems can be facilitated by user-centered design methods that integrate formal verification technologies. This article considers the role that formal verification technologies can play in the context of user-centered design by considering the following three existing tools: CIRCUS, PVSio-web, and IVY. These tools have been developed to support the model based analysis of critical user interfaces. They have their foundations in existing formal verification technologies, but each of them is focused towards particular issues relating to user interface design. The article explores the different phases of the user-centered design process and the extent to which each of these tools supports these phases. Criteria are developed for assessing their role at each stage of the design process. The results of the evaluation provide guidance to developers to help choose the most appropriate tool based on their analysis needs while at the same time setting challenges for future developments.

References

[1]

J. Accot, S. Chatty, S. Maury, and P. Palanque. 1997. Formal transducers: Models of devices and building bricks for the design of highly interactive systems. In Proceedings of the 4th International Eurographics Workshop (Eurographics). M. D. Harrison and J. C. Torres (Eds.). Springer, 143--159.

[2]

SAS Airbus. 2016. Airbus A380 Flight Crew Operating Manual. Retrieved from http://www.airbus.com/.

[3]

Airlines Electronic Engineering Committee. 2002. ARINC 661 specification: Cockpit Display System Interfaces to User Systems. Aeronautical Radio Inc.

[4]

E. Barboni, S. Conversy, D. Navarre, and P. Palanque. 2006. Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In Interactive Systems. Design, Specification, and Verification. Springer, 25--38.

[5]

E. Barboni, J.-F. Ladry, D. Navarre, P. Palanque, and M. Winckler. 2010. Beyond modelling: An integrated environment supporting co-execution of tasks and systems models. In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’10). ACM, 165--174.

[6]

E. Barboni, D. Navarre, P. Palanque, and S. Basnyat. 2006. Exploitation of formal specification techniques for ARINC 661 interactive cockpit applications. In Proceedings of the HCI Aero Conference (HCI Aero’06). Cepadues, 81--89.

[7]

R. Bastide, D. Navarre, P. Palanque, A. Schyn, and P. Dragicevic. 2004. A model-based approach for real-time embedded multimodal systems in military aircrafts. In Proceedings of the 6th International Conference on Multimodal Interfaces (ICMI’04). ACM, 243--250.

[8]

M. Beaudouin-Lafon. 2000. Instrumental interaction: An interaction model for designing post-WIMP user interfaces. In Proceedings of the CHI 2000 Conference on Human Factors in Computing Systems.T. Turner and G. Szwillus (Eds.). ACM, 446--453.

Digital Library

[9]

D. Billman, C. Fayollas, M. Feary, C. Martinie, and P. Palanque. 2016. Complementary tools and techniques for supporting fitness-for-purpose of interactive critical systems. In Proceedings of the International Conference on Human-Centred Software Engineering. Springer, 181--202.

[10]

D. Billman, S.-C. Wu, and C. Fan. 2016. Representing work for device design and evaluation using biclustering. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting. Vol. 60. SAGE Publications, CA: Los Angeles, 138--142.

[11]

B. Boehm. 1986. A spiral model of software development and enhancement. ACM SIGSOFT Software Engineering Notes 11, 4 (Aug. 1986), 14--24.

Digital Library

[12]

M. L. Bolton, N. Jiménez, M. M. van Paassen, and M. Trujillo. 2014. Automatically generating specification properties from task models for the verification of human-automation interaction. IEEE Transactions of Human Machine Systems 44, 5 (2014), 561--575.

[13]

J. Bowen and S. Reeves. 2017. Combining models for interactive system modelling. In The Handbook of Formal Methods in Human-Computer Interaction. Springer, 161--182.

[14]

J. C. Campos, G. Doherty, and M. D. Harrison. 2014. Analysing interactive devices based on information resource constraints. International Journal of Human Computer Studies 72 (2014), 284--297.

Digital Library

[15]

J. C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque, and M. Pinto. 2016. Systematic automation of scenario-based testing of user interfaces. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’16). ACM, 138--148.

[16]

J. C. Campos and M. D. Harrison. 2001. Model checking interactor specifications. Automated Software Engineering 8 (2001), 275--310.

Digital Library

[17]

J. C. Campos and M. D. Harrison. 2008. Systematic analysis of control panel interfaces using formal tools. In Interactive Systems: Design, Specification and Verification, DSVIS’08 (LNCS), Vol. 5136. N. Graham and P. Palanque (Eds.). Springer, 72--85.

[18]

J. C. Campos and M. D. Harrison. 2009. Interaction engineering using the IVY tool. In Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’09). ACM, 35--44.

[19]

J. L. Camus. 2012. SCADE: Implementation and Applications. ISTE Ltd, Chapter 6, 225--272.

[20]

A. Cerone, P. A. Lindsay, and S. Connelly. 2005. Formal analysis of human-computer interaction using model-checking. In Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM’05). IEEE, 352--361.

[21]

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. 2002. Nusmv 2: An opensource tool for symbolic model checking. In Proceedings of the International Conference on Computer Aided Verification. Springer, 359--364.

[22]

E. M. Clarke, O. Grumberg, and D. A. Peled. 1999. Model Checking. MIT Press.

[23]

S. Combéfis, D. Giannakopoulou, and C. Pecheur. 2015. Automatic detection of potential automation surprises for ADEPT models. IEEE Transactions on Human-Machine Systems 46, 2 (2015), 267--278.

[24]

Ledo D., Houben S., Vermeulen J., Marquardt N., Oehlberg L., and Greenberg S. 2018. Evaluation strategies for HCI toolkit research. In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI’18). ACM, New York, NY, Article Paper 36, 17 pages.

[25]

B. d’Ausbourg, C. Seguin, G. Durrieu, and P. Roché. 1998. Helping the automated validation process of user interfaces systems. In Proceedings of the 1998 International Conference on Software Engineering. K. Torii, K. Futatsugi, and R. A. Kemmerer (Eds.). IEEE Computer Society, 219--228.

[26]

A. Degani. 2003. Taming HAL: Designing Interfaces Beyond 2001. Palgrave, Macmillan.

[27]

D. J. Duke and M. D. Harrison. 1993. Abstract interaction objects. Computer Graphics Forum 12, 3 (1993), 25--36.

[28]

R. Fahssi, C. Martinie, and P. A. Palanque. 2015. Enhanced task modelling for systematic identification and explicit representation of human errors. In Proceedings of the 15th IFIP TC International Conference on Human-Computer Interaction.Lecture Notes in Computer Science, J. Abascal, S. D. J. Barbosa, M. Fetter, T. Gross, P. A. Palanque, and M. Winckler (Eds.), Vol. 9299. Springer, 192--212.

[29]

Camille Fayollas. 2015. Generic Software Architecture and Model-Based Approach for the Dependability of Interactive Critical Systems. (Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques). Ph.D. Dissertation. University of Toulouse, France. Retrieved from https://tel.archives-ouvertes.fr/tel-01241504.

[30]

C. Fayollas, C. Martinie, D. Navarre, and P. Palanque. 2015. A generic approach for assessing compatibility between task descriptions and interactive systems: Application to the effectiveness of a flight control unit. i-com 14, 3 (2015), 170–191.

[31]

C. Fayollas, C. Martinie, P. Palanque, E. Barboni, R. Fahssi, and A. Hamon. 2017. Exploiting action theory as a framework for analysis and design of formal methods approaches: Application to the CIRCUS integrated development environment. In The Handbook of Formal Methods in Human-Computer Interaction. B. Weyers, J. Bowen, A. J. Dix, and P. Palanque (Eds.). Springer, 465--504.

[32]

C. Fayollas, C. Martinie, P. Palanque, Y. Deleris, J.-C. Fabre, and D. Navarre. 2014. An approach for assessing the impact of dependability on usability: Application to interactive cockpits. In Proceedings of the 2014 10th European Dependable Computing Conference (EDCC’14). IEEE Computer Society, 198--209.

Digital Library

[33]

C. Fayollas, C. Martinie, P. Palanque, P. Masci, M. D. Harrison, J. C. Campos, and S. R. Silva. 2017. Evaluation of formal IDEs for human-machine interface design and analysis: The case of CIRCUS and PVSio-web. In Proceedings of the 3rd Workshop on Formal Integrated Development Environment (Electronic Proceedings in Theoretical Computer Science). Vol. 240. 1--19.

[34]

A. Gimblett and H. W. Thimbleby. 2013. Applying theorem discovery to automatically find and check usability heuristics. In Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 101--106.

[35]

A. Hamon, P. Palanque, J. L. Silva, Y. Deleris, and E. Barboni. 2013. Formal description of multi-touch interactions. In Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’13). ACM, 207--216.

[36]

A. Hamon, P. A. Palanque, and M. Cronel. 2015. Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. In Proceedings of the 13th IEEE International Conference on Industrial Informatics. IEEE, 980--987.

[37]

A. Hamon, P.A. Palanque, M. Cronel, R. André, E. Barboni, and D. Navarre. 2014. Formal modelling of dynamic instantiation of input devices and interaction techniques: Application to multi-touch interactions. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’14). F. Paternò, C. Santoro, and J. Ziegler (Eds.). ACM, 173--178.

[38]

D. Harel. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987), 231--274.

Digital Library

[39]

M. D. Harrison, J. C. Campos, and P. Masci. 2015. Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering 11, 2 (June 2015), 95--111.

Digital Library

[40]

M. D. Harrison, P. Masci, and J. C. Campos. 2018. Formal modelling as a component of user interface design. In Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops (Revised Selected Papers) (Lecture Notes in Computer Science), M. Mazzara, I. Ober, and G. Salaün (Eds.). Lecture Notes in Computer Science, vol. 11176. Springer, Cham.

[41]

M. D. Harrison, P. Masci, and J. C. Campos. 2019. Verification templates for the analysis of user interface software design. IEEE Transactions on Software Engineering 45, 8 (2019), 802--822.

[42]

M. D. Harrison, J. C. Campos, R. Ruksenas, and P. Curzon. 2016. Modelling information resources and their salience in medical device design. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM, 194--203.

[43]

M. D. Harrison, L. Freitas, M. Drinnan, J. C. Campos, P. Masci, C. di Maria, and M. Whitaker. 2019. Formal techniques in the safety analysis of software components of a new dialysis machine. Science of Computer Programming 175 (2019), 17--34.

[44]

M. D. Harrison, P. Masci, J. C. Campos, and P. Curzon. 2017. Verification of user interface software: The example of use-related safety requirements and programmable medical devices. ACM Transactions on Human Machine Systems 47, 6 (2017), 834--846.

[45]

E. Hollnagel. 2017. FRAM: The Functional Resonance Analysis Method: Modelling Complex Socio-technical Systems. CRC Press.

[46]

I. Horrocks. 1999. Constructing the User Interface with Statecharts. Addison-Wesley Longman Publishing Co., Inc.

[47]

P. Huber, A. M. Jensen, L. O. Jepsen, and K. Jensen. 1986. Reachability trees for high-level Petri Nets. Theoretical Computer Science 45, 3 (1986), 261--292.

Digital Library

[48]

E. Hutchins. 1994. Cognition in the Wild. MIT Press.

[49]

P. Johnson, S. Wilson, P. Markopoulos, and J. Pycock. 1993. Adept: Advanced design environment for prototyping with task models. In Proceedings of the INTERACT’93 and CHI’93 Conference on Human Factors in Computing Systems. 56.

[50]

B. Kirwan and L. Ainsworth. 1992. A Guide to Task Analysis. Taylor and Francis.

[51]

G. E. Krasner and S. T. Pope. 1988. A cookbook for using the model-view controller user interface paradigm in smalltalk-80. Journal of Object Oriented Programming 1, 3 (Aug. 1988), 26--49. Retrieved from http://dl.acm.org/citation.cfm?id=50757.50759.

[52]

T. Le Sergent, A. Bouakaz, and G. Goretkin. 2018. SCADE AADL.

[53]

C. Martinie, E. Barboni, D. Navarre, P. Palanque, R. Fahssi, E. Poupart, and E. Cubero-Castan. 2014. Multi-models-based engineering of collaborative systems: Application to collision avoidance operations for spacecraft. In Proceedings of the 13th IFIP TC International Conference on Human-Computer Interaction, part III. Lecture Notes in Computer Science, Vol. 6948, Springer, Berlin, 589--609.

[54]

C. Martinie, P. Palanque, and M. Winckler. 2011. Structuring and composition mechanisms to address scalability issues in task models. In Proceedings of the 13th IFIP TC International Conference on Human-Computer Interaction, part III. Lecture Notes in Computer Science, Vol. 6948, Springer, Berlin, 589--609.

[55]

C. Martinie, P. A. Palanque, E. Bouzekri, A. Cockburn, A. Canny, and E. Barboni. 2019. Analysing and demonstrating tool-supported customizable task notations. In Proceedings of the ACM on Human-Computer Interaction.

[56]

C. Martinie, P. A. Palanque, M. Ragosta, M. A. Sujan, D. Navarre, and A. Pasquini. 2013. Understanding functional resonance through a federation of models: Preliminary findings of an avionics case study. In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, F. Bitsch, J. Guiochet, and M. Kaâniche (Eds.), Vol. 8153. Springer, 216--227.

[57]

P. Masci, A. Ayoub, P. Curzon, M. D. Harrison, I. Lee, O. Sokolsky, and H. Thimbleby. 2013. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. In Proceedings ACM Symposium Engineering Interactive Systems (EICS’13). ACM, 81--90.

[58]

P. Masci, P. Mallozzi, F. L. De Angelis, G. Di Marzo Serugendo, and P. Curzon. 2015. Using PVSio-web and SAPERE for rapid prototyping of user interfaces in integrated clinical environments. In Proceedings of the Verisure 2015, Workshop on Verification and Assurance, Co-located with CAV.

[59]

P. Masci, P. Oladimeji, Y. Zhang, P. Jones, P. Curzon, and H. Thimbleby. 2015. PVSio-web 2.0: Joining PVS to HCI. In Proceedings of the 27th International Conference on Computer Aided Verification. D. Kroening and S. C. Păsăreanu (Eds.). Springer, 470--478. Tool available at http://www.pvsioweb.org.

[60]

G. Mauro, H. Thimbleby, A. Domenici, and C. Bernardeschi. 2016. Extending a user interface prototyping tool with automatic MISRA C code generation. In Proceedings of the 3rd Workshop on Formal Integrated Development Environment (F-IDE), Satellite Workshop of Formal Methods 2016. Electronic Proceedings in Theoretical Computer Science (EPTCS).

[61]

A. F. Monk, M. Curry, and P. C. Wright. 1991. Why industry doesn’t use the wonderful notations we researchers have given them to reason about their designs. In User-centred Requirements for Software Engineering. D. J. Gilmore, R. L. Winder, and F. Detienne (Eds.). Springer, 185--189.

[62]

G. Mori, F. Paternò, and C. Santoro. 2002. CTTE: Support for developing and analyzing task models for interactive system design. IEEE Transactions of Software Engineering 28, 8 (2002), 797--813.

Digital Library

[63]

C. A. Muñoz and R. Butler. 2003. Rapid prototyping in PVS. Retrieved from http://ntrs.nasa.gov/search.jsp?R=20040046914 NASA/CR-2003-212418, NIA Report No.2003-03.

[64]

D. Navarre, P. Dragicevic, P. Palanque, R. Bastide, and A. Schyn. 2005. Very-high-fidelity prototyping for both presentation and dialogue parts of multimodal interactive systems. In Engineering Human Computer Interaction and Interactive Systems. R. Bastide, P. Palanque, and J. Roth (Eds.). Springer, Berlin, 179--199.

[65]

D. Navarre, P. Palanque, R. Bastide, and O. Sy. 2001. A model-based tool for interactive prototyping of highly interactive applications. In Proceedings of the 12th International Workshop on Rapid System Prototyping (RSP’01). IEEE Computer Society, 136. Retrieved from http://dl.acm.org/citation.cfm?id=882480.883731.

[66]

D. Navarre, P. Palanque, J.-F. Ladry, and E. Barboni. 2009. ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Transactions on Computer-Human Interaction 16, 4, (Nov. 2009), 56.

Digital Library

[67]

D. Navarre, P. A. Palanque, R. Bastide, and O. Sy. 2001. A model-based tool for interactive prototyping of highly interactive applications. In Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP’01). IEEE Computer Society, 136--141.

[68]

S. Owre, J. M. Rushby, and N. Shankar. 1992. PVS: A prototype verification system. In Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction (CADE’11). Springer, Berlin, 748--752.

[69]

P. Palanque, E. Barboni, C. Martinie, D. Navarre, and M. Winckler. 2011. A model-based approach for supporting engineering usability evaluation of interaction techniques. In Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’11). ACM, 21--30.

[70]

P. A. Palanque and R. Bastide. 1997. Synergistic modelling of tasks, users and systems using formal specification techniques. Interacting with Computers 9, 2 (1997), 129--153.

[71]

M. Palmieri, Cinzia B., and P. Masci. 2017. Co-simulation of semi-autonomous systems: The line follower robot case study. In Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 423--437.

[72]

M. Palmieri, C. Bernardeschi, and P. Masci. 2019. A framework for FMI-based co-simulation of human–machine interfaces. In Proceedings of the Software and Systems Modeling. Cambridge University Press, 1--23.

[73]

M. Palmieri, C. Bernardeschi, and P. Masci. 2019, to appear. A framework for FMI-based co-simulation of human-machine interfaces. Software and Systems Modeling 19 (2019), 601–623.

[74]

F. Paternò and G. Faconti. 1992. On the use of LOTOS to describe graphical interaction. In Proceedings of the conference on People and Computers VII. A. Monk, D. Diaper, and M. D. Harrison (Eds.). BCS HCI Specialist Group, Cambridge University Press, 155--174.

[75]

A. Rajhans, S. Avadhanula, A. Chutinan, P. J. Mosterman, and F. Zhang. 2018. Graphical hybrid automata with simulink and stateflow. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control. ACM, 267--268.

[76]

W. Reisig. 1985. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4. Springer.

Digital Library

[77]

V. Rossignol. 2009. Optimized safety-critical embedded display development with OpenGL SC. SAE International Journal of Aerospace 2, 1 (2009), 91--94.

[78]

R. Rukšėnas, J. Back, P. Curzon, and A. Blandford. 2009. Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing 21 (2009), 541--569.

[79]

J. Rushby. 2002. Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75, 2 (Feb. 2002), 167--177.

[80]

M. Ryan, J. Fiadeiro, and T. Maibaum. 1991. Sharing actions and attributes in modal action logic. In Theoretical Aspects of Computer Software. Lecture Notes in Computer Science, Vol. 526. Springer, 569--593.

[81]

J. L. Silva, J. C. Campos, and M. D. Harrison. 2014. Prototyping and analysing ubiquitous computing environments using multiple layers. International Journal of Human Computer Studies 72, 5 (2014), 488--506.

[82]

J. L. Silva, C. Fayollas, A. Hamon, P. A. Palanque, C. Martinie, and E. Barboni. 2013. Analysis of WIMP and post WIMP interactive systems based on formal specification. In Electronic Communications of the EASST, Vol. 69. MIT press.

[83]

S. Simakov. 2005. Introduction to MATLAB Graphical User Interfaces. Technical Report. Defence Science and Technology Organisation, Edinburgh, Australia.

[84]

H. W. Thimbleby. 2007. Press on: Principles of Interaction Programming. MIT Press.

[85]

K. J. Vicente. 1999. Cognitive Work Analysis. Lawrence Erlbaum Associates.

[86]

J. S. Willans and M. D. Harrison. 2001. A tool supported approach for designing and testing virtual environment interaction techniques. International Journal of Human-Computer Studies 55, 2 (2001), 145--165.

Digital Library

[87]

F. Zambonelli, A. Omicini, B. Anzengruber, G. Castelli, F. L. De Angelis, G. Di Marzo Serugendo, S. Dobson, J. L. Fernandez-Marquez, A. Ferscha, M. Mamei, S. Marianib, A. Molesinib, S. Montagnab, J. Nieminenc, D. Pianinib, M. Risoldid, A. Rosia, G. Stevensone& J. Yee. 2015. Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive and Mobile Computing 17, Part B (2015), 236--252.

Cited By

Bergström JHornbæk K(2025)DIRA: A model of the user interfaceInternational Journal of Human-Computer Studies10.1016/j.ijhcs.2024.103381193(103381)Online publication date: Jan-2025
https://doi.org/10.1016/j.ijhcs.2024.103381
Carayon AMartinie CPalanque PBarboni ESteere S(2024)A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in HealthcareProceedings of the ACM on Human-Computer Interaction10.1145/36646338:EICS(1-31)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3664633
Blouin A(2024)A Type System for Flexible User Interactions HandlingProceedings of the ACM on Human-Computer Interaction10.1145/36602488:EICS(1-27)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3660248
Show More Cited By

Index Terms

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments

Recommendations

User-centered design, activity-centered design, and goal-directed design: a review of three methods for designing web applications
SIGDOC '09: Proceedings of the 27th ACM international conference on Design of communication

When conducting research with users in order to design web applications, the practitioner has a variety of methods from which to choose. This paper examines three such methods'User-Centered Design (UCD), Goal-Directed Design (GDD), and Activity-Centered ...
Designing user interfaces for safety critical systems
CHI '98: CHI 98 Conference Summary on Human Factors in Computing Systems
Safety-critical interaction: usability in incidents and accidents
CHI EA '04: CHI '04 Extended Abstracts on Human Factors in Computing Systems

Recent years have seen an increasing use of sophisticated interaction techniques in the field of command and control systems. The use of such techniques has been required in order to increase the bandwidth between the users and the systems and thus to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Computer-Human Interaction

ACM Transactions on Computer-Human Interaction Volume 27, Issue 5

October 2020

270 pages

ISSN:1073-0516

EISSN:1557-7325

DOI:10.1145/3415023

Editor:
Kristina Höök
KTH Royal Institute of Technology, Sweden

Issue’s Table of Contents

Copyright © 2020 ACM.

© 2020 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of the United States government. As such, the United States Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 August 2020

Accepted: 01 May 2020

Revised: 01 March 2020

Received: 01 September 2019

Published in TOCHI Volume 27, Issue 5

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Competitiveness and Internationalisation
European Regional Development

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
515
Total Downloads

Downloads (Last 12 months)72
Downloads (Last 6 weeks)2

Reflects downloads up to 15 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bergström JHornbæk K(2025)DIRA: A model of the user interfaceInternational Journal of Human-Computer Studies10.1016/j.ijhcs.2024.103381193(103381)Online publication date: Jan-2025
https://doi.org/10.1016/j.ijhcs.2024.103381
Carayon AMartinie CPalanque PBarboni ESteere S(2024)A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in HealthcareProceedings of the ACM on Human-Computer Interaction10.1145/36646338:EICS(1-31)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3664633
Blouin A(2024)A Type System for Flexible User Interactions HandlingProceedings of the ACM on Human-Computer Interaction10.1145/36602488:EICS(1-27)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3660248
Mendil IAït-Ameur YSingh NDupont GMéry DPalanque P(2023)Formal domain-driven system development in Event-BJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2022.102798135:COnline publication date: 1-Feb-2023
https://dl.acm.org/doi/10.1016/j.sysarc.2022.102798
Navarre DPalanque PMartinie C(2023)Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium10.1007/978-3-031-59235-5_8(72-89)Online publication date: 27-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-59235-5_8
Moreira ECampos J(2023)Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural LanguageEngineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium10.1007/978-3-031-59235-5_15(179-197)Online publication date: 27-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-59235-5_15
da Costa RCampos J(2023)Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred DesignHuman-Computer Interaction – INTERACT 202310.1007/978-3-031-42283-6_27(504-513)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1007/978-3-031-42283-6_27
Bombarda ABonfanti SGargantini A(2023)formal MVC: A Pattern for the Integration of ASM Specifications in UI DevelopmentRigorous State-Based Methods10.1007/978-3-031-33163-3_25(340-357)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-33163-3_25
Lüthi NMatt CMyrach T(2022)Wertbasiertes Design von EntscheidungsunterstützungssystemenValue-based Decision Support System DesignHMD Praxis der Wirtschaftsinformatik10.1365/s40702-022-00845-059:2(525-537)Online publication date: 2-Mar-2022
https://doi.org/10.1365/s40702-022-00845-0
Winckler MPalanque PHak JBarboni ENicolas OGoncalves L(2022)Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive SystemsProceedings of the ACM on Human-Computer Interaction10.1145/35350636:EICS(1-36)Online publication date: 17-Jun-2022
https://dl.acm.org/doi/10.1145/3535063
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Figures

Tables

Media

View Issue’s Table of Contents