Using PVS to investigate incidents through the lens of distributed cognition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7226 LNCS, Issue , 2012, Pages 273-278

  Masci, Paolo ^a   Huang, Huayi ^a   Curzon, Paul ^a   Harrison, Michael D ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

incident analysis; socio technical system; Theorem proving

Indexed keywords

CAUSAL CHAINS; DISTRIBUTED COGNITION; INCIDENT ANALYSIS; INCIDENT INVESTIGATION; INFORMATION RESOURCE; PVS THEOREM; SOCIO-TECHNICAL SYSTEM; THROUGH THE LENS; USER ACTION;

HEALTH CARE; INFORMATION SCIENCE; NASA; PROBLEM SOLVING;

THEOREM PROVING;

EID: 84859465087     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28891-3_27     Document Type: Conference Paper

References (13)

1. Fluorouracil incident in PVS (December 2011), http://tinyurl.com/PVS- fluorouracil
2. Australian Transport Safety Bureau. Analysis, causality and proof in safety investigations, ATSB transport safety research report, AR-2007-053 (2007)
3. ISMP Canada. Fluorouracil incident root cause analysis report, http://www.ismp-canada.org/download/reports/FluorouracilIncidentMay2007.pdf
4. Zhang, J., et al.: Using usability heuristics to evaluate patient safety of medical devices. Journal of Biomedical Informatics, 36 (2003)
5. Hollnagel, E.: Barriers and accident prevention. Ashgate, Aldershot (2004)
6. Hutchins, E.: Cognition in the Wild. new edn. The MIT Press (1995)
7. Johnson, C.W.: Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting. University of Glasgow Press, Glasgow (2003)
8. Johnson, C.W., Holloway, C.M.: A survey of logic formalisms to support mishap analysis. Reliability Engineering & System Safety 80(3), 271-291 (2003)
9. Ladkin, P., Sieker, B., Sanders, J.: Safety of Computer-Based Systems. Springer, Heidelberg (draft version from July 27, 2011)
10. Leveson, N.: A new accident model for engineering safer systems. Safety Science, 237-270 (2004)
11. Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 748-752. Springer, Heidelberg (1992)
12. Reason, J.T.: Human error. Cambridge University Press (1991)
13. Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri Nets for risk analysis and accident modelling. Safety Science, 41(5) (2003)