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