综合模块化航空电子系统安全分析的模型检测方法

综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——模型检测,使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证,在系统需求规格的基础上给出了分析过程,利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合,从而达到传统故障树分析的目的,最终通过案例分析表明了该方法的实用性。     

FC网络交换技术基准测试方法研究

基准测试集Benchmark对于计算机领域来说是一个至关重要的组成部分,一般作为用于评价计算机性能的标准,随着机载FC网络交换技术的不断发展和革新,目前市面上没有一个通用的针对机载应用特性而进行研究的FC网络交换技术基准测试方法和数据集.该文首先通过对现今具有代表性的基准测试集进行分析和研究,主要包括嵌入式领域的嵌入式...     

基于PowerPC+DSP的弹道仿真系统软件设计

针对现代弹载计算机系统的发展趋势,结合某训练弹的弹道仿真实际需求,设计了基于PowerPC +多个DSP弹道仿真的软件。PowerPC负责高速数据的采集和弹道仿真的管理;DSP负责弹道的解算。系统软件包含数据存取、数据加卸载、数据传输等功能。系统软件充分利用系统资源,实现了弹道的实时解算,满足了弹道仿真要求。