Calcul des etats atteignables de programmes Esterel partitionne ...

10 CHAPITRE 2. CONTEXTE DE L’ETUDE(a) (b) (c)Fig. 2.1 – Différents types de programmes : transformationnel (a), réactif (b), synchrone (c).En réalité, la réaction de durée nulle n’est qu’une abstraction. Une hypothèse équivalente maisplus réaliste consiste à dire que le temps est divisé en une séquence d’instants logiques. Lesinstants logiques sont vus comme des intervalles de temps communs à tous les composants etsont deux à deux disjoints. A l’intérieur de ces instants, chaque réaction est non interruptibleet termine forcément avant le début de l’instant suivant.L’hypothèse synchrone permet de définir clairement les notions de simultanéité entre occurrencesd’événements ainsi que la notion d’absence d’un événement.En plus des constructions classiques des langages impératifs (séquence, boucle, if-then-else),le noyau du langage Esterel procure un opérateur de parallélisme ainsi qu’un mécanisme d’exceptionet de suspension. La communication entre les différentes parties actives du programmeest réalisée par la diffusion de signaux purs (un signal est soit présent soit absent). Cette communicationest instantanée, ce qui signifie qu’un signal est reçu à l’instant précis où il est émis.Une réaction consiste en une propagation des entrées vers les sorties. Cette propagation passepar l’utilisation de variables et de signaux locaux. A chaque instant, un signal peut être émis,donc présent ou bien ne plus être émissible, donc absent. L’absence d’un signal est donc unenotion effective et non une notion implicite. Les instructions du langage noyau sont :– nothing : l’instruction vide du langage.– pause : cette instruction marque un délai, elle se met en attente de l’instant suivant.– emit S : instruction de durée nulle qui provoque l’émission du signal S.– present S then p else q end : test de présence d’un signal.– suspend p when S : suspend l’exécution du bloc p chaque fois que S est reçu.– p;q : opérateur de séquencement. L’exécution de q suit immédiatement l’exécution de p.La notion de séquence est orthogonale à la notion d’instant. Ainsi, la fin du bloc p et ledébut du bloc q peuvent s’exécuter au sein d’une unique réaction (de durée nulle d’aprèsl’hypothèse synchrone).– loop p end : exécute le bloc p en boucle. p ne doit pas être instantané.– p || q : opérateur parallèle. L’exécution termine lorsque p et q ont tous les deux terminé.– trap T in p end : exécute le bloc p jusqu’à la levée d’une exception T ou bien jusqu’à-ceque p termine.– exit T : lève l’exception T.– signal S in p end : déclaration d’un signal local dans p.A partir du langage noyau, d’autres instructions d’usage fréquent ont été introduites. Parmielles :– halt : équivalent de loop pause end.– await S : attend la réception du signal S.– sustain S : émet S à chaque instant.– every S do p end : démarre l’exécution de p à chaque réception du signal S.