%0 Conference Paper
%B NASA Formal Methods
%D 2012
%T Using PVS to Investigate Incidents through the Lens of Distributed Cognition
%A Paolo Masci
%A Huang, Huayi
%A Paul Curzon
%A Michael Harrison
%I Springer Berlin Heidelberg
%K incident analysis
%K Socio-technical system
%K theorem proving
%P 273-278
%R 10.1007/978-3-642-28891-3_27
%S Lecture Notes in Computer Science
%V 7226
%X <p>A systematic tool-based method is outlined that raises questions about the circumstances surrounding an incident: why it happened and what went wrong. The approach offers a practical and systematic way to apply a distributed cognition perspective to incident investigations, focusing on how available information resources (or the lack of them) may shape user action, rather than just on causal chains. This perspective supports a deeper understanding of the more systemic causes of incidents. The analysis is based on a higher order-logic model describing how information resources may have influenced the actions of those involved in the incident. The PVS theorem proving system is used to identify situations where available resources may afford unsafe user actions. The method is illustrated using a healthcare case study.</p>
%@ 978-3-642-28890-6
%> https://haslab.uminho.pt/sites/default/files/michaelharrison/files/mascinasa.pdf