|
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.
|