F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), (3):60-68, March 2000.
Dans le domaine des automatismes industriels, les contrôleurs ont souvent une grande criticité quant à la sûreté de leur opération, et une grande complexité. Leur conception sûre et leur analyse requièrent donc le support d'outils automatisés. L'approche synchrone propose justement des méthodes formelles pour lesquelles il existe une technologie effective et industrielle, offrant un support pour la vérification, la simulation, l'évaluation des performances, la compilation et génération de code. Notre approche consiste à étudier la norme CEI 1131-3 en vue de son intégration avec la technologie synchrone dans un environnement de conception. On présente en particulier des résultats de modélisation du langage ST en Signal
Fernando Jiménez
Eric Rutten
@article{jimenez00b,
Author = {Jiménez, F. and Rutten, E.},
Title = {Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage {ST} de la norme {CEI} 1131-3},
Journal = {Revue de l'électricité et de l'électronique (SEE)},
Number = {3},
Pages = {60--68},
Month = {March},
Year = {2000}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.