Formal methods for system integration
Mike Fourman – 25 March 1998
The rapid increase in integration level of electronic products, and the emergence of the hardware and software intellectual property marketplace, is focusing attention on significant gaps in the methodology and technology for integrating complex systems and chipsets. In this talk we outline a new approach, based on a formal representation of behaviours as relations, to the generation of interfaces connecting independent hardware blocks. To relate the system-level behaviour to the behaviours of encapsulated components, we model and relate behaviours at different levels of abstraction.
We are working to automate this process to provide automated interface synthesis for system integration.