全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 民用飞机综合模块化航电系统资源状态监控技术研究
- 作者： 李念霏 陈福 陈宁 王佳明 来源： 民用飞机设计与研究 年份： 2020 文献类型 ： 期刊 关键词： 综合模块化航电系统(IMA) 资源状态 性能分析 时间资源 系统行为
- 描述： 随着处理器和机载嵌入式实时分区操作系统等相关技术的不断升级换代,IMA系统功能的集成度也越来越高,高集成度增加了系统资源分配的难度,需要通过对系统资源状态进行实时监控和分析进而不断优化系统配置。首先对IMA系统的分区特性进行了深入研究,基于探针插桩监控数据采集技术,提出了一种系统行为和时间资源状态监控的策略。研究了数据监控采集系统的软件架构,在此基础上设计和实现了系统行为监视器和时间资源监视器,并在某民机重点预研课题中进行了应用验证。结果表明,能够有效帮助应用开发者和系统综合者直观分析系统时间性能瓶颈,优化资源配置方案,实现计算资源的负载均衡。对IMA系统资源状态监控及资源配置优化具有一定的指导意义和实用价值。
- 综合模块化航空电子系统安全分析的模型检测方法
- 作者： 邝安玄 马超 王佳明 来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测 综合模块化航空电子系统 系统分析 安全性
- 描述： 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配，但集成工作增加了系统的复杂性，同时使系统的故障在综合过程中传播到其他系统，这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能，存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题，提出了一种新的综合模块化航空电子系统安全分析方法——模型检测，使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。