Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems

Authors:
Sandra Basnyat;Nick Chozos;Chris Johnson;Philippe Palanque
Affiliations:
LIIHS – IRIT, University Paul Sabatier, Toulouse;Dept. of Computing Science, University of Glasgow, Glasgow, Scotland;Dept. of Computing Science, University of Glasgow, Glasgow, Scotland;LIIHS – IRIT, University Paul Sabatier, Toulouse
Venue:
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Year:
2005

Citing 2
Cited 3

Formal specification of CORBA services: experience and lessons learned

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Structuring interactive systems specifications for executability and prototypability

DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems

A Process for Human Centered Modelling of Incident Scenarios

USAB '08 Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work
A domain specific language for contextual design

HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
A development process for usable large scale interactive critical systems: application to satellite ground segments

HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The quality of the design of an interactive safety-critical system can be enhanced by embedding data and knowledge from past experiences. Traditionally, this involves applying scenarios, usability analysis, or the use of metrics for risk analysis. In this paper, we present an approach that uses the information from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.