Abstract

This paper presents a new method for modelling and synthesising a wide range complex communication schemes. These schemes can range from simple protocols that govern access to shared resources to complex protocols that are commonly used in software-only systems such as computer networks. The proposed communication synthesis method deals with both protocol and interface synthesis and is based on communication unit allocation. We highlight within this paper the usefulness of this method when synthesising communication schemes for mixed hardware/software systems.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call