Supporting the analysis of safety critical user interfaces: An Exploration of Three Formal Tools

Autor: Michael D. Harrison, José Creissac Campos, Camille Fayollas, Paolo Masci, Célia Martinie, Philippe Palanque
Přispěvatelé: Universidade do Minho
Jazyk: angličtina
Rok vydání: 2020
Předmět:
Computer science
Safety critical systems
02 engineering and technology
0202 electrical engineering
electronic engineering
information engineering
0501 psychology and cognitive sciences
Design methods
Formal verification
050107 human factors
User-centered design
Science & Technology
business.industry
05 social sciences
020207 software engineering
Ciências Naturais::Ciências da Computação e da Informação
Engenharia Eletrotécnica
Eletrónica e Informática [Engenharia e Tecnologia]
User interface design
Formal modeling of interactive systems
Human-Computer Interaction
User centered design
Life-critical system
Design process
Ciências da Computação e da Informação [Ciências Naturais]
User interface
Engineering design process
Software engineering
business
Engenharia e Tecnologia::Engenharia Eletrotécnica
Eletrónica e Informática
Zdroj: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Popis: 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
European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia (project POCI-01-0145-FEDER-016826)
Databáze: OpenAIRE
Externí odkaz: