Synthesis of Concurrent Modular Controllers from Algorithmic Descriptions

An approach for the synthesis of highly complex controllers is presented. As source description a concurrent algorithm is used. It is assumed that usually such a description is organized in a modular manner or can be partitioned into modules by the synthesis algorithm. The synthesis algorithm produces cooperating clocked FSMs with an asynchronous global communication mechanism. Modified Petri nets are used for the specification of the concurrent algorithm to be implemented and as implementation method. In this paper we describe how the FSM modules are identified by the implementation algorithm and mapped onto standard realizations. Furthermore, our implementation method of the asynchronous inter-module communication is presented.