| EPSRC Reference: |
GR/L26087/01 |
| Title: |
INTEGRATING TEST AND VERIFICATION OF REAL-TIME AND FAULT-TOLERANT SYSTEMS IN A TRUSTWORTHY TOOL |
| Principal Investigator: |
Cardell-Oliver, Dr R |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Sci and Electronic Engineering |
| Organisation: |
University of Essex |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
15 January 1997 |
Ends: |
14 January 2000 |
Value (£): |
144,140
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of this project is to integrate the formal test and verification of computer systems in a trustworthy tool. Existing test theories will be extended and linked to theories of verification. A trustworthy tool which assists in the design and performance of tests and verification proofs will be developed using the HOL theorem prover and other relevant tools. The tool will be exercised on a case study for which comparable test and verification analysis is available. A case for the trustworthiness of the critical parts of the tool will be presented
|
|
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.sx.ac.uk |