Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00">  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li> <ul> <li><a name="tex2html400" href= "resul_module-16_mn.html#SECTION00061010000000000000" target="main" id="tex2html400"><small>Évolutions du langage</small></a></li> <li><a name="tex2html401" href= "resul_module-16_mn.html#SECTION00061020000000000000" target="main" id="tex2html401"><small>Environnement Signal</small></a></li> </ul> </li> </ul> <hr /> <h2><a name="SECTION00061000000000000000" id= "SECTION00061000000000000000">Évolutions de Signal et de son environnement</a></h2> <a name="EPATR_resultats_module-16" id= "EPATR_resultats_module-16"></a> <p><a name="V4" id="V4"></a></p> <p><strong>Mots clés :</strong> <i>programmation synchrone, Signal, format commun, DC+, transformation de programme .</i></p> <p><br /> <br /> <span class="textbf">Participants :</span> Loïc Besnard, Patricia Bournai, Thierry Gautier, Paul Le Guernic.<br /> <br /></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>La version actuellement diffusée de Signal, Signal V4, a été définie en coopération avec la société <small>TNI</small> (FranÇois Dupont), qui développe et commercialise l'environnement Sildex issu des travaux sur Signal. Elle est progressivement enrichie dans le sens d'une meilleure expressivité, et son environnement est amélioré de manière à en assurer une diffusion plus large.</i> </div> <h4><a name="SECTION00061010000000000000" id= "SECTION00061010000000000000">Évolutions du langage</a></h4><br /> Afin d'alléger la description des interfaces de processus, mais aussi afin de permettre de partager des «variables» entre processus (dans une optique d'environnement de description d'architecture, comme proposé par le projet SafeAir), nous avons apporté une modification syntaxique importante des règles de visibilité des signaux dans un programme Signal. On étend aux signaux la règle de visibilité actuellement appliquée aux constantes, aux types, aux processus et aux paramètres. Un signal peut donc être défini ou utilisé dans un processus sans que ni une déclaration locale ni une déclaration dans l'interface ne lui corresponde. On applique pour la détermination de la déclaration correspondant à une occurrence de signal les règles standards des langages à blocs. Cette modification se couple avec l'«affectation multiple» (syntaxique) de signaux, notée <tt>X ::= E</tt> et équivalente à une équation <tt>X := E default X</tt>. Les horloges d'affectation à <tt>X</tt> doivent être exclusives si on veut éviter le non déterminisme. Notons que ces extensions sont aussi très utiles lorsqu'il s'agit de spécifier en Signal des automates de type Statecharts par exemple. <p>D'autres extensions sont actuellement à l'étude : nous envisageons ainsi d'offrir une syntaxe légère pour utiliser les opérateurs standards, arithmétiques par exemple, sous une forme asynchrone, qui n'exige pas la présence simultanée des deux opérandes pour qu'un résultat soit défini.</p> <p>Dans le cadre du projet SafeAir, nous avons effectué une comparaison précise des langages Signal et Lustre (dans sa version industrielle, Scade [<a href= "bibliographie_Toc.html#safeair-W1-2-2000" target= "contents">36</a>]). Nous prévoyons de pouvoir lire et produire du Scade depuis l'environnement Signal [<a href= "bibliographie_Toc.html#safeair-D1-12-2000" target= "contents">37</a>]. Certains traits du langage Lustre pourraient être introduits dans Signal, ainsi la possibilité de déclarer l'horloge d'un signal.</p> <h4><a name="SECTION00061020000000000000" id= "SECTION00061020000000000000">Environnement Signal</a></h4><br /> Cette année, nous avons intégré l'appel aux fonctionnalités de compilation dans le programme Signal qui supervise l'environnement Signal. Ainsi, l'utilisateur peut désormais compiler ses applications de manière interactive. <p>La résolution des références aux objets du langage (signaux, processus) a été complètement revue afin de prendre en compte la nouvelle visibilité des identificateurs.</p> <p>De plus, l'environnement s'est enrichi cette année :</p> <ul> <li>d'un générateur de code C++ ;</li> <li>d'un générateur de code Java, avec certaines restrictions ;</li> <li>de fonctions intrinsèques d'entrées/sorties permettant une simulation rapide clavier/écran ;</li> <li>de la possibilité d'associer à un processus externe, sous forme de <em>pragmas,</em> le texte à engendrer lors de la production de code ;</li> <li>d'une bibliothèque graphique écrite en Java et accessible d'une application Signal en vue d'une simulation graphique. Cette bibliothèque inclut les créations de boutons, réglettes, canevas... Ainsi les applications engendrées sont portables sous Unix et Windows ;</li> <li>de la possibilité de création de bibliothèques d'icÔnes. Ces icÔnes sont vues comme des processus Signal.</li> </ul> <p>Un travail important de documentation a été entrepris afin de diffuser l'environnement en tant que logiciel libre disponible sur le Web.</p> </body>