| 面向航电系统容错特征的任务可靠性建模方法研究 |
| |
| 引用本文： | 王璟玢,吕星,马玉林,肖寅.面向航电系统容错特征的任务可靠性建模方法研究[J].航空电子技术,2021,52(1):10-15. |
| |
| 作者姓名： | 王璟玢 吕星 马玉林 肖寅 |
| |
| 作者单位： | 中国航空无线电电子研究所, 上海 200241 |
| |
| 摘 要： | 基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究，考虑系统的容错特征及其模式转移逻辑，建立AADL系统建模语言与GSPN模型的转化规则，进行系统可靠性定量分析，并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强，为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。
|
| 关 键 词： | 航电系统 容错系统 任务可靠性 |
| 收稿时间： | 2020/11/4 0:00:00 |
| 修稿时间： | 2021/2/25 0:00:00 |
Research on Mission Reliability Modeling Method for Fault-tolerant Avionics System |
| |
| WANG Jing-bin,LUI Xing,MA Yu-lin,XIAO Yin.Research on Mission Reliability Modeling Method for Fault-tolerant Avionics System[J].Avionics Technology,2021,52(1):10-15. |
| |
| Authors: | WANG Jing-bin LUI Xing MA Yu-lin XIAO Yin |
| |
| Institution: | China National Aeronautical Radio Electronics Research Institute, Shanghai 200241, China |
| |
| Abstract: | Based on the Architecture Analysis and Design Language and Generalized Stochastic Petri Nets model, mission reliability modeling research for DIMA system is conducted, taking into account the fault-tolerant and mode transition characteristics. The quantitative analysis is carried out after the transformation rules from AADL language to GSPN model established. Finally, the simulation is applied within typical avionics. The methods proposed are highly implementable, and provide references for system mission reliability modeling of multi-mode avionics with fault-tolerant techniques. |
| |
| Keywords: | China National Aeronautical Radio Electronics Research Institute Shanghai 200241 China |
|
| 点击此处可从《航空电子技术》浏览原始摘要信息 |
| 点击此处可从《航空电子技术》下载免费的PDF全文 |
|
