AADL安全性建模和定量分析方法

讲座内容：安全性设计与分析是安全攸关嵌入式系统开发必不缺少的环节，系统的安全性建模理论和验证技术要能够尽可能早地对系统的不安全行为进行预计和预防。为了能够在软件系统需求分析和设计阶段对安全性进行规约和评估，我们采用AADL语言对系统架构建模、并基于架构模型来层次化设计描述系统安全性的危害模型，通过实现软件安全性模型到安全性计算仿真模型的自动转换，提出了一套基于GJB1391、GB/T7826-200X/IEC60812:2006、MIL-STD-882D和DO178B/C等技术规范的嵌入式软件安全性定量评估解决方案。