Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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. http://www.cs.york.ac.uk/~bob/papers.html
HAZOP Studies on Systems Containing Programmable Electronics. UK Ministry of Defence Interim Def Stan 00–58, (1996), Issue 1. Available from http://www.dstan.mod.uk/dstan_data/ix-00.htm.
Jacquot, J.P., Quesnot, D., Early Specification of User-Interfaces: Toward a Formal Approach. In Proc. ICSE’97, (Boston, USA, 1997).
Kletz, T. HAZOP and HAZAN: Identifying and Assessing Process Industry Hazards, (1992), Institution of Chemical Engineers.
Leveson, N.G. Safeware: System Safety and Computers — A guide to preventing accidents and losses caused by technology. Addison Wesley.
Maiden, N.A.M. (1998). CREWS-SAVRE: Scenarios for acquiring and validating requirements. City University, CREWS Report Series 98–27.
McDermid, J.A. and Pumfrey, D.J. A Development of Hazard Analysis to aid Software Design. Proc. COMPASS’94, IEEE Press. ftp://ftp.cs.york.ac.uk/hise_reports/safety/develop.ps.Z
Paternb, F., “Formal Reasoning about Dialogue Properties with Automatic Support”, Interacting with Computers, 9 (1997), pp.173–196, Elsevier
Paternb, F., Model-Based Design and Evaluation of Interactive Applications, Springer Verlag, 1999.
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).
Puerta, A. A Model-Based Interface Development Environment, IEEE Software, pp.40–47, July/August 1997.
Reason, J. Human Error. Cambridge University Press, (1990).
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.
Hollnagel E., Human Reliability Analysis, Academic Press, 1993.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag/Wien
About this paper
Cite this paper
Paternò, F., Santoro, C., Fields, B. (1999). Analysing User Deviations in Interactive Safety-Critical Applications. In: Duke, D., Puerta, A. (eds) Design, Specification and Verification of Interactive Systems ’99. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6815-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6815-8_13
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83405-3
Online ISBN: 978-3-7091-6815-8
eBook Packages: Springer Book Archive