EPSRC logo

Details of Grant 

EPSRC Reference: GR/K55042/01
Title: PRINCIPLES FOR THE USE OF FORMAL METHODS IN ACCIDENT INVESIGATIONS
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 December 1995 Ends: 30 November 1998 Value (£): 254,603
EPSRC Research Topic Classifications:
Human-Computer Interactions
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
Accident reports are intended to ensure that the faults of previous systems are not propagated into future applications. They contain the analysis of many different experts: human factors specialists; control engineers; meteorologists etc. The insights of these investigators are, typically, separated into chapters that reflect the concerns and expertise of their authors. This separation created a number of problems: the ordering of events can occasionally become confused; critical incidents may be overlooked. I will address these problems by using temporal logic to construct a precise model of the sequence of events leading to major accidents. Simulation tools with then be used to animate the formal descriptions. These executable models provide a focus for further analysis and support discussion amongst the various groups involved in accident investigations.
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