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

dc.contributor.author José Creissac Campos en
dc.contributor.other 5599 en
dc.date.accessioned 2024-02-10T16:14:57Z
dc.date.available 2024-02-10T16:14:57Z
dc.date.issued 2020 en
dc.description.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. en
dc.identifier P-00S-WZQ en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/14852
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00S-WZQ.pdf
Size:
7.71 MB
Format:
Adobe Portable Document Format
Description: