EPSRC logo

Details of Grant 

EPSRC Reference: GR/L27800/01
Title: LINKING USER AND SYSTEM MODELS TO ANALYSE THE CAUSES OF MAJOR ACCIDENTS
Principal Investigator: Johnson, Professor C
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: School of Computing Science
Organisation: University of Glasgow
Scheme: Standard Research (Pre-FEC)
Starts: 01 August 1997 Ends: 31 July 2000 Value (£): 202,153
EPSRC Research Topic Classifications:
Human-Computer Interactions
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
Recent reports by the Department of Transport and UK Presidential Boards of Enquiry have concluded that operator intervention plays a primary role in the course of most major accidents. It is, therefore, surprising that few techniques can be used to analyse the interaction between system failures and human error during accident investigations. I will investigate whether user models, from the field of human computer interaction, and formal specification techniques, from software engineering, can be integrated to address these problems. The innovative test of this proposal is to use epistemic logics as a bridge between user models and formal techniques for accident analysis.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.gla.ac.uk