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