基于模型检验的飞机系统安全性分析方法研究

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。     

民机机电综合子系统试验验证的实现

分析某型号机电系统(水/废水子系统)的各功能模块,研究了机电子系统与机电综合控制管理系统的交互关系,利用Visual C++与Matlab混合编程、多线程等技术完成机电子系统仿真环境软件的研制。仿真环境软件可以模拟真实水/废水系统功能,实现与机电综合控制管理系统交互指令和数据信息传输,试验和验证机电综合控制管理系统中的水/废水软件功能块。     

结合短帧优先的权重轮询AFDX端系统发送策略

提出一种新型的端系统虚链路调度（VL）策略,该策略在短帧优先基础上结合权重轮询（WRR）进行调度,既确保了重要短帧的优先级又可以平衡其他不同优先级信号的延迟上限。应用网络演算理论推导了基于该新型调度策略的端系统不同虚链路的延迟上界,研究了最大延迟上界与不同权重比及其帧长之间的关系,并建立了基于OPNET的航空电子全双工交换式以太网（AFDX）网络模型,仿真分析新型调度策略与短帧优先、带权重轮询调度算法下端系统数据的发送延迟。结果表明,该新型调度策略有效可行,降低了短帧虚链路的最大延迟时间,提高了长帧数据中较重要任务数据的处理带宽,适用于具有较多重要短帧并具有不同优先级数据的机载系统网络。