基于SysML民用通信导航系统安全性分析方法及系统

摘要

本发明公开了基于SysML民用通信导航系统安全性分析方法及系统，该方法包括采用SysML对民用航空通信导航系统中某个管理系统进行系统建模，得到基于SysML的民用通信导航系统源模型；采用故障树分析法对相应管理系统进行故障建模，得到基于故障树FT的民用通信导航系统目标元模型；根据源模型、目标元模型，在两者之间通过中间模型转换自动生成安全性分析故障树FTA；根据安全性分析故障树FTA，对民用通信导航系统的某个管理系统执行安全性分析，判断是否满足安全要求，如果满足安全要求，那么接受该安全解决方案；否则，对该管理系统进行设计修改。本发明避免发生失效状态的遗漏。