演示资料 · 未标明发布日期PEGASUS 安全论证Safety ArgumentPEGASUS consortium · EnglishSafety caseTraceability资料概述使用五层论证及结构、形式化、连贯性、完整性和相关性原则组织安全证据。