Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10508
Title: Verification Templates for the Analysis of User Interface Software Design
Authors: Masci,P
Harrison,MD
José Creissac Campos
Issue Date: 2019
Abstract: The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behavior. These requirements have standard forms across different application domains, and can be instantiated as properties of specific devices. The modeling and analysis process is carried out using the Prototype Verification System (PVS), and is further facilitated by structuring the specification of the device using a format that is designed to be generic across interactive systems. A concrete case study based on a commercial infusion pump is used to illustrate the approach. A detailed presentation of the automated verification process using PVS shows how failed proof attempts provide precise information about problematic user interface software features.
URI: http://repositorio.inesctec.pt/handle/123456789/10508
http://dx.doi.org/10.1109/tse.2018.2804939
metadata.dc.type: Publication
article
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00R-02B.pdf616.52 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.