自动飞行控制系统论文

安全关键系统需求形式化建模分析实例研究
论文摘要近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综...