| EPSRC Reference: |
GR/K16715/01 |
| Title: |
A COMPOSITIONAL APPROACH TO THE SPECIFICATION OF SYSTEMS USING ITL AND TEMPURA |
| Principal Investigator: |
Zedan, Professor H |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Unknown |
| Organisation: |
Liverpool John Moores University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 February 1995 |
Ends: |
30 September 1995 |
Value (£): |
22,425
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The notion of compositionality is very important in Computer Science. It facilitates the module design of complex systems and the reuse of the intellectual and material capital invested in them.Research on finding compositional formal methods for concurrent behaviour remains one of the most important and challenging issues in formal semantics and in the design of verified mixed hardware/software systems. This proposal addresses theoretical and pragmatic issues concerning the correct design of mixed software/hardware systems. In particular we aim to establish a general theory of compositionality in which a systematic methodology for the specification and proof of mixed hardware/software system will be given: closing the gap between formal specification and executable code; and undertake industrially related case studies including the correct design of a fine-grained multithreaded dataflow CPU.Out aims will be within the Interval Temporal Logic (ITL) framework and its associated Tempura interpreter. However this will not detract from the general scope of our developed techniques.
|
|
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.livjm.ac.uk |