Claude Castelluccia and Walid Dabbous
INRIA, 2004 Route des Lucioles
BP-93, 06902 Sophia Antipolis Cedex, FRANCE
In this paper, we propose a flexible model which uses a synchronous language to synthesize communication subsystems from functional building blocks. We provethe feasibility of our approach by implementing a data transfer protocol using Esterel, a synchronous language. Communication subsystem specifications in our model are very modular; they are composed of parallel modules, implementing the different functionalities of the communication subsystem, which synchronize and communicate using signals. The Esterel compiler generates from this parallel specification a sequential automaton by resolving resource conflicts. The design flexibility of our approach is demonstrated; modules are selected according the application requirements and compiled to generate an integrated implementation.
To Become a USENIX Member, please see our Membership Information.