ГОСТ Р 53195.3—2009
Таблица Б.5 разделена на три группы, помеченные белой, серой и черной заливкой. Все рекомендуемые
методы/средства «Р (R)» в группах, помеченных белой и черной заливкой, могут быть заменены другими метода-
ми/средствами в пределах каждой из групп, но требуется применение, по крайней мере, одного метода/средства из
группы, помеченной серой заливкой (аналитические методы) и. как минимум, одного метода/средства из груп пы,
помеченной черной заливкой (средства испытаний).
Эффективность методов/средств для предотвращения систематических ошибок приведена в таблице Б.6.
Т а б л и ц а Б.6
Метод/средствоОписание метода/средства предотвращения систематических ошибок для
систематичессих
ошибок
низкого уровня эффективности
высокого уровня эффективности
Управление проекта
ми *
Определение действий и обя
занностей; планирование и рас
пределение ресурсов; обучение
соответствующего персонала;
последовательность проверок
Подтверждение соответствия, независимое от
проекта: регулярный контроль проекта; стандар
тизованная процедура подтверждения соответ
ствия; управление конфигурацией; статистика от
казов; автоматизированные расчеты; автоматизи
после модификацийрованная разработка программного обеспече
ния
Документирование*Применение графических и
естественных языков, напри
мер. блок-схем, потоковых диаг
рамм
Использование правил, описывающих; порядок
прохождения и размещения документации в орга
низации. содержимое таблиц контрольных прове
рок; автоматизированное управление документа
цией: формальный контроль изменений
Разделение Е/Е/РЕ
СБЗС- систем и систем,
не связанных с без
опасностью
Четкое разделение интер
фейсов между Е/Е/РЕ СБЗС-сис-
темами и системами, не связан
ными с безопасностью
Полное отделение Е/Е/РЕ СБЗС-систем от си
стем. не связанных с безопасностью, т.е. предотв
ращение доступа систем, не связанных с безопас
ностью. кЕ/Е/РЕ СБЗС-системам; физическое раз
деление в пространстве во избежание влияний по
общей причине
Структурирование
спецификации требо
ваний
Иерархическое разделение
вручную требований на лодтре-
бования; описание интерфейсов
Формирование иерархически разделенных
компьютерных средств проектирования; автома
тический контроль последовательности; доведе
ние усовершенствования до функционального
уровня
Формальные методы
Использование формальных
методов персоналом, имеющим
опыт в их применении
Использование формальных методов персо
налом. имеющим опыт в их применении в анало
гичных областях с использованием автоматизи
рованных средств подцержхи
Полуформальные
методы
Использованиеполуфор
мальных методов для описания
некоторых критическихсоставля
ющих
Полное описание СБЗС Е/Е/РЕ-систем. связан
ных с безопасностью, различными полуформаль
ными методами для представления различных
аспектов; проверка согласованности между мето
дами
Компьютерные сред
фикации
Применение средств разра
почтения одного конкретного ме
тода проектирования
Применение модельно-ориентированных про
ства разработки специ ботки спецификации без пред цедур с иерархической структурой; описание всех
объектов иих отношений; применениеобщей базы
данных: автоматический контроль непротиворе
чивости
Таблицы контроль
ных проверок
Подготовка таблиц контроль
ных проверок для всех стадий
жизненного цикла; концентрация
внимания на главных проблемах
безопасности
Подготовка подробных таблицы контрольных
проверок для всех стадий жизненного цикла сис
тем
44