| EPSRC Reference: |
GR/M53288/01 |
| Title: |
DEPENDABLE EMBEDDED SYSTEM INTEGRATION |
| Principal Investigator: |
Bass, Professor JM |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Electronics |
| Organisation: |
Bangor University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 December 1999 |
Ends: |
13 June 2001 |
Value (£): |
52,161
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The research will define, evaluate and refine selected artefacts for the integration of mechanisms to achieve dependability and functional requirements. Executable functional specifications, combinatorial and stochastic dependability models will be developed for a selection of mechanisms. The artefacts will be used to implement a demonstration avionic autopilot and airframe simulation. Software implemented fault-injection will be used to evaluate model accuracy and the achievement of dependability goals. An impirical approach will be used to assess the utility of the strategy.A novel theme of this research, in addition to the artefact strategy, is the assessment and quantification of factors influencing the choice of policies as well as mechanisms required to achieve availability and safety goals.The broad scope of the research requires theoretical definition and refinement of artefacts. Experimental methods will be used to implement selected artefacts and evaluate their effectiveness in the achievement of safety and relaibility7 goals. The research will provide demonstrations of the technique with a view to securing further funding for field trials on an industrial strength application.
|
|
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.bangor.ac.uk |