Abstract
The design of industrial sequence control systems, such as power plants, is often carried out by the modification of an old design. The paper describes a new method to verify whether the functional change caused by the modification may influence the unmodified portion or not.Assume that a portion A of an original system is modified to A', and the remaining unmodified portion is B. The portion A and the modified portion A' include a controller part and controlled devices.Both A and A' are converted into timed petri nets: TPN (A) and TRN (A'). TPN (A) and TPN (A') have inputs I which are signals from B and outputs O which are signals to B. As B is affected by the outputs O, the change of outputs O is examined.In order to check the difference between A and A', TPN (A) and TPN (A') are converted into automata with the reachability tree. In this conversion, only stable markings, in which no transition is ‘firable’ if the inputs (I) never change, are selected as the states of the automata. The inputs, the state transitions and the outputs of the automata are obtained from the inputs (I), the change of markings and the outputs (O) of TPN (A) and TPN (A'), respectively.The paper shows that the functional change is easy to verify by comparing the automata's output functions of the old design and the new one. Besides, the automata are used to generate test inputs to check the functional change.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Transactions of the Society of Instrument and Control Engineers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.