//img.uscri.be/pth/3f9662c13fec621477971f1cb9bb689ba945fceb
Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Clocks as Types in Synchronous Dataflow Languages

De
38 pages
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)

  • kahn semantics

  • message communication into

  • no explicit

  • synchronous dataflow

  • program critical embedded


Voir plus Voir moins
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=bX0n 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
An
example
WG2.8
meeting
of
a
SCADE
sheet
3/38