-
题名一种基于航电系统架构模型的故障树自动建模方法
被引量：7
- 1
-
-
作者
徐文华
张育平
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2017年第12期2269-2277,共9页
-
基金
国家973计划(2014CB744901
2014CB744903
+1 种基金
2014CB744904
2014CB744905)
-
文摘
航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。
-
关键词
航电系统架构
系统建模语言(SysML)
故障树建模
AltaRica
卫式转换系统
-
Keywords
avionics system architecture
SysML
fault tree modeling
AltaRica
guarded transitions system
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名基于航电系统架构模型的安全性分析工具的设计与实现
被引量：4
- 2
-
-
作者
徐文华
张育平
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第S2期536-541,共6页
-
基金
国家973计划资助项目(2014CB744901
2014CB744903
+1 种基金
2014CB744904
2014CB744905)资助
-
文摘
航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。
-
关键词
航电系统架构
系统建模语言(SysML)
共模分析
区域安全性分析
故障树建模
-
Keywords
Avionics system architecture model
SysML
Common mode analysis
Zone safety analysis
Fault tree modeling
-
分类号
V243
[航空宇航科学与技术—飞行器设计]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名时间触发航电系统架构的建模及调度方法
被引量：7
- 3
-
-
作者
周璇
何锋
熊华钢
-
机构
北京航空航天大学电子信息工程学院
-
出处
《计算机工程与设计》
北大核心
2019年第1期1-7,83,共8页
-
基金
国防科技基金项目(0101070)
中国民航大学民用航空器适航与维修重点实验室开放基金项目(2017SW02)
-
文摘
为建立时间触发航空电子系统架构中分区调度处理与时间触发通信的匹配关系,提出网络分区化概念,设计系统时序匹配机制,借助体系结构分析与设计语言形成架构模型的形式化描述;基于此,提出由端系统时刻调度算法和交换机时刻调度算法构成的系统联合调度算法,实现分区轮转调度和网络通信调度的匹配调度设计;通过包含4个综合模块化处理区域和两个骨干交换机的实例对模型和算法进行分析,验证了架构模型的可行性和调度算法的有效性。
-
关键词
航电系统架构
时间触发
分区调度处理
网络分区化
时序匹配
-
Keywords
avionics system architecture
time-triggered
partition scheduling processing
network partitioning
timing consistent
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名时间触发网络在分布式架构中的应用分析
被引量：1
- 4
-
-
作者
赵永库
黄中华
-
机构
中国航空工业集团公司第一飞机设计研究院
中国人民解放军
-
出处
《电光与控制》
CSCD
北大核心
2022年第10期82-87,91,共7页
-
文摘
在分析综合化航电系统架构发展趋势的基础上,重点研究了分布式综合模块化航电(DIMA)系统架构的概念、模型、特点以及对时间触发网络的需求,提出了基于时间触发网络的分布式架构模型,研究了时间触发架构在分布式系统中的应用方法,为下一代航电系统架构选型和实现提供了解决思路。
-
关键词
时间触发网络
计算和通信模型
网络通信技术
分布式综合模块化航电系统架构
-
Keywords
time-triggered network
Models of Computation and Communication(MoCC)
network communication technology
Distributed Integrated Modular Avionics(DIMA)system architecture
-
分类号
V243
[航空宇航科学与技术—飞行器设计]
-
