Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This chapter explores a layered approach to the analysis of the Nuclear Power Plant Control System described in Chap. 4. A model is specified to allow the analysis of use-centred properties based on generic templates. User interface properties include the visibility of state attributes, the clarity of the mode structure and the ease with which an action can be recovered from. Property templates are used as heuristics to ease the construction of requirements for the control system interface.
Author(s): Harrison MD, Masci PM, Campos JC, Curzon P
Editor(s): Weyers, B; Bowen, J; Dix, A; Palanque, P
Publication type: Book Chapter
Publication status: Published
Book Title: The Handbook of Formal Methods in Human-Computer Interaction
Online publication date: 25/04/2017
Acceptance date: 07/12/2016
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item