ГОСТ Р МЭК 61508-6-2012
ТаблицаЕ.11- Спецификация требований к безопасности программного
обеспечения (см. МЭК 61508-3, подраздел 7.2)
Метод/средство
Ссылка УПБ2
Интерпретация (в настоящем приложении)
1а Полуформальные методы
Табл.
HR
В.7
1b Формальные методы
B.2.2,
C.2.4
R
Диаграммыфункциональныхблоков,
циклограммы, диаграммы переходов
Лишь в исключительных случаях
2 Прямая прослеживаемость между С.2.11
требованиями к системе безопасно
сти и требованиями к программному
обеспечению системы безопасности
3ОбратнаяпрослеживаемостьС.2.11
междутребованиямиксистеме
безопасности и предполагаемыми
потребностями в безопасности
4 Автоматизированные средства разВ.2.4
работкиспецификацийдля
поддержки,перечисленных выше,
подходящих методов/средств
HRПроверка полноты: проверка, гарантирую
щая.чтовсетребованияк системе
безопасностиучтеныв требованиях к
программному обеспечению системы
безопасности
HR Минимизация сложности и функционально
сти: проверка, гарантирующая, что все тре
бования к программному обеспечению сис
темы безопасности фактически необходи
мы, чтобы учесть требования к системе
безопасности
HRСредства поддержки выбранных методов
П р и м е ч а н и е ■ В столбце «Ссылка» "В.х.х.х*. "С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7, а "Табл. А.х*, "Табл. В.х’ - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
142