ГОСТ Р МЭК 61508-3—2012
Окончание таблицы А 1
MoTOAfcpeacteo’1
Ссыпка
УПБ1УПБ2УПБЗУПБ4
4 Компьютерные средства разработки спецификаций для
поддержки перечисленных выше подходящих методов.’
средствВ.2.4RRHRHR
Г’ Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные
или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует применять толь
ко один из альтернативных или эквивалентных методов/мероприятий. Выбор альтернативных методов дол
жен быть обоснован в соответствии со свойствами, приведенными в приложении С. желательно для каждого
применения.
П рим ечан ия
1Спецификация требований к программному обеспечению системы безопасности всегда будет требовать
описания задачи на естественном языке и использования необходимой системы математических обозначений,
отражающих содержание приложения.
2 Таблица отражает дополнительные требования для ясного и точного определения требований к про
граммному обеспечению системы безопасности.
3 См. таблицу С.1.
4 Ссылки (являющиеся справочными, а не обязательными) *В.х.х-х». «С.х.х.х» во второй графе указывают
на подробные описания методое/средств. изложенные в приложениях В и С (5].
Т аб л ица А.2 — Проектирование и разработка программного обеспечения: проектирование архитектуры про
граммного обеспечения (см. 7.4.3)
Метол’срвдсtво’1
СсылкаУПБ1
УПБ2УПБЗУПБ4
1 Обнаружение ошибок
С.3.1
—
RHRHR
2 Коды обнаружения ошибок
С.3.2R
RRHR
За Программирование с проверкой ошибок
С.3.3R
RRHR
ЗЬ Методы контроля (при реализации процесса контроля и кон
тролируемой функции на одном компьютере обеспечивается их
независимость)
С.3.4
—
RR
—
Зс Методы контроля (реализация процесса контроля и контро
лируемой функции на разных компьютерах)
С.3.4—
RRHR
3d Многовариантное программирование, реализующее одну
спецификацию требований к программному обеспечению си
стемы безопасности
С.3.5
R
Зе Функционально мнотовариантное программирование, реа
лизующее различные спецификации требований к программно
му обеспечению системы безопасности
С.3.5
—
—
RHR
3f Восстановление предыдущего состояния
С.3.6R
R
—
HR
Зд Проектирование программного обеспечения, не сохраняю
щего состояние (или проектирование ПО. сохраняющего огра
ниченное описание состояния)
С.2.12
—
—
RHR
4а Механизмы повторных попыток парирования сбоя
С.3.7R
R
—
—
4Ь Постепенное отключение функций
С.3.8R
RHRHR
5 Исправление ошибок методами искусственного интеллекта
С.3.9
—
NRNRNR
6 Динамическая реконфигурация
С.3.10
—
NRNRNR
7 Модульный подход
Таблица В.9HR
HRHRHR
8 Использование доверительных/проееренных элементов про
граммного обеспечения (при наличии)
С.2.10R
HRHRHR
39