EPSRC logo

Details of Grant 

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