针对飞控系统安全性分析问题,提出一种基于系统拓展模型(extended system model,ESM)的安全性分析方法.首先,运用Simulink建立系统......

基于模型的安全分析(model-based safety analysis,MBSA)的最终目的是以复杂的安全关键性系统的形式化和半形式化模型为基础,实现......