| EPSRC Reference: |
GR/S40435/01 |
| Title: |
Environment Synthesis for Timed and Hybrid Systems |
| Principal Investigator: |
Barringer, Professor H |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Victoria University of Manchester, The |
| Scheme: |
Overseas Travel Grants Pre-FEC |
| Starts: |
01 March 2003 |
Ends: |
29 February 2004 |
Value (£): |
16,810
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The proposed research to be pursued with staff at NASA Ames Research Center, Automated Software Engineering group, is based on the further development of our existing environment synthesis work for untimed systems. Given a component specification (represented as an finite state automaton) and a desired property, we can synthesis the most general constraints on the environment of the component that will then enable achievement of the given property. Our short programme aims to extend the approach to support the compositional modelling and verification of timed and hybrid systems as expected and needed to support and be deployed in future Mars missions involving autonomous long-range roving vehicles. Two aspects will be investigated: firstly the development of environment synthesis techniques for real-time systems based upon event-clock automata, looking in particular at the practicality of synthesis of aspects of real-time controllers; secondly to give initial consideration to the feasibility of such synthesis techniques to more general hybrid control systems.
|
|
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: |
|