| 基于航电系统架构模型的安全性分析工具的设计与实现 |
| |
| 引用本文： | 徐文华,张育平. 基于航电系统架构模型的安全性分析工具的设计与实现[J]. 计算机科学, 2016, 43(Z11): 536-541 |
| |
| 作者姓名： | 徐文华 张育平 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京211100,南京航空航天大学计算机科学与技术学院 南京211100 |
| |
| 基金项目： | 本文受国家973计划资助 |
| |
| 摘 要： | 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。
|
| 关 键 词： | 航电系统架构 系统建模语言(SysML) 共模分析 区域安全性分析 故障树建模 |
Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model |
| |
| XU Wen-hua and ZHANG Yu-ping. Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model[J]. Computer Science, 2016, 43(Z11): 536-541 |
| |
| Authors: | XU Wen-hua and ZHANG Yu-ping |
| |
| Affiliation: | School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211100,China and School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211100,China |
| |
| Abstract: | |
| |
| Keywords: | Avionics system architecture model SysML Common mode analysis Zone safety analysis Fault tree modeling |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
