Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages

Le séminaire sera donné en anglais.

Engagé depuis longtemps avec son équipe dans l’enseignement et les applications d’Esterel, Reinhard von Hanxleden a récemment simplifié et étendu les principes d’Esterel en généralisant la notion de séquentialité constructive à un traitement plus général de variables partagées synchrones dans les langages classiques. Cette extension permet des changements multiples de leurs valeurs dans un même instant, chose interdite aux signaux d’Esterel, ainsi qu’un meilleur traitement des initialisations. Cette nouvelle vue sémantique n’est pas pertinente pour les circuits électroniques mais elle est naturelle pour les applications logicielles. Elle a conduit à la création du nouveau langage SCL fondé sur C et accompagné du langage graphique SCCharts ainsi que et du langage SCEst qui étend Esterel avec la nouvelle sémantique. Tous ces points seront illustrés par de nombreux exemples.

Note de G. Berry : Je considère personnellement cette extension comme très habile, gommant certaines difficultés dues au design original d’Esterel et mieux compatible avec la programmation logicielle classique. Si elle est bien développée, elle pourrait avoir une importance pratique considérable.