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