Title | ||
---|---|---|
Safety Validation Of Automation Systems: Application For Teaching Of Discrete Event System Control |
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. |
Year | Venue | Keywords |
---|---|---|
2007 | ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL | discrete event systems, validation, control, functional identification, learning |
Field | DocType | Citations |
Discrete event system,Automation,Control engineering,Engineering | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pascale Marange | 1 | 13 | 3.12 |
François Gellot | 2 | 13 | 4.47 |
Bernard Riera | 3 | 24 | 8.31 |