Lookup NU author(s): Professor Michael Harrison
This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE, 2018.
For re-use rights please refer to the publisher's terms and conditions.
IEEE 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.
Author(s): Harrison MD, Masci P, Campos JC
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Software Engineering
Print publication date: 01/08/2019
Online publication date: 12/02/2018
Acceptance date: 06/02/2018
Date deposited: 07/02/2018
ISSN (print): 0098-5589
ISSN (electronic): 1939-3520
Altmetrics provided by Altmetric