ISOIECIEEE 15026-22022 系统和软件工程.系统和软件保证.第2部分保证案例标准立项发展报告.docxVIP

系统和软件工程系统和软件保证第2部分：保证案例标准立项发展报告

StandardizationDevelopmentReport:Systemsandsoftwareengineering—Systemsandsoftwareassurance—Part2:Assurancecase

摘要

随着信息技术的飞速发展，系统与软件的复杂性日益增加，其在安全攸关领域（如航空航天、自动驾驶、医疗设备、工业控制等）的应用愈发广泛。如何对系统与软件的关键属性（如安全性、可靠性、可用性）提供可信的、结构化的证据，已成为工程实践中的核心挑战。本报告聚焦于ISO/IEC/IEEE15026-2:2022《系统和软件工程系统和软件保证第2部分：保证案例》国际标准，系统阐述了其立项背景、核心内容与技术演进。报告首先分析了当前复杂系统中保证活动的必要性，指出现有分散的验证与确认活动难以形成整体可信度论点。其次，深入解读了标准的核心理念，即通过“主张-论据-证据”的结构化框架构建保证案例，并详细介绍了其在保证案例的规划、构建、评估与维护等方面的规范性要求。报告还重点介绍了本标准的修订背景与主要参与单位——国际标准化组织/国际电工委员会/电气电子工程师学会系统与软件工程联合技术委员会（ISO/IECJTC1/SC7）及其下设的WG21工作组，分析了由其主导的标准