ГОСТ Р МЭК 61508-3—2012
Т аб л ица А.З — Проектирование и разработка программного обеспечения: инструментальные средства под
держки и языки программирования (см. 7.4.4)
Мвтал/средстао4)
СсыгкаУПБ1
УПБ2 УПБЗ УПБ4
1 Выбор соответствующего языка программирования
С.4.5HR
HRHRHR
2 Строго типизированные языки программирования
С.4.1HR
HRHRHR
3 Подмножество языка
С.4.2
—
—HRHR
4а Сертифицированные средства и сертифицированные трансляторы
С.4.3R
HRHRHR
4Ь Инструментальные средства, заслуживающие доверия на основании
опыта использования
С.4.4HR
HRHRHR
11 Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные
или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять толь
ко один из альтернативных или эквивалентных мегодов/мероприятий. Выбор альтернативных методов дол
жен быть обоснован в соответствии со свойствами, приведенными в приложении С. желательно для каждого
применения.
П рим ечан ия
1 См. таблицу С.З.
2 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х», «С.х.х.х» вв второй графе указыва
ют на подробные описания методов,’средств, изложенных в приложениях В и С [5].
Т аб лица А.4 — Проектирование и разработка программного обеспечения: детальное проектирование (см. 7.4.5
и 7.4.6) (включает в себя проектирование системы программного обеспечения, проектирование модуля программ
ного обеспечения и кодирование)
Метод/среаслю1!
Ссылка
У
Л
Б1 УПБ2
УПБЗ УПБ4
1а Методы структурных диаграмм2*
С.2.1
HRHR
HRHR
1Ь Полуформальные методы2*
Таблица В.7
RR
HRHR
1с Формальные методы проектирования и усовершенствования2*
В.2.2. С.2.4
—R
RHR
2 Средства автоматизированного проектирования
В.3.5
RR
HRHR
3 Программирование с защитой
С.2.5
—R
HRHR
4 Модульный подход
Таблица В.9
HRHR
HRHR
5 Стандарты для проектирования и кодирования
С.2.6,
таблица В.1
RHR
HRHR
6 Структурное программирование
С.2.7
HRHR
HRHR
7 Использование доверительных/проверенных программных мо
дулей и компонентов (по возможности)
С.2.10
RHR
HRHR
8 Прямая прослеживаемость между спецификацией требований
к программному обеспечению системы безопасности и проектом
программного обеспечения
С.2.11
RR
HRHR
11 Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные
или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять только
один из альтернативных или эквивалентных методов/средств.
2* Из группы 1 «Структурированные методы» следует использовать метод 1а. только если метод 1Ь не
подходит для предметной области с УПБЗ и УПБ4.
П рим ечан ия
1 См. таблицу С.4.
2 Все еще обсуждается пригодность разработки объектно-ориентированного программного обеспечения
для систем, связанных с безопасностью. Руководящие указания по использованию объектно-ориентированного
подхода при разработке архитектуры и в проектировании см. приложение G МЭК 61508-7.
3 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х». «С.х.х.х» во второй графе указыва
ют на подробные описания методов/средств. изложенных в приложениях В и С (5).
41