ГОСТ Р ИСО 26262-10— 2014
ЦетбМОлводст иД о т*
ймтмттдощи* трябомжя
бмапаонотм
ДОММШ*СТЮбМОПМНйОП11
( ( ( ( ( ( (
Пяульты работыИСО20282
Рисунок6 — Ключевые элементы обоснования безопасности [2]
Доказательство безопасности реализует отношение между материалами, подтверждающими без
опасность, и целями. Ролью доказательства безопасности часто пренебрегают. Можно представить мно
гостраничный документ с доказательствами без четкого объяснения, как эти доказательства связаны с
целями безопасности. Доказательство и материалы, подтверждающие безопасность, являются важными
элементами обоснования безопасности и рассматриваются всегда вместе. Доказательство без материа
лов. подтверждающих безопасность, является необоснованным и потому неубедительным. Материалы,
подтверждающие безопасность, без доказательства являются необъяснимыми, в результате отсутствует
ясность в том. как были достигнуты цели безопасности. Обоснования безопасности передаются в виде
разработанных и представленных отчетов с обоснованием безопасности. Роль отчета с обоснованием
безопасности заключается в объединении доказательства безопасности с соответствующими отчетами о
получении материалов, подтверждающих безопасность (например, протоколы испытаний).
Доказательства безопасности, используемые в настоящее время вдругих отраслях, часто включаются в
отчеты с обоснованием безопасности в виде обычного текста. Обычным текстом можно описать, как цель без
опасности была интерпретирована, распределена идекомпозирована, в конечном счете, доходя до ссылок на
доказательства, которые демонстрируют выполнение заявленных характеристик безопасности для нижнего
уровня. Кроме того, становится все более популярным использование графических представлений доказа
тельства безопасности (например, требования — доказательства безопасности — материалы, подтверждаю
щие безопасность, в средстве представления структурирования цели [2]). чтобы явно и наглядно представить
отдельные элементы доказательства безопасности (требования, заявленные характеристики, материалы,
подтверждающие безопасность, и контекст) и отношения, которые существуют между этими элементами (на
пример. как отдельные требования поддерживаются конкретными заявленными характеристиками безопас
ности. каким образом заявленные характеристики безопасности поддерживаются материалами, подтвержда
ющими безопасность, и предполагаемым контекстом, который определен для доказательства безопасности).
Доказательство безопасности, которое рассматривает безопасность, непосредственно используя
характеристики реализуемого устройства (например, поведение синхронизации сторожевого таймера),
часто называют доказательством безопасности изделия. Доказательство безопасности, которое рас
сматривает безопасность, используя характеристики процесса разработки и оценки (например, пред
ставления. принятые при проектировании), часто называют доказательством безопасности процесса.
Оба типа доказательства безопасности могут быть использованы для достижения обоснованного
доказательства безопасности устройства, где доказательство безопасности процесса может рассма
триваться как обеспечение уверенности в материалах, подтверждающих безопасность, используемых
при доказательстве безопасности изделия.
5.3.2 Жизненный цикл разработки обоснования безопасности
Разработку обоснования безопасности можно рассматривать как дополнительную деятельность,
которая интегрируется с остальными стадиями разработки жизненного цикла системы безопасности.
При м е ча н и е — План обеспечения безопасности может включать в себя планирование дополнительных
шагов и предварительных версий обоснования безопасности.
Такой подход формирует промежуточные версии обоснования безопасности основных стадий раз
работки изделия. Например, предварительная версия обоснования безопасности может быть создана
после верификации технических требований системы безопасности; промежуточная версия обоснова
ния безопасности может быть создана после верификации проекта системы и окончательная версия
может быть создана непосредственно перед оценкой функциональной безопасности.
10