логический контроль очерёдности выполнения команд программы(метод контроля состояния неисправности/ошибки, в котором логически контролируют выполнение программной последовательности. Примерами являются использование ведущих учёт подпрограмм или отдельных данных в самой программе или в независимых устройствах контроля. ГОСТ IEC 60730-1-2016 ssn)
контроль интервалов времени в программной последовательности(метод контроля состояния неисправности/ошибки, в котором устройства учёта времени (таймеры) с независимой временной разверткой периодически активируют для наблюдения за функционированием и последовательностью выполнения программы. Примером является сторожевой таймер. ГОСТ IEC 60730-1-2016 ssn)