Analysing User Deviations in Interactive Safety-Critical Applications

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.

[1]  Trevor A. Kletz,et al.  Hazop & Hazan: Identifying and Assessing Process Industry Hazards, Fouth Edition , 1999 .

[2]  Morris F. Chudleigh,et al.  The Benefits of SUSI: Safety Analysis of User System Interaction , 1993, SAFECOMP.

[3]  J. Reavell,et al.  Institution of Chemical Engineers , 1930 .

[4]  Angel R. Puerta,et al.  A Model-Based Interface Development Environment , 1997, IEEE Softw..

[5]  John A. McDermid,et al.  A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[6]  Fabio Paternò.  Model-Based Design and Evaluation of Interactive Applications , 2000 .

[7]  J. R. Fragola,et al.  Human reliability analysis , 1988 .

[8]  Charles Radley,et al.  Safeware: System safety and computers. A guide to preventing accidents and losses caused by technology , 1996 .

[9]  Fabio Paternò,et al.  Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control , 1998, DSV-IS.

[10]  Jean-Pierre Jacquot,et al.  Early Specification of User-Interfaces: Toward a Formal Approach , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[11]  Gregory D. Abowd,et al.  A formal technique for automated dialogue development , 1995, Symposium on Designing Interactive Systems.

[12]  Fabio Paternò.  Formal Reasoning about Dialogue Properties with Automatic Support , 1997, Interact. Comput..

[13]  R. M. Pitblado,et al.  A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .

[14]  Mary Beth Rosson,et al.  Getting around the task-artifact cycle: how to make claims and design by scenario , 1992, TOIS.