EPSRC logo

Details of Grant 

EPSRC Reference: GR/J15186/01
Title: PROVABLY CORRECT HARDWARE/SOFTWARE CO-DESIGN
Principal Investigator: Hoare, Professor Sir C
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of Oxford
Scheme: Standard Research (Pre-FEC)
Starts: 01 June 1993 Ends: 31 May 1996 Value (£): 179,665
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
1 To ensure maximum UK industrial benefit from the ESPRIT Basic Research ProCoS project.2. Develop a prototype hardware/software compiler for embedded ASIC applications.3 Contribute to European collaboration.Progress:1. Contacts with industry have been pursued through the Z User Group [6] and the ProCoS-WG, which includes BA, BT, ICL, IBM, Logica, Lloyds Register, National Physical Laboratory, Praxis.2. Prototype compilers have been produced in Prolog for Optimised software compilation [4,5] and hardware compilation, based on the ProCoS project tutorial (as presented at FTRTFT94, Germany, September 1994). It is planned to adapt existing software and hardware prototype compilers to produce a hardware/software co-compiler. 3. A European ProCoS-WG Working Group [1] of 24 academic and industrial sites has been formed, with regular meetings for three years from January 1994, coordinated by J.P. Bowen. Funding for mobility between some sites will also be sought. Exploratory liaison with SGS-Thomson (ex Inmos) has been undertaken which may lead to an industrially funded project. The following relevant output has been produced recently:[1] J.P. Bowen et al., A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694. Bulletin of the European Association for Theoretical Computer Science (EATCS), 53:136-145, June 1994.[2) J.P. Bowen, He Jifeng and I. Page, Hardware Compilation. In J.P. Bowen (ed.), Towards Verified Systems, Elsevier, Real-Time Safety Critical Systems series, volume 2, chapter 10, pp 193-207, 1994.[3] C.A.R. Hoare and I. Page, Hardware and Software: The Closing Gap, Transputer Communications 2, pages 69--90, June 1994.[4] He Jifeng and J.P. Bowen, Specification, Verification and Prototyping of an Optimised Compiler. Formal Aspects of Computing, 6(6):643-658, 1994.[5] J.P. Bowen, Rapid Compiler Implementation. In He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimised Compilers, McGraw-Hill International Series in Software Engineering, chapter 10, pp 141-169, 1995.[6] J.P. Bowen, J.A. Hall (eds.), Z User Workshop, Cambridge 1994. Springer-Verlag, Workshops in Computing, 1994.
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.ox.ac.uk