| EPSRC Reference: |
GR/H37303/01 |
| Title: |
SSI TOOLS IED4/1/9035 |
| Principal Investigator: |
Conroy, Mr G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computation |
| Organisation: |
UMIST |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 May 1992 |
Ends: |
30 April 1995 |
Value (£): |
85,008
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
Transport Systems and Vehicles |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To identify suitable techniques for automated tools to support the design and checking of data in application specific languages. To produce and demonstrate prototype tools To study the relationship between tool strategies and the design of application specific languages for data driven safety systems To spread knowledge of proof techniques from the academic to the industrial field Progress: The project is virtually complete. Deliverables have been produced in the following areas: A specification for describing railway layouts A form of analysis and formalisation of safety properties and a tool to derive these properties from layout specifications A logic for reasoning about statements in the SSI data language Formalisations of the operations of the SSI system Prototype proving tools
|
|
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: |
|