Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
Open to all
-

The seminar is in English.

Abstract

Reinhard von Hanxleden and his team have long been involved in teaching and applying Esterel, and have recently simplified and extended Esterel's principles by generalizing the notion of constructive sequentiality to a more general treatment of synchronous shared variables in classical languages. This extension allows for multiple changes of their values in the same instant, something not possible with Esterel signals, as well as better handling of initializations. This new semantic view is not relevant to electronic circuits, but is natural for software applications. It has led to the creation of the new SCL language, based on C and accompanied by the graphical language SCCharts, as well as the SCEst language, which extends Esterel with the new semantics. All these points were illustrated by numerous examples.

Note from G. Berry : I personally consider this extension to be very clever, erasing certain difficulties due to Esterel's original design and making it more compatible with classic software programming. If well developed, it could be of considerable practical importance.

Speaker(s)

Reinhard von Hanxleden

Kiel University