Clocks as Types in Synchronous Dataflow Languages

-

Documents
38 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

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


Sujets

Informations

Publié par
Nombre de visites sur la page 9
Langue English
Signaler un problème
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