ГОСТ Р МЭК 61508-7—2012
Описание. Во время проектирования системы, связанной с безопасностью, должны составляться руководя
щие материалы, которые должны, во-первых, приводить к созданию систем, связанных с безопасностью, и быть
практически свободны от ошибок и. во-вторых, упрощать последующее подтверждение соответствия безопасно
сти. Такие руководящие материалы могут быть универсальными, специальными для проекта или
специальными только для отдельного этапа проекта.
Литература:
Guidelines for Safe Automation of Chemical Processes. CCPS. AlChE. New York. 1993. ISBN-10: 0-8169-0554-1.
ISBN-13: 978-0-8169-0554-6.
B.3.2 Структурное проектирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель. Снижение сложности проектирования путем создания иерархической структуры частичных требова
ний. Исключение ошибок взаимосвязей между требованиями. Упрощение верификации.
Описание. При проектировании аппаратных средств должны использоваться конкретные критерии или мето
ды. Например, может потребоваться:
- проектирование иерархически структурированных схем;
- использование изготовленных и проверенных частей схем.
При проектировании программных средств использование структурных схем также позволяет создать одно
значную структуру программных модулей. Данная структура показывает взаимосвязь модулей друг с другом, кон
кретныеданные, которые передаются между модулями, и конкретное управление, существующее между модулями.
Литература:
IEC 61346 (all parts). Industrial systems, installations and equipment and industrial products— Structuring principles
and reference designation.
Software Engineering for Real-time Systems. J. E. Cooling, Pearson Education. 2003. ISBN 0201596202.
9780201596205.
Software Design. D. Budgen. Pearson Education. 2003. ISBN 0201722194. 9780201722192.
An Overview of JSD. J.R. Cameron. IEEE Trans SE-12 No. 2. February 1986.
Structured Development for Real-Time Systems (3 Volumes). P.T. Yourdon. P.T. Yourdon Press. 1985.
Structured Development for Real-Типе Systems (3 Volumes). P.T. Ward, S. J. Mellor. Yourdon Press. 1985.
Applications and Extensions of SADT. D.T. Ross. Computer. 25—34. April 1985.
Essential Systems Analysis. St. M. McMenamin. F. Palmer. Yourdon Inc. 1984.
Structured Analysis (SA): A language for communicating ideas. D.T. Ross. IEEETrans. Software Eng, Vol. SE-3 (1). 16—34.
B.3.3 Использование достоверно испытанных компонентов
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель. Снижение риска многих оригинальных и необнаруживаемых отказов путем использования компонен
тов с конкретными характеристиками.
Описание. Выбор достоверно испытанных компонентов для целей безопасности выполняется производите
лем в соответствии с надежностью компонентов (например использование эксплуатационно-тестируемых физиче
ских модулей для удовлетворения высоких требований безопасности или хранение относящихся к безопасности
программ только в безопасной памяти). Обеспечение безопасности памяти может касаться устранения несанкци
онированного доступа. влияний несанкционированной среды (электромагнитная совместимость, радиация и т. д.).
а также отклика компонентов в случае обнаружения отказов.
Литература:
IEC 61163-1:2006. Reliability stress screening — Part 1: Repairable assemblies manufactured in lots.
B.3.4 Модульное проектирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена 8 МЭК 61508-2 (таблицы В.2 и В.6).
Цель. Снижение сложности и исключение ошибок, связанных с интерфейсами между подсистемами.
Описание. Каждая подсистема на всех уровнях проектирования четко определена и ограничена по размеру
(только небольшим набором функций). Интерфейсы между подсистемами выполняются максимально простыми и
пересечения (разделяемые данные, обмен информацией) минимизированы. Сложность отдельных подсистем
также ограничивается.
Литература:
The Art of Software Testing. Second Edition. G. Myers et al.. Wiley & Sons. New York. 2004. ISBN 0471469122.
9780471469124.
Software Engineering for Real-time Systems. J. E. Cooling, Pearson Education. 2003. ISBN 0201596202.
9780201596205.
Software Reliability — Principles and Practices. G.J. Myers. Wiley-lnterscience. New York. 1976. ISBN-10:
0471627658. ISBN-13: 978-0471627654.
B.3.5 Средства автоматизированного проектирования
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6)
и в МЭК 61508-3 (таблицаА.4).
22