Supporting the analysis of safety critical user interfaces: an exploration of three formal tools

Detalhes bibliográficos
Autor(a) principal: Campos, José C.
Data de Publicação: 2020
Outros Autores: Fayollas, Camille, Harrison, Michael D., Martinie, Célia, Masci, Paolo, Palanque, Philippe
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/67985
Resumo: 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
id RCAP_5495e2e892b6d3e9b3c80d39810701d8
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/67985
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsFormal modeling of interactive systemsUser centered designSafety critical systemsCiências Naturais::Ciências da Computação e da InformaçãoEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaScience & TechnologyUse 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 developmentsEuropean 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)Association for Computing Machinery (ACM)Universidade do MinhoCampos, José C.Fayollas, CamilleHarrison, Michael D.Martinie, CéliaMasci, PaoloPalanque, Philippe2020-082020-08-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/67985engCampos, J. C., Fayollas, C., Harrison, M. D., et. al.(2020). Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction (TOCHI), 27(5), 1-481073-05161557-732510.1145/3404199https://dl.acm.org/doi/abs/10.1145/3404199info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:49:50Zoai:repositorium.sdum.uminho.pt:1822/67985Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:48:25.630851Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
title Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
spellingShingle Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
Campos, José C.
Formal modeling of interactive systems
User centered design
Safety critical systems
Ciências Naturais::Ciências da Computação e da Informação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
title_short Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
title_full Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
title_fullStr Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
title_full_unstemmed Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
title_sort Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
author Campos, José C.
author_facet Campos, José C.
Fayollas, Camille
Harrison, Michael D.
Martinie, Célia
Masci, Paolo
Palanque, Philippe
author_role author
author2 Fayollas, Camille
Harrison, Michael D.
Martinie, Célia
Masci, Paolo
Palanque, Philippe
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Campos, José C.
Fayollas, Camille
Harrison, Michael D.
Martinie, Célia
Masci, Paolo
Palanque, Philippe
dc.subject.por.fl_str_mv Formal modeling of interactive systems
User centered design
Safety critical systems
Ciências Naturais::Ciências da Computação e da Informação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
topic Formal modeling of interactive systems
User centered design
Safety critical systems
Ciências Naturais::Ciências da Computação e da Informação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
description 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
publishDate 2020
dc.date.none.fl_str_mv 2020-08
2020-08-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/67985
url http://hdl.handle.net/1822/67985
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Campos, J. C., Fayollas, C., Harrison, M. D., et. al.(2020). Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction (TOCHI), 27(5), 1-48
1073-0516
1557-7325
10.1145/3404199
https://dl.acm.org/doi/abs/10.1145/3404199
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Association for Computing Machinery (ACM)
publisher.none.fl_str_mv Association for Computing Machinery (ACM)
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133061694095360

Registros relacionados