ISO IEC IEEE 15026-2-2022 PDF

Полное наименование и описание

ISO/IEC/IEEE 15026-2:2022 — Systems and software engineering — Systems and software assurance — Part 2: Assurance case. Второе издание этого международного стандарта описывает назначение и основные элементы «casадоказательства» (assurance case), включая структуру, терминологию и минимальные требования к содержанию таких дел о гарантии (assurance cases).

Аннотация

Стандарт задаёт требования к структуре и терминам, используемым при формировании assurance case: верхнеуровневые утверждения (claims), аргументация (argument), доказательства (evidence), предположения и контекст. Документ предназначен для применения при разработке, поддержании и оценке assurance case для систем и программного обеспечения.

Общая информация

• Статус: Опубликовано.
• Дата публикации: Ноябрь 2022 (выпуск — 2022‑11).
• Организация-издатель: Совместная публикация ISO/IEC/IEEE; подготовлено в рамках ISO/IEC JTC 1/SC 7.
• ICS / категории: 35.080 (Software).
• Редакция / версия: 2‑е издание (2022).
• Количество страниц: 20 (ориентировочно, официальное издание содержит порядка 20 страниц).

Область применения

Стандарт применяется при разработке и сопровождении assurance case для обеспечения свойств систем и программного обеспечения (например, безопасность, надёжность, защита и т. п.). Он задаёт минимальные требования к структуре и терминологии assurance case, но не навязывает единственную методологию аргументации или набор конкретных техник верификации/валидации. Рекомендуется использовать стандарт совместно с другими частями серии 15026 и с процессными стандартами жизненного цикла (например, ISO/IEC/IEEE 15288 и 12207) при интеграции assurance‑деятельности в жизненный цикл.

Ключевые темы и требования

• Определение и унификация терминологии, связанной с assurance case (claim, argument, evidence, context, assumption).
• Требования к структуре assurance case: верхнеуровневые утверждения, развернутая аргументация, связь аргументов с доказательствами и предположениями.
• Требования к прослеживаемости и поддержке доказательственной базы (traceability между требованиями, аргументами и доказательствами).
• Указания по поддержанию, обновлению и документированию изменений assurance case в ходе жизненного цикла.
• Гибкость в выборе конкретных методов и форматов представления (стандарт задаёт структуру и требования, но не предписывает единственный формат реализации).

Применение и пользователи

Стандарт полезен разработчикам assurance case, инженерам по обеспечению безопасности и надёжности, системным и программным инженерам, оценщикам и аудиторам, организациям по сертификации и регуляторам. Его используют при подготовке материалов для сертификации, при оценке рисков и при формировании убедительной документации, демонстрирующей достижение требований к свойствам системы.

Связанные стандарты

ISO/IEC/IEEE 15026‑2 является частью серии ISO/IEC/IEEE 15026 (Systems and software assurance). Ключевые связанные части серии: - Part 1: Concepts and vocabulary (основные понятия и словарь, даёт базовую терминологию для использования во всех частях серии). - Part 3: System integrity levels (описывает концепцию integrity levels и требования/рекомендации по их использованию). - Part 4: Assurance in the life cycle (руководство и рекомендации по интеграции assurance‑деятельности в процессы жизненного цикла).

Ключевые слова

assurance case, claim, argument, evidence, assurance, systems assurance, software assurance, traceability, structure, terminology.

FAQ

В: Что это за стандарт?

О: Международный стандарт, задающий требования к структуре и терминологии для формирования assurance case — документированной, аргументированной и доказательной базы для утверждений о свойствах системы/ПО.

В: Что он регулирует?

О: Не «регулирует» в смысле правового акта; устанавливает требования и рекомендации по структуре, терминологии и поддержке assurance case, чтобы повысить согласованность, читаемость и пригодность таких дел для оценки и принятия решений.

В: Кто обычно использует?

О: Инженеры по безопасности и надёжности, разработчики assurance case, оценщики, сертификационные и регуляторные организации, менеджеры качества и системные инженеры.

В: Он актуален или заменён?

О: Действующее издание — ISO/IEC/IEEE 15026-2:2022 (2‑е издание, опубликовано в ноябре 2022). Оно заменило предыдущую версию ISO/IEC 15026-2:2011.

В: Это часть серии?

О: Да — это часть серии ISO/IEC/IEEE 15026 (Systems and software assurance). Важные соседние части: Part 1 (понятия и словарь), Part 3 (integrity levels) и Part 4 (assurance in the life cycle). Рекомендуется применять Part 2 совместно с этими частями для полного охвата практик assurance.

В: Какие ключевые слова?

О: assurance case, claim, argument, evidence, context, assumption, traceability, integrity level, system assurance, software assurance.