检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:邓佳佳[1] 陈海燕[1] 张育平[1] 何亦征[2]
机构地区:[1]南京航空航天大学计算机科学与技术学院,江苏南京211106 [2]中国航空无线电电子研究所,上海200233
出 处:《计算机与现代化》2017年第4期44-47,126,共5页Computer and Modernization
基 金:国家973计划资助项目(2014CB744900)
摘 要:针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型;然后利用XML解析技术从中提取系统关键信息,并建立故障树模型对其失效概率与区域安全性等进行分析,得到安全性评估结果;最后基于SysML语言对IMA架构下的显示系统进行架构设计和安全性评估,评估结果验证了所提出安全性评估方法的有效性。Aiming at the problem that existing analysis methods for system safety separate the processes of system design and safety assessment,a SysML-based avionics system architecture safety evaluation method is proposed. At first,the physical architecture of the system is modeled based on SysML with Enterprise Architect. Then critical information about the system is refined from the XML document of the SysML model,based on which fault trees are established. Finally,after analyzing fault trees,system failure probability and zone safety are obtained. This process is conducted in an automatic safety assessment tool. A display system in IMA architecture is introduced as an example for conducting this method,which verifies the effectiveness of the proposed system architecture safety assessment tool.
关 键 词:系统建模语言(SysML) 综合模块化航空电子(IMA) 架构设计 安全性评估
分 类 号:TP302[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15