Formal Methods for System Integration
In this talk we outline a new approach to the generation of interfaces connecting independent hardware blocks. Our treatment is based on the formal representation of synchronous behaviours as relations. To relate the behaviours of encapsulated components, we model and relate behaviours at different levels of abstraction.
We propose to automate this process to provide automated interface
synthesis for system integration.
TransparenciesPowerpoint transparencies available here .
|©2002-2018 U.C. Regents|