Analysing User Deviations in Interactive Safety-Critical Applications

  • F. Paternò
  • C. Santoro
  • B. Fields
Conference paper
Part of the Eurographics book series (EUROGRAPH)


Usability and safety problems have often been addressed separately in designing interactive safety-critical applications thus obtaining fragmented results. In this paper we present a method to analyse possible deviations of users in performing their activities in order to elicit safety requirements and to improve design of interactive safety-critical applications. An application of the proposed method to a case study in the Air Traffic Control domain is discussed.


Task Model Sector Boundary Design Intent Requirement Elicitation Safety Critical System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abowd G., Wang H., Monk A.; 1995; “A formal technique for automated dialogue development”, Proceedings Designing Interactive Systems’95, August’95, pp.219–226, ACM Press.Google Scholar
  2. 2.
    Burns, D.J. and Pitblado, R.M. A Modified HAZOP Methodology For Safety Critical System Assessment. Directions in Proc. of the Safety-Critical Systems Symposium, (Bristol, 1993), Springer-Verlag.Google Scholar
  3. 3.
    Chudleigh, M.F. and Clare, J.N. The benefits of SUSI: Safety Analysis of User System Interaction. In Proc. of the 12th International Conference on Computer Safety, Reliability and Security, (Poznan-Kiekrz, Poland, 1993), Springer-Verlag.Google Scholar
  4. 4.
    Fields, R.E., Harrison, M.D. and Wright, P.C. (1997). THEA: Human Error Analysis for Requirements Definition. University of York, Department of Computer Science, Technical Report YCS-97–294. Google Scholar
  5. 5.
    HAZOP Studies on Systems Containing Programmable Electronics. UK Ministry of Defence Interim Def Stan 00–58, (1996), Issue 1. Available from Scholar
  6. 6.
    Jacquot, J.P., Quesnot, D., Early Specification of User-Interfaces: Toward a Formal Approach. In Proc. ICSE’97, (Boston, USA, 1997).Google Scholar
  7. 7.
    Kletz, T. HAZOP and HAZAN: Identifying and Assessing Process Industry Hazards, (1992), Institution of Chemical Engineers. Google Scholar
  8. 8.
    Leveson, N.G. Safeware: System Safety and Computers — A guide to preventing accidents and losses caused by technology. Addison Wesley.Google Scholar
  9. 9.
    Maiden, N.A.M. (1998). CREWS-SAVRE: Scenarios for acquiring and validating requirements. City University, CREWS Report Series 98–27.Google Scholar
  10. 10.
    McDermid, J.A. and Pumfrey, D.J. A Development of Hazard Analysis to aid Software Design. Proc. COMPASS’94, IEEE Press.
  11. 11.
    Paternb, F., “Formal Reasoning about Dialogue Properties with Automatic Support”, Interacting with Computers, 9 (1997), pp.173–196, ElsevierCrossRefGoogle Scholar
  12. 12.
    Paternb, F., Model-Based Design and Evaluation of Interactive Applications, Springer Verlag, 1999.Google Scholar
  13. 13.
    Paternb, F., Santoro, C., Tahmassebi, S. Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control. In Proc. DSV-IS ‘88, (Abingdon, U.K., June 1998).Google Scholar
  14. 14.
    Puerta, A. A Model-Based Interface Development Environment, IEEE Software, pp.40–47, July/August 1997.Google Scholar
  15. 15.
    Reason, J. Human Error. Cambridge University Press, (1990).Google Scholar
  16. 16.
    Wilson S., Johnson P., Kelly C., Cunningham J. and Markopoulos P. (1993). Beyond Hacking: A Model-based Approach to User Interface Design. Proceedings HCI’93. In: People and Computers VIII, Proc. of HCI’93 Conf., Cambridge: CUP.Google Scholar
  17. 17.
    Hollnagel E., Human Reliability Analysis, Academic Press, 1993.Google Scholar
  18. 18.
    Carrol J, Rosson M., Getting around the task-artefact cycle: how to make claims and design by scenario, ACM Transactions Information System, 10, 2, 1992 pp.181–212.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1999

Authors and Affiliations

  • F. Paternò
    • 1
  • C. Santoro
    • 1
  • B. Fields
    • 2
  1. 1.CNUCE-C.N.R.PisaItaly
  2. 2.University of YorkUK

Personalised recommendations