ГОСТ Р МЭК 61508-7—2012
S.J. Prowell. Using Markov Chain Usage Models to Test Complex Systems. HICSS 05: 38lh Annual Hawaii.
International Conference on System Sciences. 2005.
Mark Utting and Bruno Legeard. Practical Model-Based Testing: A Tools Approach. ISBN 978-0-12-372501-1.
Morgan-Kaufmann. 2007.
Hong Zhu et al. (2008). AST 08: Proceedings of the 3rd International Workshop on Automation of Software Test.
ACM Press. ISBN 978-1-60558-030-2.
Model-Based Testing of Reactive Systems Advanced Lecture Series. LNCS 3472. Springer-Verlag. 2005. ISBN
978-3-540-26278-7.
Model-based Testing. SoftwareTech. July 2009, Vol. 12. No. 2. Software Testing: A Life Cycle Perspective, http://
wvAV.goldpractices.com/practices/mbt/.
C.6 Оценка функциональной безопасности
П р и м е ч а н и е — Соответствующие методы и средства см. также в В.6.
С.6.1 Таблицы решений (таблицы истинности)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы А. 10 и В.7).
Цель. Обеспечение ясных и согласующихся спецификаций и анализа сложных логических комбинаций
и их отношений.
Описание. Данный метод использует бинарные таблицы для точного описания логических отношений между
булевыми переменными программы.
Использование таблиц и точность метода позволили применить его в качестве средства анализа сложных
логических комбинаций, выраженных в бинарных кодах.
Рассматриваемый метод достаточно легко автоматизируется, поэтому его можно использовать в качестве
средства спецификации систем.
С.6.2 Исследование опасности и работоспособности программного обеспечения (CHAZOP. FMEA)
Цель. Определение угроз безопасности в предлагаемой или существующей системе, их возможных причин
и последствий и рекомендуемых действий по минимизации вероятности их появления.
Описание. Группа специалистов в области создаваемой системы принимает участие в структурном анализе
проекта системы путем ряда запланированных совещаний. Они рассматривают как реализацию функций проекта
системы, так и способы работы системы на практике (включая действия персонала и процедуры эксплуатации
системы). Руководитель группы специалистов инициирует ее участников создавать потенциальные опасности и
управляет этой процедурой, описывая каждую часть системы в сочетании с отдельными ключевыми словами:
«отсутствует», «более», «менее», «часть целого», «больше чем» (или «так же. как и») и «иначе чем». Каждое
применимое условие или режим отказа рассматривается с точки зрения реализуемости, причин возникновения,
возможных последствий (появляется ли опасность), способа устранения и, в случав устранения, выбора наиболее
целесообразного метода.
Исследование опасностей может выполняться на разных стадиях разработки проекта, однако наиболее эф
фективным такое исследование может быть на начальных стадиях с тем. чтобы как можно раньше повлиять на ос
новные решения по проектированию и работоспособности.
Метод HAZOP создавался для производственных процессов и требует модификации при его примене
нии к программному обеспечению. Были предложены различные производные методы (Computer HAZOPs —
«CHAZOPs»), которые сопровождались новыми руководящими материалами и/или реализовывали способы си
стематического охвата системной и программной архитектур.
Литература:
OF-FMEA: an approach to safety analysis of object-oriented software intensive systems, T. Cichocki. J. Gorski. In
Artificial Intelligence and Security in Computing Systeors: 9th International Conference. ACS ’2002. Ed. J. Soldek. Springer,
2003. IS8N 1402073968. 9781402073960.
Software FMEA techniques. P.L. Goddard. In Proc Annual 2000 Reliability and Maintainability Symposium. IEEE,
2000. ISBN: 0-7803-5848-1.
Software criticality analysis of COTS/SOUP. P. Bishop.
T.
Clement. S. Guerra. In Reliability Engineering & System
Safety. Volume 81, Issue 3. September 2003. Elsevier Ltd., 2003.
C.6.3 Анализ отказов no общей причине
П р и м е ч а н и я
1 Ссылка на данный метод/средсгво приведена в МЭК 61508-3 (таблица А.10).
2 См. также МЭК 61508-6 (приложение D).
Цель. Определение возможных отказов в нескольких системах или нескольких подсистемах, которые могут
свести к нулю преимущества избыточности из-за одновременного появления одних и тех же отказов во многих
частях системы.
Описание. Системы, ориентированные на безопасность объекта, часто используют избыточность аппа
ратных средств и мажоритарный принцип голосования. Этот подход исключает случайные отказы в компонентах
или подсистемах аппаратных средств, которые могут помешать корректной обработке данных.
68