-
题名航空全双工交换以太网冗余管理机制研究
被引量：10
- 1
-
-
作者
陈昕
杨杰
周拥军
-
机构
清华大学计算机科学与技术系
北京信息科技大学信息安全系
洛阳电光设备研究所电子部
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第2期102-105,共4页
-
基金
国家自然科学基金No.90104002
国家高技术研究发展计划(863)No.2001AA112080
+1 种基金
北京市属市管高校人才强教计划(No.PXM2008-014224-055928)
北京市教委科技发展面上项目资助~~
-
文摘
围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用Network Calculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM。然后,运用时序自动机模型的验证工具UPPAAL,对所提出的SKRM冗余管理算法进行仿真验证。结果证明,SKRM冗余管理算法是有效的,可以保证航电网络数据传输可靠性要求。
-
关键词
航空全双工交换以太网
最大偏移
冗余管理算法
仿真验证
-
Keywords
Avionics Full-Duplex Ethernet（AFDX）
SkewMax
SkewMax Redundancy Management（SKRM）
simulation verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名AFDX冗余管理机制的仿真
被引量：9
- 2
-
-
作者
陈昕
路娟
周拥军
-
机构
清华大学计算机科学与技术系
北京信息科技大学信息安全系
洛阳电光设备研究所电子部
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第23期92-94,共3页
-
基金
国家自然科学基金资助项目(90104002)
国家"863"计划基金资助项目(2001AA112080)
+1 种基金
北京市属市管高校人才强教计划基金资助项目(PXM2008-014224-055928)
北京市教委科技发展面上基金资助项目
-
文摘
介绍了AFDX系统的组成及体系结构,通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究,提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真,验证了其满足航空电子网络数据传输的可靠性需求。
-
关键词
冗余网络
冗余管理
最大偏移
时间自动机
-
Keywords
redundant network
redundancy management
SkewMax
timed automata
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于随机Petri网的机载软件更新系统性能评价
被引量：1
- 3
-
-
作者
李淑敏
陈水忠
张辉
蔡俊
陈昕
-
机构
洛阳电光设备研究所电子部
北京信息科技大学
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2012年第10期2098-2101,2125,共5页
-
基金
国家973计划项目(2011CB311809)
国家自然科学基金(60973107)
北京市属市管高校人才强教计划(PXM2008-014224-055928)
-
文摘
近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。
-
关键词
随机PETRI网
机载软件更新
瞬时概率分析
性能评价
-
Keywords
Stochastic Petri Nets
On-Board software update
transient probability analysis
performance analysis
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名OBSUS:一种高效的机载软件更新系统仿真评价
- 4
-
-
作者
刘宗奇
陈昕
郑永瑞
张蕾
-
机构
北京信息科技大学计算机学院
网络文化与数字传播北京市重点实验室
洛阳电光设备研究所电子部
河南科技大学电子信息工程学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2014年第5期10-13,63,共5页
-
基金
国家自然科学基金项目(60973107)
国家重点基础研究发展计划项目(2011CB311809)
北京市属市管高校人才强教计划项目(PXM2008-014224-055928)
-
文摘
航空电子产业中航电综合化是目前航电系统发展的主要趋势,在综合化航电系统中,越来越多的功能模块采用软件实现,来代替硬件的相应功能,同时软件系统是需要不断更新的,因此软件更新系统的作用显得尤为重要。围绕航电系统中的软件更新关键技术,通过研究机载环境及其软件更新的特点,提出一种新型机载软件更新系统OBSUS(On-Board Software Update System)。通过OBSUS系统架构设计,以及通信协议Xmodem+的实现,使得OBSUS可部署在多种硬件平台中,以满足机载环境软件更新的要求,具有较强的普适性。最后,在真实硬件平台上实现了OBSUS原型系统,并对系统的性能进行了仿真研究与性能评价。仿真验证结果表明,OBSUS是一种高效的机载软件更新系统。
-
关键词
航电综合化
机载航电系统
软件更新
仿真评价
-
Keywords
Integrated modular avionics On-board avionics system Software update Simulation-based evaluation
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
