Toggle Main Menu Toggle Search

Open Access padlockePrints

The Specification and Analysis of Use Properties of a Nuclear Control System

Lookup NU author(s): Professor Michael HarrisonORCiD


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.

Publication metadata

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

Year: 2017

Pages: 379-403

Online publication date: 25/04/2017

Acceptance date: 07/12/2016

Publisher: Springer International Publishing


DOI: 10.1007/978-3-319-51838-1_14

Library holdings: Search Newcastle University Library for this item

ISBN: 9783319518381