Communication interface synthesis for multilanguage specifications

Nowadays the design of complex systems requires the cooperation of several teams belonging to different cultures and using different languages. It is necessary to dispose of new design and verification methods to handle multilanguage approaches. This paper presents an approach for the communication interface synthesis of multilanguage specifications. In the proposed approach, communication synthesis allows to transform a system composed of subsystems, described in different languages that communicate via different communication primitives through communication channels, into a set of interconnected processors that communicate via signals and share communication controls. An example illustrates the usefulness of this approach for the design of an adaptive speed control system that was described in SDL and Matlab