基于SysML的航电系统架构安全性评估方法

doi:10.3969/j.issn.1006-2475.2017.04.009

计算机与现代化

基于SysML的航电系统架构安全性评估方法

1.南京航空航天大学计算机科学与技术学院,江苏南京211106；2.中国航空无线电电子研究所，上海200233

收稿日期:2016-08-31 出版日期:2017-04-20 发布日期:2017-05-08
作者简介:邓佳佳(1992-),女,江苏如皋人,南京航空航天大学计算机科学与技术学院硕士研究生,研究方向:软件工程与开发; 陈海燕(1979-),女,江苏南京人,讲师,博士,研究方向:软件工程,评估算法; 张育平(1959-),男,副教授,硕士,研究方向:软件工程,构件评估。
基金资助:
国家973计划资助项目(2014CB744900)

SysML-based Avionics System Architecture Safety Evaluation

1. School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;
2. China National Aeronautical Radio Electronics Research Institute, Shanghai 200233, China

Received:2016-08-31 Online:2017-04-20 Published:2017-05-08

摘要/Abstract

摘要： 针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题，提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型；然后利用XML解析技术从中提取系统关键信息，并建立故障树模型对其失效概率与区域安全性等进行分析，得到安全性评估结果；最后基于SysML语言对IMA架构下的显示系统进行架构设计和安全性评估，评估结果验证了所提出安全性评估方法的有效性。


关键词: 系统建模语言（SysML）, 综合模块化航空电子（IMA）, 架构设计, 安全性评估

Abstract: 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.


Key words: system modeling language(SysML), integrated modular avionics(IMA), architecture design； safety assessment

中图分类号:

TP302

邓佳佳1,陈海燕1,张育平1,何亦征2. 基于SysML的航电系统架构安全性评估方法[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2017.04.009.

DENG Jia-jia1, CHEN Hai-yan1, ZHANG Yu-ping1, HE Yi-zheng2. SysML-based Avionics System Architecture Safety Evaluation[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2017.04.009.

参考文献

［1］ Youn Wonkeun, Yi Baeck-jun. Software and hardware certification of safety-critical avionic systems: A comparison study［J］. Computer Standards & Interfaces, 2014,36(3):889-898.
［2］谷青范,王国庆,张丽花,等. 基于模型驱动的航电系统安全性分析技术研究［J］. 计算机科学, 2015,42(3):124-127.
［3］ Ruijters E, Stoelinga M. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools［J］. Computer Science Review, 2015,15-16(3):29-62.
［4］曾德容. 地铁供电系统可靠性和安全性分析方法研究［D］. 成都:西南交通大学， 2008.
［5］邢逆舟,王立松. 基于模型驱动的航电系统安全性分析［J］. 计算机与现代化， 2015(1):21-26.
［6］李军. 舰船典型系统安全性分析评估方法研究［D］. 哈尔滨:哈尔滨工业大学, 2012.
［7］岳丽娜. 民机安全性分析系统的设计与实现［D］. 长春:吉林大学, 2015.
［8］张磊,郑力会. 一种基于模型驱动的系统架构设计方法［J］. 电光与控制, 2014,21(3):92-96.
［9］ Friedenthal S， Moore A， Steiner R. A Practical Guide to SysML［M］. San Francisco: Morgan Kaufmann, 2011.
［10］Mhenni F, Choley J-Y, Nguyen N, et al. Flight control system Modeling with SysML to support validation, qualification and certification［J］. IFAC-PapersOnLine, 2016,49(3):453-458.
［11］SAE ARP 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment［S］.
［12］Mhenni F， Choley J Y， Penas O, et al. A SysML-based methodology for mechatronic systems architectural design［J］. Advanced Engineering Informations, 2014,28(3):218-231.
［13］Papadopoulos Y, Parker D, Gran C. Automating the failure modes and effects analysis of safety critical systems［C］// Proceeding of the 8th IEEE International Symposium on High Assurance Systems Engineering. 2004:310-311.
［14］Whiteley M， Dunnett S， Jackson L. Failure mode and effect analysis, and fault tree analysis of polymer electrolyte membrane fuel cells［J］. International Journal of Hydrogen Energy, 2016,41(2):1187-1202.
［15］Georgieva K. Conducting FMEA over the software development process［J］. ACM SIGSOFT Software Engineering Notes, 2010,35(3):1-5.
［16］严拴航,薛海红. 飞机区域安全性分析流程优化与实施方法［J］. 航空科学技术， 2014,25(4)36-41.
［17］许文平. 综合化航空电子资源融合机制研究［D］. 南京:南京航空航天大学, 2012.
［18］陈娟. 综合化航电系统相关技术研究及显控子系统的设计实现［D］. 成都:电子科技大学, 2013.

[1]	陆伟强. 面向民机制造业的混合云数据架构[J]. 计算机与现代化, 2023, 0(06): 95-102.
[2]	王小戏1，吴刚1，王灏2. 高并发高可用零售O2O交易系统的架构设计与业务实现[J]. 计算机与现代化, 2016, 0(4): 100-108.

基于SysML的航电系统架构安全性评估方法

SysML-based Avionics System Architecture Safety Evaluation

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价