Details of Grant 

EPSRC Reference:	GR/M32474/01
Title:	COMPOSITIONAL METHODS FOR HARDWARE/SOFTWARE CO-DESIGN
Principal Investigator:	Zedan, Professor H
Other Investigators:	Moszkowski, Dr B Moszkowski, Dr BC Cau, Dr A
Researcher Co-Investigators:
Project Partners:
Department:	School of Computing
Organisation:	De Montfort University
Scheme:	Standard Research (Pre-FEC)
Starts:	01 June 1999	Ends:	30 November 2002	Value (£):	137,523
EPSRC Research Topic Classifications:	Software Engineering
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
We aim to develop an integrated and practical approach for the compositional specification, design and analysis of mixed hardware/software systems. The project starts with an unified theory to ensure complete consistency between different stages in the project and different parts of the product. The theory incorporates features of CSP and ITL and promises to cross all the boundaries involved: continuous/discrete, hardware/software, simulation/verification, events/states, abstraction/execution, specification/implementation. The project will test the theory by application to commercially available design notations (Verilog and VHDL) and to critical parts of an industrial product, a self-validating sensor. Keywords describing areas of proposal.Computing, Linking Theoies, ITL, HDLS
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.dmu.ac.uk