EPSRC logo

Details of Grant 

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:
Software Engineering
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