| 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: |
|
| 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: |
|