Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare. Early detection of latent user interface problems can be facilitated by user centered design methods that integrate formal verification technologies. This paper considers the role that formal verification technologies can play in the context of user centered design by considering 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 paper 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.

Publication metadata

Author(s): Campos JC, Fayollas C, Harrison MD, Martinie C, Masci P, Palanque P

Publication type: Article

Publication status: Published

Journal: ACM Transactions of Computer-Human Interaction

Year: 2020

Volume: 27

Issue: 5

Print publication date: 01/10/2020

Online publication date: 03/08/2020

Acceptance date: 01/05/2020

ISSN (print): 1073-0516

ISSN (electronic): 1557-7325

Publisher: ACM


DOI: 10.1145/3404199


Altmetrics provided by Altmetric