Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00063000000000000000" id= "SECTION00063000000000000000">Multi-formalisme et modélisation synchrone de la norme <small>IEC 1131</small> de programmation des systèmes de contrÔle</a></h2>  <a name="EPATR_resultats_module-18" id= "EPATR_resultats_module-18"></a> <p><a name="norme-iec" id="norme-iec"></a></p> <p><br /> <br /> <span class="textbf">Participants :</span> Fernando Jiménez Fraustro, Paul Le Guernic.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>programmation synchrone, Signal, automatismes industriels, norme IEC 1131, Grafcet .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Dans le prolongement des approches multi-formalisme que nous avions adoptées dans les projets européens Synchron, Sacres et Syrf avec le format commun <small>DC+</small>, nous considérons une telle approche dans le contexte des langages de la norme <small>IEC 1131</small> concernant les automatismes industriels (ces langages comportent le formalisme du Grafcet ainsi que différents langages graphiques et textuels).</i> </div> <p>Ce travail se fait en coopération avec Éric Rutten (projet Bip, Inria RhÔne-Alpes).</p> <p>Les systèmes de contrÔle industriels sont des systèmes à la fois complexes et à la sécurité critique. Leur conception repose sur des standards, tels que la norme de l'International Electrotechnical Commission <small>IEC</small> 1131 [<a href= "bibliographie_Toc.html#iec1131" target= "contents">IEC93</a>], et en particulier sa partie <small>IEC</small> 1131-3 concernant les langages de programmation. Nous travaillons à l'intégration de ce standard de spécification et de l'environnement de programmation synchrone Signal : il s'agit d'établir un modèle de ces langages, visant à offrir à de telles spécifications l'accès aux outils d'analyse et de mise en oeuvre des techniques synchrones.</p> <p>Les langages concernés sont deux langages textuels : <em>Instruction List</em>, <small>IL</small>, proche de l'assembleur, et le texte structuré <em>Structured Text</em>, <small>ST</small>, un langage impératif séquentiel, de la famille de Pascal, Ada, ou C ; et deux langages graphiques : les schémas à relais ( <em>Ladder Diagrams</em>, <small>LD</small>), et les diagrammes de blocs-fonctions ( <em>Functional Block Diagrams</em>, <small>FBD</small>). En plus de ces langages, la norme utilise une variante de Grafcet, <small>SFC</small> ( <em>Sequential Function Charts</em>), comme langage graphique pour la modélisation des aspects des fonctions de commandes séquentielles des systèmes de contrÔle. Le tout fonctionne dans le contexte d'un schéma d'exécution cyclique, faisant intervenir une notion de pas de réaction ou <em>scan</em>.</p> <p>On a construit un modèle en Signal du langage <small>ST</small> [<a href="bibliographie_Toc.html#ree00" target="contents">13</a>]. Il combine expansion spatiale (codant les affectations en séquence dans un même instant synchrone) et temporelle (pour les itérations non bornées, en utilisant le mécanisme de sur-échantillonnage de Signal). Il a été mis en oeuvre dans un prototype écrit en Java. On a aussi construit un modèle du langage <small>FBD</small> (blocs diagrammes fonctionnels), langage de type blocdiagrammes, mais présentant des mécanismes de synchronisation et passage de données différents de ceux de Signal. Enfin, le niveau des unités d'organisation de programmmes (<small>UOP</small>) a été modélisé. C'est le niveau structurel encapsulant tout programme écrit dans un des langages de la norme. Par ailleurs, une expérimentation de la connexion depuis ces langages vers les fonctionnalités de l'environnement Signal a été menée, concernant la liaison entre Signal et Simulink [<a href= "bibliographie_Toc.html#adpm00" target="contents">20</a>]. La spécification d'un contrôleur pour un système de pompage a été faite en une <small>UOP</small> programmée en <small>ST</small>, et le modèle Signal connecté avec un modèle de la dynamique de ce système.</p> </body>