ГОСТ Р МЭК 61508-7—2012
Цель. Рассмотрение и управление критическими оценками всех важных аспектов системы на этапе жизнен
ного цикла безопасности, обеспечивая исчерпывающий охват без установления точных требований.
Описание. Специалист, заполняющий таблицу контрольных проверок, должен дать ответ на ряд вопросов.
Многие вопросы носят общий характер, и он должен интерпретировать их как наиболее подходящие к конкретной
оцениваемой системе. Таблицы контрольных проверок допускается использовать на всех этапах полного жизнен
ного цикла безопасности, жизненного цикла безопасности Э/Э/ПЭ системы и жизненного цикла безопасности про
граммного обеспечения. Такие таблицы, в частности, полезны в качестве инструмента для оценки функциональной
безопасности.
Для сокращения широкого разнообразия проходящих подтверждение соответствия систем большинство та
блиц контрольных проверок содержат вопросы, которые применимы ко многим типам систем. Поэтому в исполь
зуемой таблице контрольных проверок может оказаться множество вопросов, которые не уместны для конкретной
системы и должны игнорироваться. Кроме того, может также возникнуть необходимость дополнить стандартную
таблицу контрольных проверок вопросами, специально ориентированными на конкретную систему.
Использование таблицы контрольных проверок в большой степени зависит от экспертной оценки и суждения
специалиста, который выбирает и применяет таблицу контрольных проверок. Принятые им решения относительно
выбранных(ой) таблиц(ы) контрольных проверок и любые дополнительные или игнорируемые вопросы должны
быть полностью документально оформлены и обоснованы. Необходимо стремиться к тому, что если применение
таблиц контрольных проверок пересматривается, то гарантируется получение одних и тех же результатов, если
только не используются различные критерии.
Описание системы в заполненной таблице контрольных проверок должно быть как можно более кратким.
При необходимости исчерпывающего обоснования оно должно быть дано в виде ссылок на дополнительные доку
менты. Для документирования результатов каждого вопроса должен использоваться ответ «успешно», «неуспеш
но» или «не завершено», либо аналогичный набор ответов. Эта лаконичность значительно упрощает процедуру
оформления общего заключения результатов оценки в виде таблицы контрольных проверок.
Литература:
IEC 60880:2006. Nuclear power plants — Instrumentation and control systems important to safety — Software
aspects for computer-based systems performing category A functions.
The Art of Software Testing. Second Edition. G. Myers et al.. Wiley & Sons. New York. 2004. ISBN 0471469122.
9780471469124.
Software Quality Assurance: From Theory to Implementation. Daniel Galin, Pearson Education. 2004, ISBN
0201709457. 9780201709452.
IEC61346 (ail parts). Industrial systems, installations and equipmentand industrial products — Structuring principles
and reference designation.
Guidelines for Safe Automation of Chemical Processes. CCPS. AJChE. New York. 1993, ISBN-10: 0-8169-0554-1,
ISBN-13: 978-0-8169-0554-6.
Risk Assessment and Risk Management for the Chemical Process Industry. H.R. Greenberg. J.J. Cramer. John
Wiley and Sons. 1991. ISBN 0471288829. 9780471288824.
B.2.6 Экспертиза спецификации
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 и В.6).
Цель. Исключить некомплектность и противоречивость спецификации.
Описание. Общий метод анализа спецификации для ее оценки с различных сторон независимой командой
экспертов. Такая команда задает вопросы разработчику, который должен дать ей удовлетворительные ответы.
Анализ должен (по возможности) проводиться командой экспертов, которая не принимала участия в создании
спецификации. Требуемая степень независимости оценки определяется уровнями полноты безопасности, зада
ваемыми для системы. Команда независимых экспертов должна быть способна реконструировать эксплуатаци
онную функцию системы бесспорным способом без ссылок на любые последующие спецификация. Специалисты
команды независимых экспертов должны также убедиться в том. что охвачены все уместные аспекты безопасности и
технические аспекты в эксплуатационных и организационных средствах. Общий метод экспертизы спецификации
доказал свою высокую эффективность на практике.
Литература:
IEC 61160:2005. Design review
The Art of Software Testing, Second Edition. G. Myers et al.. Wiley & Sons. New York. 2004. ISBN 0471469122,
9780471469124.
Software QualityAssurance: From Theory to Implementation. D. Galin. Pearson Education. 2004. ISBN 0201709457.
9780201709452.
B.3 Проектирование и разработка Э/Э/ПЭ системы
Главная цель. Создание устойчивого проекта системы, связанной с безопасностью, в соответствии
со спецификацией.
В.3.1 Соблюдение руководящих материалов и стандартов
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-2 (таблица В.2).
Цель. Рассмотрение стандартов сектора применения (не рассматриваемых в настоящем стандарте).
21