| EPSRC Reference: |
GR/J18897/01 |
| Title: |
A SAFETY ARGUMENT MANAGER (ASAM II) |
| 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 September 1993 |
Ends: |
30 September 1995 |
Value (£): |
255,691
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
| Transport Systems and Vehicles |
R&D |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The primary objectives of the project are to: develop a method for the construction of system safety cases, particularly facilitating strong links between design and safety to produce a prototype tool to support the method to demonstrate the tool on a number of case studies The tool and method should also reduce the cost of producing and maintaining a safety case. Progress:The project has developed a goal-based method for defining safety requirements; and linking the requirements and safety analyses with design models. An important technical advance has been the development of a set of consistency rules for the primary safety analysis techniques - FTAs, FMEAS, etc. The goal-structuring and consistency rules assist in ensuring consistency of the safety case, and facilitate change management. A prototype tool has been developed on a PC, using a variety of Microsoft tools (OLE, MFC, etc). The tool consists of a set of editors for the different notations, including the goal structures and a hazard log, together with a database used for cross-notation consistency checking. Embedding of technical material into Word documents is supported so that safety cases can be produced. The tool is now at a point where case studies can be carried out effectively. Some preparatory work has been completed, and four studies are now under way. These are for an aircraft landing gear, part of a FADEC, an ammoria plant, and a liquid conditioning system controlling pilot temperature. Some nuclear examples are also being carried out, outside the project.
|
|
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 |