EPSRC logo

Details of Grant 

EPSRC Reference: GR/L49710/01
Title: CODESIGN OF DEPENDABLE EMBEDDED REAL TIME SYSTEMS
Principal Investigator: Stavridou, Dr V
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Queen Mary University of London
Scheme: Standard Research (Pre-FEC)
Starts: 15 July 1997 Ends: 15 May 1998 Value (£): 211,734
EPSRC Research Topic Classifications:
Software Engineering
EPSRC Industrial Sector Classifications:
Aerospace, Defence and Marine Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
Codesign is the integrated design of systems implemented using both hardware and software components. Codesign is prominent in the engineering of tightly coupled systems such as computer based avionics where hardware and software modules interact to deliver a solution. Although such systems are not new, methodologies and environments combining techniques from the software and hardware domains are only now emerging. The codesign process involves requirements analysis, architecture definition, synthesis and implementation. Much emphasis has been placed on optimisations at the latter two levels. We are proposing to investigate the earlier phases of requirements capture and analysis and architecture specification, evaluation and refinement in the context of avionics control systems. We will concentrate on developing a methodology for deriving hardware/software architectures which demonstrably satisfy system safety7, fault tolerance and performance requirements whilst also meeting the system functionality objectives. Integral with this approach is the derivation of architecture evaluation criteria for checking whether a given architecture meets the dependability objectives of the system. The bulk of the research will be concentrated on architecture specification and evaluation with particular reference to avionics applications of real time embedded systems. Whilst we will work with manually generated architectures, our research will facilitate their systematic derivation.
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: