Details of Grant 

EPSRC Reference:	GR/S16782/01
Title:	DARPS: DARPS 2002 Initiative - High Integrity Real-Time Systems (HIRTS)
Principal Investigator:	McDermid, Professor JA
Other Investigators:
Researcher Co-Investigators:
Project Partners:	BAE Systems QinetiQ Rolls-Royce Plc
Department:	Computer Science
Organisation:	University of York
Scheme:	Standard Research (Pre-FEC)
Starts:	01 October 2002	Ends:	30 September 2006	Value (£):	1,090,078
EPSRC Research Topic Classifications:	System on Chip
EPSRC Industrial Sector Classifications:	Aerospace, Defence and Marine Electronics
Related Grants:
Panel History:
Summary on Grant Application Form
High integrity computer systems and software are pervasive in modern defence and aerospace systems, e.g. fuel management systems and battlefield communications. Systems are becoming more complex, and more highly integrated. On a different scale, complex systems of systems (SoS) are being assembled and expected to work effectively together even though they were not, and could not have been, designed as a whole. Developing and assessing systems to show that they are of adequate integrity to be deployed is increasingly challenging technically, but there are also considerable commercial concerns. This project is attempting to address these challenges and concerns through three strands of activity examining the following areas: current classes of systems, emerging classes of systems, and management of project cost and risk. This project seeks to establish ways of reducing the cost of developing and assessing high integrity software for current classes of system, i.e. stand alone systems, and those being implemented on the emerging IMA standards. The primary means of achieving this are via automation and family-based reuse, building on current methods and toolsets. The project also aims to provide effective ways of achieving and demonstrating safety for SoS. The third strand deals with the problems of managing the development and assessment of HIRTS, particularly how to measure and predict project duration and resources, hence cost and risk. The DARP research will be carried out in collaboration with BAE SYSTEMS, Rolls-Royce plc and QinetiQ.
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