The Handbook of Formal Methods in Human-Computer Interaction

Part of the series Human–Computer Interaction Series pp 379-403


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

  • Michael D. HarrisonAffiliated withSchool of Computing Science, Newcastle University Email author 
  • , Paolo M. MasciAffiliated withDep. Informática/Universidade do Minho & HASLab/INESC TEC
  • , José Creissac CamposAffiliated withDep. Informática/Universidade do Minho & HASLab/INESC TEC
  • , Paul CurzonAffiliated withEECS, Queen Mary University of London

* Final gross prices may vary according to local VAT.

Get Access


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.