ГОСТ Р МЭК 61508-6-2012
тестирования и может приводить к тому, что часть логики системы будет выполняться
только при редко встречающихся условиях. Это также приводит к появлению связи
между вероятностью случайного отказа аппаратных средств и вероятностью отказа по
общей причине.
В настоящее время используется несколько подходов для обработки CCF (0-
фактор, несколько греческих букв, a-фактор, биномиальная интенсивность отказов и др.)
[18]. Далее описаны две из текущих моделей, предлагаемые в настоящем приложении
для третьего этапа трехэтапного подхода. Несмотря на ограничения, считается, что в
настоящее время они представляют собой лучший способ обработки вероятности отказа
по общей причине:
- устоявшаяся модель /3-фактора, которая широко используется и обычно ее
возможно использовать в многоканальных системах вплоть до четырех зависимых
элементов;
- биномиальная интенсивность отказов [19] (также известная как шоковая
модель), которая может быть использована, когда количество зависимых элементов
больше четырех.
При использовании модели /3-фактора для Э/Э/ПЭ системы возникают следующие
две проблемы:
- выбор значения 0-фактора. Многие источники (например [17]) предлагают
диапазоны возможных значений 0-фактора, но не определяют их конкретные значения,
оставляя выбор за пользователем. Чтобы решить эту проблему, методика 0-фактора,
представленная в настоящем приложении, основывается на подходе, первоначально
описанном в [20] и затем скорректированном в [21];
- ни модель 0-фактора, ни шоковая модель не учитывают развитые возможности
диагностическоготестированиясовременныхПЭсистем,которымиможно
воспользоваться для обнаружения неодновременных отказов по общей причине до того,
как отказ полностью проявит себя. Для преодоления этой проблемы подход, описанный
в [20] и скорректированный в [21], был изменен с тем. чтобы отразить влияние
диагностического тестирования при оценке возможного значения р.
Функции диагностического тестирования, выполняющиеся внутри ПЭ системы,
обеспечивают непрерывное сравнение работы ПЭ системы с заранее определенными
состояниями. Эти состояния предварительно определяются программно или аппаратно
(например с помощью контрольного таймера). Рассматриваемые таким образом
функции диагностического тестирования можно считать дополнительными и частично
112