SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL

Pascale Marange, François Gellot, Bernard Riera

2007

Abstract

We propose in this paper, to introduce a method to validate logic controller programs adapted to the teaching of Discrete Event Systems. The use of real systems for teaching raises two problems. The first one concerns the security of human beings (students and teachers) and materials. The second problem is the necessity to be able to detect possible errors done by students and to bring an explanation. We propose a method to define a level of system abstraction, to validate the student’s control by the mean of a validation filter placed between the plant and the controller. The specifications contained in the filter make it possible to detect errors and to generate an explanation automatically. We applied this method to an original project where it was proposed to 7 year-old children, to discover automation, by programming a tablets packaging system.

References

  1. Behramm G., David A., Larsen K.G., A tutorial on UPPAAL, novembre 2004
  2. Canet G., Vérification automatique de programmes écrits dans les langages IL et ST de la norme IEC, thèse de doctorat, Ecole Normale Supérieur de Cachan. December 2001
  3. Cruette D., Méthodologie de conception des systèmes complexes a événements discrets : application à la conception et à la validation hiérarchisée de la commande de cellules flexibles de production dans l'industrie manufacturière, Thèse de doctorat, Université de Lille, 1991
  4. International Electrotechnical Commission, Preparation of function charts for control systems, International Standard, CEI/IEC 848, 1991 (revised version).
  5. I.G.L. Technology, SADT, un langage pour communiquer, Eyrolles, Paris, 1989.
  6. Kumar R., Supervisory Synthesis Techniques for Discrete Event Dynamical Systems, Thesis for Ph. D. Degree, Université du Texas, 1991.
  7. Lampérière S., Lesage J.J, Formal verification of the sequential part of PLC programs, Proc. Of 5th IFAC Wodes, pp 247-254, Ghent, Belgium, August 2000
  8. Machado, Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à événements discrets, Thèse de doctorat de l'école normale supérieure de Cachan et de l'université de Minho (Portugal), juin 2006
  9. Riera B., Gellot F., Marangé P., Chemla J-P., Sayed Mouchawed M., Un projet original en commande et supervision des systèmes automatisés : Des enfants de 5ans au secours d'animaux malades !, CETSIS'05, Nancy, France, 25-27 octobre 2005
  10. Tajer A., Marangé P., Gellot F., Carré Ménétrier V., Synthèse d'une commande supervisée à base de contraintes logiques, revue électronique e-STA , 2006
  11. Tardieu H., A. Rochfeld, R. Colletti, La méthode Merise - Principes et outils, Edition d'organisation, 2000
  12. Wonham W. M., Ramadge P.J., On the supremal controllable sublanguage of has given language, SIAM J Control Optimization, flight 25, n°3, p.637-659, 1987
Download


Paper Citation


in Harvard Style

Marange P., Gellot F. and Riera B. (2007). SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-84-9, pages 111-116. DOI: 10.5220/0001652101110116


in Bibtex Style

@conference{icinco07,
author={Pascale Marange and François Gellot and Bernard Riera},
title={SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2007},
pages={111-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001652101110116},
isbn={978-972-8865-84-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - SAFETY VALIDATION OF AUTOMATION SYSTEMS: APPLICATION FOR TEACHING OF DISCRETE EVENT SYSTEM CONTROL
SN - 978-972-8865-84-9
AU - Marange P.
AU - Gellot F.
AU - Riera B.
PY - 2007
SP - 111
EP - 116
DO - 10.5220/0001652101110116