Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example

Loïc Besnard (1) , Patricia Bournai (1) , Thierry Gautier (1) , Nicolas Halbwachs (2) , Simin Nadjm-Tehrani (3) , Annie Ressouche (4)

1 EP-ATR - Environnement de programmation d'applications temps réel
2 VERIMAG - IMAG - VERIMAG
3 Department of Computer and Information Science - Linköping University
4 ORION - Intelligent environments for the resolution of problems for autonomous systems

This paper describes a multi-formalism experiment design in the domain of real-time control systems. It uses several synchronous languages on a case studu which is a realistic industrial example. Co-simulation is provided through the use of a common format, and automatic distributed code generation is experimented in the context of the graphical environment of the data-flow language Signal.

Domaines: Systèmes embarqués

Loïc Besnard, Patricia Bournai, Thierry Gautier, Nicolas Halbwachs, Simin Nadjm-Tehrani, et al.. Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example. Manolis Gergatsoulis and Panos Rondogiannis. Intensional Programming II (Based on the Papers at ISLIP '99), World Scientific, pp.149-167, 2000. ⟨hal-00546676⟩