Clocks as Types
in Synchronous Dataflow Languages
Marc Pouzet LRI & INRIA Univ. Paris-Sud 11 Orsay
IFIP WG 2.8 – 9/06/2009
(joint work with Albert Cohen, Louis Mandel, Florence Plateau)
erproth(sessscer-ve/oubgnilpmas;)ivesimitalwitodewonahtlsptorfdsa
is programmed by writing, e.g :
Y = (0 -> a * pre(Y)) + Z; Z = b * X
Y0=bX0∀n Yn+1=aYn+bXn+1
WG2.8 meeting
Synchronous Dataflow Languages
E.g, the linear filter :
we writeniantsvari not necessarily periodic
2/38
Model/program critical embedded software.
The idea of Lustre : directly write stream equations asexecutable specifications provide aipmocreland associated analyzing tools to generate embedded code
