A survey of logic formalisms to support mishap analysis

Reliability Engineering and System Safety

Volumn 80, Issue 3, 2003, Pages 271-291

  Johnson, Chris ^a   Holloway, C M ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

Accident investigation; Causation; Implication; Mishap investigation; Mishap logics

Indexed keywords

INFORMATION ANALYSIS; RISK ASSESSMENT; STATISTICS;

SUPPORT MISHAP ANALYSIS;

ACCIDENT PREVENTION;

EID: 0037409948     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(03)00053-X     Document Type: Article

References (33)

1. IEC 61508. Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission; 2000. See http://www.iec.ch/61508 for further details.
2. Johnson CW, Le Galo G, Blaize M. Guidelines for the development of occurrence reporting systems in European air traffic control, European Organisation for Air Traffic Control (EUROCONTROL), Brussels, Belgium; 2000.
3. Busse D., Wright D. Classification and analysis of incidents in complex, medical environments. Top Health Inform Mgmt. 20:(4):2000;1-11.
4. Sampino E.J. Proceedings of the 2001 IEEE Annual Reliability and Maintainability Symposium. Proceedings of the 2001 IEEE Annual Reliability and Maintainability Symposium. 2001;IEEE Press, New York. p. 16-21.
5. Johnson C.W. A handbook for the reporting of incidents and accidents. 2003;Springer, London, UK. in press.
6. Reason J. Managing the risks of organizational accidents. 1997;Ashgate Publishing, Aldershot, UK.
7. van der Schaaf TW. Near miss reporting in the chemical process industry. PhD Thesis. Technical University of Eindhoven, Eindhoven, The Netherlands; 1992.
8. Ladkin P, Loer K. Why-because analysis: formal reasoning about incidents, Bielefeld, Germany. Document RVS-Bk-98-01. Technischen Fakultat der Universitat Bielefeld, Germany; 1998.
9. Burns C. Analysing accidents using structured and formal methods. PhD Thesis. Department of Computing Science, University of Glasgow, Scotland, UK; 2000.
10. Kjellen U. Prevention of accidents through experience feedback. 2000;Taylor & Francis, London, UK.
11. Johnson CW, Holloway CM, Strauch B. Subjective evaluations of formal notations for mishap analysis. Technical Report; 2002.
12. Pearl J. Causality; models, reasoning, and inference. 2000;Cambridge University Press, Cambridge.
13. NASA TDRB. Investigation of unitary 3-stage compressor composite blade test discrepancy. NASA Ames, Test Discrepancy Review Board; August 22, 2000.
14. Van Biljon W.R. Extending petri nets for specifying man-machine dialogues. Int J Man-Machine Stud. 28:(4):1988;437-455.
15. Hura G.S., Attwood J.W. The use of petri nets to analyse coherent fault trees. IEEE Trans Reliab. 37:(5):1988;469-473.
16. Snowdon P. Analysing argumentation structures in accident reports. PhD Thesis. Department of Computing Science, University of Glasgow, Scotland, UK; 2002.
17. Grice H.P. Studies in the way of words. 1989;Harvard University Press, Cambridge, MA.
18. Jackson F. On assertion and indicative conditionals. Philos Rev. 88:1979;565-589.
19. Lewis C.I., Langford C.H. Symbolic logic. 1932;The Century Company, New York.
20. Johnson C.W. The London ambulance service computer aided dispatch system: a case study in the integration of accident reports and the constructive design of safety-critical computer systems. Reliab Engng Syst. 2002.
21. Anderson A.R., Belnap N.D., Dunn J.M. Entailment, vol. II. 1992;Princeton University Press, Princeton.
22. Anderson A.R., Belnap N.D. Entailment: the logic of relevance and necessity, vol. I. 1975;Princeton University Press, Princeton.
23. Dunn M. Relevance logic and entailment. Gabbay D., Guenther F. Handbook of philosophical logic, vol. III. 1986;117-224 Reidel, Dordecht.
24. Lewis D. Causation. J Philos. 70:1973;556-567.
25. Lewis D. Counterfactuals. 1973;Oxford University Press, Oxford, UK.
26. Mackie J.L. Truth, probability and paradox. 1973;Oxford University Press, Oxford, UK.
27. Edgington. On conditionals. Mind. (104):1995;235-329.
28. Dembski W.A. The design inference: eliminating chance through small probabilities. 1998;Cambridge University Press, Cambridge, UK.
29. Puppe C. Distorted probabilites and choice under risk. Lecture notes in economics and mathematical systems, No. 363. 1991;Springer, Berlin, Germany.
30. Leveson N. A systems model of accidents. Wiggins J.H., Thomason S. Proceedings of the 20th International System Safety Conference. 2002;476-486 International Systems Safety Society, Unionville, USA.
31. Lavine M, Schervish MJ. Bayes factors: what they are and what they are not. Technical Report 652 1/97. Department of Statistics, Carnegie Mellon University; 1997.
32. Hausman D.M. Causal asymmetries. 1998;Cambridge University Press, Cambridge, UK.
33. Mares E.D., Fuhrmann A. A relevant theory of conditionals. J Philos Logic. 24:(6):1995;645-665.