Interlanguage Communication Synthesis for Heterogeneous Specifications

Autor: Hessel, F., Coste, P., Lemarrec, P., Zergainoh, N., Nicolescu, G., Daveau, J.M., Jerraya, A.A.
Přispěvatelé: Thomson Microelectron (CENTRAL R&D SGS), Thomson, Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), IBM [Yorktown] (IBM), IBM, Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)
Jazyk: angličtina
Rok vydání: 2000
Předmět:
Zdroj: Design Automation for Embedded Systems
Design Automation for Embedded Systems, Springer Verlag, 2000, August 2000, Volume 5, Numbers 3-4, pp.223-236. ⟨10.1023/A:1008945917092⟩
ISSN: 0929-5585
1572-8080
DOI: 10.1023/A:1008945917092⟩
Popis: 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 interlanguage communication synthesis of heterogeneous specifications. The system is represented by a set of interconnected subsystems specified in different languages with different concepts, different interface types, different communication schemes and some of them can even be IP modules. The subsystems exchange data through abstract communication channels. The objective is to refine the abstract communication channels into an implementation. The result is a set of interconnected processors communicating through signals, buses and dedicated components. An example illustrates the usefulness of this approach for the design of an adaptive speed control system that was described in SDL and Matlab.
Databáze: OpenAIRE