基于模型的安全性分析相关论文
安全性工作是航空装备研制过程中的重要内容,针对目前国内航空装备安全性工作,分析了工作中存在的安全性工作与飞机级架构设计、飞......
以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis,MBSA)技术能够提高工......
期刊
<正>安全性是武器装备研制、生产、使用和保障的第一要求。基于模型的安全性分析(MBSA)是传统安全性分析的进一步发展。航空发动机......
