一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

信息时代测试技术的发展与展望

信息时代为测试和评估技术的发展提供了先进的技术手段和发展空间。通过对现有测试技术的分析,结合国内外测试技术的发展趋势,提出测试技术未来的发展框架和突破方向。     

可收放状态下起落架支柱压缩量实测方法

介绍了一种在能收放起落架的飞行情况下，测量前、主起落架支柱压缩量的方法。该方法在国内属首次．并在飞豹飞机载荷谱实测中得到成功应用。文中介绍了具体的方法，并提出了改进的建议。该方法对其他飞机同时进行机体飞行载荷谱与起落架载荷谱的测量具有参考价值。