本发明公开了基于SysML民用通信导航系统安全性分析方法及系统,该方法包括采用SysML对民用航空通信导航系统中某个管理系统进行系统建模,得到基于SysML的民用通信导航系统源模型;采用故障树分析法对相应管理系统进行故障建模,得到基于故障树FT的民用通信导航系统目标元模型;根据源模型、目标元模型,在两者之间通过中间模型转换自动生成安全性分析故障树FTA;根据安全性分析故障树FTA,对民用通信导航系统的某个管理系统执行安全性分析,判断是否满足安全要求,如果满足安全要求,那么接受该安全解决方案;否则,对该管理系统进行设计修改。本发明避免发生失效状态的遗漏。
声明:
“基于SysML民用通信导航系统安全性分析方法及系统” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)