Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00023000000000000000" id= "SECTION00023000000000000000">Conception synchrone</a></h2>  <a name="EPATR_presentation_module-4" id= "EPATR_presentation_module-4"></a> <p><strong>Mots clés :</strong> <i>conception synchrone, Signal, contraintes, non-déterminisme, système réactif .</i></p> <p>L'idée assez simple du modèle de <em>conception synchrone</em> est de considérer qu'un programme plongé dans un environnement (constitué de procédés, d'opérateurs, d'autres programmes), interagit significativement avec cet environnement au travers d'un ensemble fini de supports de communication à des instants formant un ensemble dénombrable partiellement ordonné. À chaque instant, plusieurs actions (messages reÇus, émis, calculs...) peuvent être effectuées ; elles sont alors simultanées et possèdent un même indice temporel. L'écoulement du temps résulte des successions de ces communications, mais aussi de changements explicites décrits dans l'algorithme que le programme met en oeuvre (par exemple pour une équation  <span class="MATH"><i>y</i><sub>t</sub> = <i>f</i> (<i>x</i><sub>t - 1</sub>)</span>, la sortie <span class= "MATH"><i>y</i></span> sera simultanée à chaque occurrence suivante de l'entrée <span class="MATH"><i>x</i></span>). Selon les formalismes, les sorties calculées sont, sauf changement explicite dans le programme, soit simultanées aux entrées qui ont provoqué leur calcul comme dans les langages Esterel, Lustre ou Signal, soit produites à l'instant suivant comme dans Statemate ou <small>VHDL</small> par exemple.</p> <p>Le langage Signal [<a href= "bibliographie_Toc.html#art-ProcIEEE-91-gen_lang" target= "contents">8</a>], conÇu et mis en oeuvre dans le projet, est de plus, comme Lustre, construit selon une approche flot de données faisant d'un programme un système d'équations. À la différence de ce qui se passe en Lustre, le système d'équations d'un programme Signal décrit par une <em>relation</em> des <em>contraintes</em> entre les signaux d'entrée et de sortie du système ; ceci permet d'utiliser Signal pour donner des spécifications partielles ou décrire des comportements non déterministes. Cette banalisation (néanmoins partielle) des entrées et des sorties permet en outre la spécification et la programmation de systèmes <em>réactifs</em> [<a href="bibliographie_Toc.html#harel85" target="contents">HP85</a>] mais aussi <em>«pro-actifs»</em> (pouvant par exemple contraindre leurs entrées).</p> </body>