ГОСТ Р МЭК 61508-7—2007
Описание: бросок напряжения или недонапряжение обнаруживается достаточно рано с тем. чтобы сохра
нить внутреннее состояние в незнергозависимой памяти (при необходимости) и тем самым установить все выхо
ды в безопасное состояние процедурой отключения питания, или же все выходы переключить в
безопасное состояние процедурой отключения питания, либо происходит переключение на второй блок питания.
А.9 Временной и логический контроль последовательности выполнения программ
П р и м е ч а н и е — На эту группу методов или средств даны ссылки в МЭК 61508-2 (см. приложение А.
таблицы А. 16.А. 17и А. 19).
Главная цель: обнаружение искаженных программных последовательностей. Искаженная программная
последовательность появляется, если отдельные элементы программы (например программные модули, под
программы или команды) обрабатываются в неправильной последовательности или в несоответствующий пери од
времени, или если сбилась тактовая частота процессора.
А.9.1 Контрольный датчик времени с отдельной временной базой без временного окна
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицы А. 10 иА. 12).
Цель: контроль поведения и последовательности выполнения программ.
Описание: внешние средства определения времени с отдельной базой времени (например контрольный
датчик времени) периодически переключаются для контроля поведения компьютера и последовательности вы
полнения программ. Важно, чтобы моменты переключения были правильно расположены в программе. Конт
рольный датчик времени не переключается с некоторым фиксированным периодом, однако задается макси
мальный интервал.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Hdlscher. J. Rader.
Verlag TUV Rheinland. Koln. 1986. ISBN 3-88585-315-9.
A.9.2 Контрольный датчик времени с отдельной временной базой и временным окном
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицы А. 10и А. 12).
Цель: контроль поведения и последовательности выполнения программ.
Описание, внешние средства определения времени с отдельной базой времени (например контрольный
датчик времени) периодически переключаются для контроля поведения компьютера и последовательности вы
полнения программ. Важно, чтобы моменты переключения были правильно расположены в программе. Конт
рольный датчик времени не переключается с некоторым фиксированным периодом, однако задается макси
мальный интервал. Если последовательности программ выполняются больше или меньше ожидаемого времени, то
выполняется действие чрезвычайного случая.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Hdlscher, J. Rader,
Verlag TUV Rheinland. K6ln. 1986. ISBN 3-88585-315-9.
A.9.3 Логический контроль последовательности выполнения программ
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицы А 10иА 12).
Цель: контроль правильной последовательности выполнения отдельных частей программы.
Описание: правильная последовательность выполнения отдельных частей программы контролируется с
помощью программных средств (процедур учета, ключевых процедур) или с использованием внешних средств
контроля. Важно, чтобы точки проверки располагались в программе правильно.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher. J. Rader.
Verlag TUV Rheinland. Koln. 1986. ISBN 3-88585-315-9.
A.9.4 Комбинация временного и логического контроля программной последовательности
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицы А10 иА. 12).
Цель: контроль поведения и правильной последовательности выполнения отдельных частей программы.
Описание: средство определения времени (например контрольный датчик времени), контролирующее про
граммную последовательность, вновь запускается только вслучав, если последовательность модулей программы
выполнятся правильно.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher, J. Rader.
Verlag TUV Rheinland. K6ln. 1986. ISBN 3-88585-315-9.
14