Implementation of the data-flow synchronous language SIGNAL

Tochéou Pascalin Amagbegnon (1) , Loïc Besnard (1) , Paul Le Guernic (1)

1 EP-ATR - Environnement de programmation d'applications temps réel

This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the compiler lies in the use of a tree structure to solve the equations.

Domaines: Systèmes embarqués

Tochéou Pascalin Amagbegnon, Loïc Besnard, Paul Le Guernic. Implementation of the data-flow synchronous language SIGNAL. ACM SIGPLAN Notices, 1995, 30 (6), pp.163-173. ⟨10.1145/223428.207134⟩. ⟨hal-00544128⟩