RS5601E - Advanced system modelisation

Objectifs

Objectif général :

Students will be able to design models in synchronous dataflow languages

Objectifs détaillés :

Students will

have knowledge of the synchronous dataflow paradigm
be able to use basic Lustre. They will master its syntax and semantics.
have knowkledge of more advanced Lustre features: clocks and automaton.
be familiar with different approaches to specify requirements in this paradigm: synchronous observers and assume/guarantee contracts.
be able to compile their Lustre model into C code and run it