ГОСТ Р МЭК 61508-6-2012
Таблица Е.14 — Проектирование и разработка программного обеспечения:
подробная модель (см. МЭК 61508-3, пункты 7.4.5 и 7.4.6) (Включает проектирование
систем программного обеспечения, проектирование модулей программного обеспечения
и кодирование)
Метод/средствоСсылка
УПБЗИнтерпретация (в настоящем приложении)
1а Структурные методыС.2.1
HR Широко используются. В частности. SADT и
JSD
эПолуформальные методыТабл.
В.7
1с Формальные методы проектиро B.
вания и усовершенствования C.
R
HRИспользуютсяконечныеавтоматы/диа-
граммы перехода состояний, блок-схемы,
циклограммы
2.2.
Используются только в исключительных
2.4
случаях для некоторых очень важных
компонентов
HRИспользуются для выбранных методов
2СредстваавтоматизированногоВ.3.5
проектирования
3 Программирование с защитойС.2.5
4 Модульный подходТабл.
В.9
5 Стандарты по проектированию и С.2.6.
кодированию Табл.
В.1
6 Структурное программированиеС.2.7
HRВ прикладном программном обеспечении в
явном виде используются средства, кото
рые могут быть эффективны, кроме автома
тически вставляемых компилятором
HRИспользуются:ограниченныйразмер
программного модуля, скрытие информа
ции / инкапсуляция, одна входная / выход
ная точка в подпрограммах и функциях,
полностью определенный интерфейс и т. д.
HRИспользуются стандарты (предприятия) для
кодирования;ограниченноиспользуются
прерывания, указатели и рекурсии: не
используются динамические объекты и
переменные, безусловные переходы и т. д.
HRИспользуют
HRДоступен и используют
7Использованиедоверительных/С.2.10
проверенныхэлементовпрограм
много обеспечения (по возможности)
10ОбратнаяпрослеживаемостьС.2.11
между спецификацией требований к
программному обеспечению системы
безопасности иархитектурой
программного обеспечения
HR Минимизация сложности и функциональ
ности: проверка, гарантирующая, что все
треб-вания к архитектуре программного
обеспечениясистемыбезопасности
фактически необходимы, чтобыучесть
требования к программному обеспечению
системы безопасности
П р и м е ч а н и е • В столбце «Ссылка» "В.х.х.х". ’’С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а "Табл. А.х”, "Табл. В.х" - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
145