Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P.
The specification and analysis of use properties of a nuclear control system
In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series, chapter 14. Springer. 2017.

Abstract

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.

visit publisher  

@inbook{HarrisonMCC:2017,
 author = {Harrison, M.D. and Masci, P.M. and Campos, J.C. and Curzon, P.},
 title = {The specification and analysis of use properties of a nuclear control system},
 editor = {Weyers, B. and Palanque, P. and Bowen, J. and Dix, A.},
 publisher = {Springer},
 series = {Human-Computer Interaction Series},
 booktitle = {The Handbook on Formal Methods in Human Computer Interaction},
 chapter = {14},
 year = {2017},
 doi = {10.1007/978-3-319-51838-1_14},
 abstract = {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.}
}

Generated by mkBiblio 2.6.26