Calcul des etats atteignables de programmes Esterel partitionne ...

2.1. ESTEREL 11– abort p when S : préemption forte. Interrompt l’exécution de p dès la réception de S.– weak abort p when S : préemption faible. Dès la réception de S, exécute les dernièresréactions instantanées du bloc p avant d’interrompre son exécution.Par défaut, les instructions suspend, await, every et abort/weak abort ne réagissent à laprésence du signal S qu’à partir de l’instant suivant leur première activation. Le langage étendudéfinit le mot-clé immediate qui, dans un exemple comme “abort p when immediate S”, permetde réagir à la présence de S dès le premier instant.Un simple exemple. Le programme Esterel suivant modélise une porte automatique dontle comportement consiste à s’ouvrir dès qu’un utilisateur appuie sur un bouton. La porte resteouverte pendant un délai de trois secondes après la dernière demande d’ouverture, puis sereferme. Le temps et le bouton d’ouverture sont les entrées du programme (portées par dessignaux purs, SECONDES et BOUTON). Comble de modernité, un système de sécurité empêche lafermeture de la porte quand une présence est détectée (signal PRESENCE). Le signal OUVERTUREen sortie indique si la porte est ouverte :module porte:input BOUTON, SECONDES, PRESENCE;output OUVERTURE;every BOUTON dotrap FERMER inawait 3 SECONDES;suspend exit FERMER when immediate PRESENCE||sustain OUVERTUREend trap;end everyend moduleLes données en Esterel. Dans sa version complète, le langage permet aussi de manipulerdes données : booléens, entiers, flottants et chaînes de caractères. Nous avons présenté la partiecontrôle auparavant car elle constitue la partie novatrice du langage Esterel. Le traitementdes données est plus classique et souvent délégué à un langage hôte plus généraliste comme C ouJava. Par ailleurs, Esterel procure également un mécanisme capable de créer et de manipulerses propres structures de données par une interface avec le langage C. Ces données peuventêtre manipulées par le biais de simples variables ou bien être transmises par des signaux. Dansce second cas, un signal est caractérisé à la fois par son statut de présence ou d’absence etpar la valeur qu’il transporte, ces deux notions étant orthogonales. Par exemple, un signal detype booléen peut être à la fois présent et faux ou bien absent et vrai. La valeur portée parun signal demeure inchangée tant que le signal n’est pas émis. La valeur d’un signal demeuredonc indéfinie ou bien initialisée à une valeur par défaut jusqu’à ce que le signal soit émis pourla première fois. A la différence d’une variable, un signal ne peut pas prendre plusieurs valeurssuccessives au cours d’un même instant.Le langage propose évidemment quelques opérations de base : opérateurs logiques et arithmétique,manipulation de chaînes de caractères, instruction de test sur les variables, etc. . . En