The project addresses the development of a methodology and an associated set of software tools for the modelling, analysis and hardware implementation of fully asynchronous communication mechnisms (ACMs) for real-time embedded systems, where the notion of non-blocking communications is of prime importance. This methodology will provide the designer of such a system with methods to:

The approach is aimed at achieving greater efficiency and productivity of ACM design compared to existing techniques. Rapid prototyping for hardware via VHDL/FPGA routes is envisaged.