Механизмы обеспечения безопасности 3.6 Логический и временной контроль исполнения программы К онтроль исполнения программы Ошибки могут исказить правильное выполнение программы. Это может быть обнаружено с помощью логического контроля выполнения программы, контроля ее выполнения по времени и контроля потока данных. Логический контроль исполнения программы и потока данных Во время компиляции в схему CFC автоматически вставляются отказобезопасные блоки для логического контроля исполнения программы и потока данных: в каждую исполняемую группу с отказобезопасными блоками вставляется один блок F_PLK и один блок F_PLK_O. F_PLK вызывается перед операциями вывода, а F_PLK_O после них.
Если обнаруживается опасная неисправность, логический контроль выполнения программы требует перевода CPU в STOP вызовом SFC 46 "STP". Затем требуется запуск (холодный или теплый пуск). Контроль выполнения программы по критерию времени Контроль выполнения программы по критерию времени осуществляется через: • активный контроль во время обмена данными, ориентированного на обеспечение безопасности • контроль времени F-цикла Активный контроль во время обмена данными, ориентированного на обеспечение безопасности F-программа циклически обменивается данными с сигнальными модулями повышенной безопасности и с F-программами на других CPU с помощью специальных протоколов обеспечения безопасности.
При возникновении проблемы приемники реализуют функцию реагирования на неисправность: • Отказобезопасные блоки F_RCVBO и F_RCVR в F-программах на других CPU выводят параметризуемые заменяющие значения. • Модули вывода повышенной безопасности выключают выходы. После устранения проблемы требуется подтверждение пользователя на отказобезопасном драйверном блоке канала или отказобезопасном блоке F_RCVBO или F_RCVR или запуск (холодный или теплый пуск). Контроль времени F-цикла Максимальное время F-цикла (время циклического прерывания для OB с исполняемыми F-группами) назначается в CFC как входной параметр отказобезопасного блока F_CYC_CO.
Отказобезопасный блок F_CYC_CO F должен присутствовать в каждом F-цикле (т.е. в каждом OB прерываний с отказобезопасными блоками). При превышении времени F-цикла CPU переходит в STOP, а все выходы возвращаются в безопасное состояние. Системы повышенной безопасности 3-6 A5E00085588-02