| EPSRC Reference: |
GR/M94113/01 |
| Title: |
PORTABLE CODE FOR SAFETY CRITICAL REAL-TIME SYSTEMS |
| Principal Investigator: |
Audsley, Professor N |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2000 |
Ends: |
30 June 2004 |
Value (£): |
205,469
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Future safety critical real-time systems will be built using generic architectures which support integrated systems. To facilitate long development times and long service requirements, it is necessary to allow hardware resources to be replaced with new ones, either in the field or during scheduled maintenance, without changing the application software. This ambitions can only be fulfiled if the software is portable at the byte code level.The strategic goal of this research is to investigate the extent to which Java and its associated portable code can be used in the construction of safety critical real-time systems containing applications of various criticality levels. We use the framework developed by the HRG for its work on high-integrity Ada apply it in a Java context. The emerging Real-Time Java is also evaluated with the aim of producing a concurrency subset which can be used in safety critical systems.The topic of portable Operating Systems is identified as being suitable for a Phd Studentship.
|
|
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 |