Morning Tutorial - October
the 31st
Tutorial
1.1: Embedded
system design with the polychronous paradigm
This tutorial shall
briefly review formalisms based on the synchronous paradigm (Simulink,
Statemate, the synchronous languages) and introduce the Signal language
as one instance of the polychronous paradigm. Polychrony offers
parallelism and concurrency. The associated composition operation is
simplest possible, mathematically: regard a program as a set of
stateful equations and interpret parallel composition as systems of
such equations. (Examples of stateful equations are differential or
difference equations).
Albert Benveniste, IRISA,
France
Hall 1
