| EPSRC Reference: |
GR/R70590/01 |
| Title: |
MATISSE: Models and Techniques for Intergrated System Safety Engineering |
| Principal Investigator: |
McDermid, Professor JA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2002 |
Ends: |
31 December 2004 |
Value (£): |
435,390
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Empirical evidence shows that safety problems arise from poor integration of the safety and design processes, eg basing hazard analyses on inaccurate design models. Poor integration also leads to late discovery of problems, and hence significant cost and rework.Hazard and safety analysis is based on models of cause and effect, particularly cause and effect of failures. Thus, to achieve better integration, it is necessary to expand and enhance system and software models to represent failures and their causal dependencies. We propose to do this for a ran of notations, where possible widely used notations such as Matlab/Simulink models. Having done this, it then becomes possible to generate system safety analyses (from the local models of failure behaviour). We will enhance previous work to deal with hardware-software mapping, sequence dependencies between failure conditions, and so on. Automation can eliminate cost and human error from the process - but its accuracy is limited b~ the scope and precision of the models. Complete automation is neither practical nor desirable, and we will seek to
|
|
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.york.ac.uk |