| 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 |