Details of Grant 

EPSRC Reference:	GR/L80065/01
Title:	ABSTRACT INTERPRETATION OF SAFETY CRITICAL SYSTEM SPECIFICATIONS
Principal Investigator:	Hankin, Professor C
Other Investigators:	Maibaum, Professor T
Researcher Co-Investigators:
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	01 February 1998	Ends:	31 July 2001	Value (£):	189,983
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
Techniques for assessing the safety of software are relatively immature; much of the verification that is done is manual and hence expensive. Furthermore such techniques are not only person intensive but, because they rely in part upon expensive testing, there can only be less than certainty that the final system has the desired safety properties. Our proposed program has as its main area of work the development of abstract interpretation based analyses of specifications. We also plan to develop extensions to the Object Calculus that create the possibility of avoiding re-analysis of a system after refinement. We will focus our attention on safety models, timing analysis, fault tree analysis, failure mode effects analysis and test coverage analysis. All of these are already in use in industry as part of more informal techniques.
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.imperial.ac.uk