Publications

Publications

< retour aux publications

Communication interface synthesis for multilanguage specifications

Auteur(s) : F. Hessel, P. Coste, Ph. Le Marrec, N.-E. Zergainoh, J.- M. Daveau, A. A. Jerraya

Doc. Source: IEEE International Workshop on Rapid System Prototyping (RSP'99)

Publisher : IEEE

Pages : 15-20

Doi : 10.1109/IWRSP.1999.779025

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.