Clocks as Types in Synchronous Dataflow Languages

Marc Pouzet

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

• Plateau
• Mandel

Informations

• Publié par: pefav
• Nombre de lectures: 9
• Langue: English

Extrait

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

Y 0 =bX 0 ∀n Y n+1 =aY n +bX n+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