Models for Internet-based Programming	Research Projects	Formal Methods for Object and Component Systems	UNU-IIST Home
Hardware/software Codesign

II/1/1/4 Hardware/software Codesign

In particular we will be concerned with the reconfiguration issue of the hardware, which addresses the optimisation of resource allocation strategy.

Traditional system specifications always abstract from resources. However, it is unavoidable to append resource constraints in later system implementation. This project will cope with the following topics

1. a hierarchy of formal models for programs with limited resources

2. algebraic laws of resource-oriented software

3. a higher-order process model in support of FPGA's dynamic switching setting techniques

4. optimisation of software/hardware partitioning strategies

Hardware/software Codesign
Models for Internet-based Programming	Research Projects	Formal Methods for Object and Component Systems	UNU-IIST Home