Checking programmed controller operation
AssigneeInternational Business Machines Corporation
InventorsWilliam C. Dodt, Edward P. Lutter
Life of this patent
Estimating the term…
Abstract
Programmed controllers execute sequences of control functions for controlling a device. External noise can cause controller malfunctions on critically operated devices. Proper sequencing is verified by assigning access key/check codes to particular sequences. A check key code is generated during execution of a sequence only if the sequence is properly executed by the programmed controller. At completion of the control sequence, the generated code is compared with the access or original code for verifying appropriate programmed controller sequencing. Several sequences can be embedded or nested in each other, each having its own check key with the overall sequence also having an independent check key.
Claims6
The method of verifying proper execution of sequential control functions used for controlling a device, the steps of:
- accessing a control program having a plurality of instruction words for enabling execution of a sequence of control steps;
- storing a check key at a predetermined memory location having a predetermined address relationship to an end instruction word location of said control program to be executed,
- executing said control program in a programmable controller whereby said device is operated in accordance with said control program, at predetermined points of said execution of said control program generating portions of said check key whereby at said last instruction word location generated check key is generated whenever said control program has been correctly executed, and
- comparing said generated check key with said stored check key for verifying proper programmed control of said device.
A sequencer for sequencing operations of a device being controlled in a sequence of operations, the improvement including in combination:
- a sequencing mechanism having a plurality of sequencing states;
- means establishing an initiate signal in said sequencing mechanism and a supplied check key for said sequencing mechanism;
- means responsive to said initiate signal to actuate said sequencing mechanism;
- means storing said supplied check key;
- a plurality of check means in said sequencing mechanism respectively responsive to different ones of said sequencing states to generate a predetermined portion of said supplied check key;
- means connected to said plurality of check means for accumulating said predetermined portions of said check key to supply a generated check key;
- and
- means operative at a predetermined one of said sequence states to compare said generated check key with said supplied check key for verifying operation of said sequence in controlling said device in said sequence of operations.
The method of operating a sequential state machine operble only in predetermined sequences of operations, the steps of:
- receiving a command set of signals indicating one or more machine sequences to be executed;
- decoding said command set of signals and selecting a machine sequence indicated thereby;
- fetching a check key set of signals associated with said selected machine sequence and storing same,
- reset a function key register to a reference state,
- then;
- repeat steps (1) through (3) inclusive until said machine sequence has been completed:
- (1) perform a predetermined portion of said machine sequences in accordance with step repetition;
- (2) upon completion of such predetermined portion, generate a corresponding function key portion;
- (3) fetch the signal contents of said function key register and alter the signal contents thereof by said function key portion whereby an accumulated function key is generated in accordance with a number of repetitions of steps (1), (2) and (3);
- upon completion of said machine sequences compare the signal contents of said function key register with said check key set of signals, detecting a predetermined relationship from said comparison to indicate successful completion of said machine sequences in the order of repetition of said step (1).
Dependencies are inferred from the claim text.