| EPSRC Reference: |
GR/K63566/01 |
| Title: |
HIERARCHICAL TIMED TRANSITION SYSTEMS FOR HIGH INTEGRITY REAL-TIME DEVELOPMENT |
| Principal Investigator: |
McDermid, Professor JA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
ROPA |
| Starts: |
01 October 1995 |
Ends: |
30 September 1998 |
Value (£): |
140,365
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of this project is to provide a comprehensive theory for modelling and analysis of hierarchial timed transition systems, dealing with distribution and mode changes, and to demonstrate it by application to real-world examples. The existing theories and specification approaches do not adequately respect the underlying execution behaviour of the machines so they cannot be used to predict accurately the behaviour of critical systems; indeed their use may lead to mispaced confidence.
|
|
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 |