Антон. Это не практический пример, а идеализированная модель. ССE (INL) , HAZCADS (EPRI, NNPL) - это маркетинговый ход, направленный на ограничение конкуренции со стороны интеграторов. Данные методы по сути представляют собой консолидированные положения IEC 61508 и PRA (IAEA) с учетом антропогенный факторов, обуславливающих отказы функций системы управления (АСУ ТП + ТОУ). У этих ребят информация о свойствах систем управления есть, например, EPRI является держателем базы данных отказов объектов и их анализа. При этом они могут немного лукавить в своих публикациях.