| EPSRC Reference: |
GR/G49531/01 |
| Title: |
ROLLING GRANT: SAFETY CRITICAL AND HIGH INTEGRITY SYSTEMS |
| 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 March 1992 |
Ends: |
31 May 1996 |
Value (£): |
835,745
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
SCHEMA is an interdisciplinary project, aimed at a range of key problems in the development and assessment of safety-critical systems. Specific strands of work cover: risk and hazard analysis; goals and policies in safety-critical systems; requirements for complex working environments; formal method support; software engineering for control systems. With the exception of the third area this work is carried out on an interdisciplinary basis.Progress:Progress in the last year can be summarised as follows: Risk and hazard analysis - use of scenarios to identify risks and hazards and then define requirements; application of traditional safety analysis techniques to check absence of vulnerabilities in a formal safety specification. Goals and policies - establishment and documentation of a goal-based approach to requirements engineering/system development, and agreement of this across a range of projects; development of two related test beds for evaluating safety policies - are in air traffic control, the other in fuel management; Requirements for complex working environments - development of techniques for analysing human error in teams, from a sociological view point; modelling and validating organisational requirements for safety-critical information systems; Formal method support - establishment of a method for formal specification and refinement of reactive systems, based on Z, statecharts and DRAs compliance notation; production of tool support and application to industrial example; support to the development of the Z standard; Software engineering for control systems - development of formal techniques dealing with problems of hybrid systems, especially at the requirements stage. This work has led to the publication of seventeen papers in the past year.
|
|
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 |