Patent ID: 7823014

Claim:
A method for ensuring the reliable operation of the program computing means (PCM) including at least: a processor operating under the control of a predetermined operating system and intended for processing data under the control of at least one program being executed; a core memory intended for storing said at least one program being executed and data being processed; time interval sequence generators; the method comprising steps of: defining in advance at least one state of said program being executed different from the start and end states thereof, which state being hereinafter referred to as the restart point and intended for resuming the operation of said program being executed after a failure during execution thereof; when executing, in the PCM, said program being executed, in the case of failure occurrence, determining, due to respective monitoring, the following failures in the PCM operation: a) an error in storing the core memory content, which error being hereinafter referred to as the M-type interruption and determined by checking a respective part of the core memory content; b) a control transfer to a wrong command, which transfer being hereinafter referred to as the C-type interruption and determined by monitoring the correctness of every control transfer in the processor; and c) various time interruptions being hereinafter referred to as the T-type interruptions determined by monitoring a run duration of a respective part of said program being executed and said predetermined operating system; while processing a respective one of said interruption types and upon occurrence of anyone of the failures being recognizable, in the case of allowable conditions for continuing the operation, restarting the execution of said program being executed beginning with the nearest restart point of said program being executed preceding to this interruption; if the determined failure appears again during the following attempts to restart said program being executed, stopping the execution of said program being executed and recording the presence of the respective failure during execution of said program being executed.