Software hazards and barriers for informing the design of safety-critical interactive systems

Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk

Volumn 1, Issue , 2006, Pages 257-265

  Basnyat, S ^a   Palanque, P ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

RELIABILITY; RISK MANAGEMENT; ELECTRIC GROUNDING; HAZARDS;

AND MODELING; HAZARD IDENTIFICATIONS; INTERACTIVE SOFTWARES; INTERACTIVE SYSTEMS; ON CURRENTS; SYSTEMATIC APPROACHES; TECHNICAL BARRIERS;

QUALITY ASSURANCE; SOFTWARE RELIABILITY;

ANALYSIS AND MODELING; HAZARD IDENTIFICATION; INTERACTIVE SOFTWARE; INTERACTIVE SYSTEM; ON CURRENTS; SAFETY-CRITICAL; SOCIOTECHNICAL;

EID: 38449119153     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. ARINC 661-2. 2004. Cockpit Display System Interfaces to User Systems. Arinc Specification 661-2.
2. Basnyat, S, Chozos, N, Johnson, C, and Palanque, P. 2005 Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. 24th European Annual Conference on Human Decision Making and Manual Control. (EAM).
3. Basnyat, S., Chozos, N., & Palanque, P. 2005b. Multidisciplinary perspective on accident investigation. Special Edition of Elsevier's Reliability Engineering and System Safety Journal.
4. Cockton, G, Woolrych, A, Hall, L, and Hindmarch, M. 2003. Changing Analysts' Tunes: The Surprising Impact of a New Instrument for Usability Inspection Method Assessment. Proceedings of BCS HCI 2003. p. 145-162. Springer-Verlag.
5. Falla, M. 1997. Advances in safety-critical systems. Results and achievements from the DTI/EPSRC R&D programme in safety critical systems. June 1997.
6. Gerhardt-Powals, J. 1996. Cognitive engineering principles for enhancing human - computer performance. International Journal of Human-Computer Interaction, 8(2), 189-211.
7. Hollnagel, E. 1991. The Phenotype of Erroneous Actions: Implications for HCI Design. IN: Human-Computer Interaction in Complex Systems (eds G. Weir & J. Alty), pp. 1-32. Academic Press.
8. Hollnagel, E. 1999. Accidents and barriers. IN: Proceedings of Lex Valenciennes (eds J.M. Hoc, P. Millot, E. Hollnagel, & P.C. Cacciabue), pp. 175-182.
9. Hollnagel, R and Woods, D. 2006. Epilogue: Resilience Engineering Precepts from of Resilience Engineering: Concepts and Precepts, Hollnagel, E., Woods D and Leveson, N (editors) 0 7546 4641 6. Ashgate.
10. Johnson, C. W. 2003. Failure in Safety-Critical Systems. A Handbook of Accident and Incident Reporting. Available at: http://www.dcs.gla.ac.uk/johnson/ book. Ocotber 2003. University of Glasgow Press.
11. Killam, B and Holland, B. 2003. Position Paper on the Suitability to Task of Automated Utilities for Testing Web Accessibility Compliance [Electronic version]. The Usability SIG Newsletter: Usability Interface Accessibility and Usability: Partners in EffectiveDesign. 9, 4. April 2003.
12. Kletz, T. 1999. Hazop and Hazan: Identifying and Assessing Process Industrial Hazards. Institution of Chemical Engineers, Fourth Edition. December 1999. Taylor & Francis, Inc.
13. Leveson, N, Hunt, E. B, Jaffe, M, Joslyn, S, Rees, J, Shaw, A, Zabinsky, Z, Alfaro, L, Alvarado, C, Brown, M, Pinnel, D, Samarziya, J, Sandys, S, and Shafer, M. 1997 A demonstration of safety analysis of Air Traffic Control software: Final Report. September 1997.
14. Leveson, N. G. 1991. Software safety in embedded computer systems. Communications of the ACM archive. ACM Press, 34, 34-46.
15. MDA Guide version 1.0.1. OMG Document number omg/2003-06-01. 2003.
16. Navarre, D, Palanque, P, and Bastide, R. 2004. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero'04).
17. Navarre, D., Palanque, P., & Bastide, R. 2003. A Tool-Supported Design Framework for Safety Critical Interactive Systems. Interacting with computers, 15/3, 309-328.
18. Nielsen, J and Molich, R. 1990. Heuristic evaluation of user interfaces. Chew, J. C and Whiteside, J. Proceedings of Human Factors in Computing Systems, ACM CHI' 90 conference, 249-256.
19. Norman, D. 1990. The Design of everyday things . February Doubleday Books.
20. Palanque, P and Basnyat, S. 2004. Task Patterns for taking into account in an efficient and systematic way both standard and erroneous user behaviors. HESSD 2004 6th International Working Conference on Human Error, Safety and System Development.
21. Pierotti, D. 1995. Heuristic Evaluation - A System Checklist, Xerox Corporation Available online at http://www.stcsig.org/usability/topics/articles/ he-checklist.html.
22. Puerta, A. R 1998. Supporting User-Centered Design of Adaptive User Interfaces Via Interface Models. First Annual Workshop On Real-Time Intelligent User Interfaces For Decision Support And Information Visualization
23. Pumfrey, D. J. 1999. The Principled Design of Computer System Safety Analyses. PhD Thesis. Univ. of York.
24. Rasmussen, J. 1983. Skills, rules, knowledge: Signals, signs, and symbols and other distinctions in human performance models. IEEE Transactions on Systems, Man, and Cybernetics. 13(3), 257-267.
25. Rushby, J., Crow, J., and Palmer, E. 1999. An automated method to detect mode confusions. 18th AIAA/IEEE Digital Systems Avionics Conference (DASC).
26. Schupp, B., Basnyat, S., Palanque, P., and Wright, P. 2006. A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems. 9th International Symposium of the ISSA Research Section Design process and human factors integration:
27. Smith, S. P and Harrison, M. D.2002. Improving Hazard Classification through the Reuse of Descriptive Arguments. Gacek, C. 7th international Conference on Software Reuse: Methods, Techniques, and Tools. 2319, 255-268. LNCS Springer-Verlag.
28. Sy, O., Bastide, R., Palanque, P., Duc-Hoa, K.L., and Navarre, D. 1999. PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems. 20th International Conference on Applications and Theory of Petri Nets. LNCS Springer Verlag.