Title | ||
---|---|---|
Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems |
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11752707_5 | DSV-IS |
Keywords | Field | DocType |
usability analysis,petri net,model-based design,past experience,accident investigation technique,embedding data,incident investigation,safety-critical interactive system,interactive safety-critical system,formal system model,fatal mining accident case,risk analysis,ico formalism,information model,system modeling | Formal system,Petri net,Embedding,Systems engineering,Risk analysis (business),Computer science,Usability,Model-based design,Safety case,Formalism (philosophy) | Conference |
Volume | ISSN | ISBN |
3941 | 0302-9743 | 3-540-34145-5 |
Citations | PageRank | References |
9 | 0.68 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sandra Basnyat | 1 | 61 | 5.80 |
Nick Chozos | 2 | 17 | 2.81 |
Chris Johnson | 3 | 35 | 5.26 |
Philippe Palanque | 4 | 716 | 68.40 |