Abstract:
The forthcoming Lustre V6 language will no longer be compatible with the old V4 version: V6 will be clearly software-oriented, and the hardware-oriented features (static recursion, recursive arrays) are no longer supported. More precisely, Lustre V6 propose a simple mechanism of packages and models (i.e. templates), a better support for data-types (enumerated and structured), and a set of pre-defined iterators for array manipulation. Moreover, it provides a new imperative construct, called "case-activation", which generalized the classical "activation condition" of Scade, and that will allow the implementation of mode-automata.

Slides (.pdf)