Cognitive systems engineering: new wine in new bottles
International Journal of Man-Machine Studies
Safeware: system safety and computers
Safeware: system safety and computers
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Applications of Formal Methods
Applications of Formal Methods
Software—Practice & Experience
Two causal analyses of the Black Hawk shootdown during operation provide comfort
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Joint Cognitive Systems
A STAMP analysis on the china-yongwen railway accident
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
SYRMA: a tool for a system approach to risk management in mission critical systems
International Journal of Business Information Systems
Bayesian network modeling of Port State Control inspection findings and ship accident involvement
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The increasing complexity in highly technological systems such as aviation, maritime, air traffic control, telecommunications, nuclear power plants, space missions, chemical and petroleum industry, and healthcare and patient safety is leading to potentially disastrous failure modes and new kinds of safety issues. Traditional accident modelling approaches are not adequate to analyse accidents that occur in modern socio-technical systems, where accident causation is not the result of an individual component failure or human error. This paper provides a review of key traditional accident modelling approaches and their limitations, and describes new system-theoretic approaches to the modelling and analysis of accidents in safety-critical systems. This paper also discusses the application of formal methods to accident modelling and organisational theories on safety and accident analysis.