An environment for modeling communicating reactive systems

In this paper, we describe an environment which can be used to specify and implement distributed reactive system e.g., globally asynchronous, locally synchronous systems (GALS). We have extended state-charts called as communicating statecharts(CS), with primitives for handling synchronous and asynchronous communication through channels. We also show how to convert the CS specifications into Esterel which enable us to use code generation and verification capabilities in Esterel suite of tools.