Abstract:
This paper studies the validation of both the behavioral model and the implementation program of an automated system. To clarify our approach, we use a small production l...Show MoreMetadata
Abstract:
This paper studies the validation of both the behavioral model and the implementation program of an automated system. To clarify our approach, we use a small production line whose control algorithm is built using signal interpreted Petri nets, validated using model-checking techniques and translated into a sequential function charts (SFC) implementation program. This program is then validated anew. Using this example, we show the utility of those two validation steps before the final implementation of the program on a programmable logic controller (PLC).
Date of Conference: 08-10 May 2002
Date Added to IEEE Xplore: 07 November 2002
Print ISBN:0-7803-7298-0
Print ISSN: 0743-1619