星载设备测试计算机软件的设计与实现

给出我国在研的某型星载设备测试计算机软件的设计思想和方法,重点阐述以分层的思想进行软件总体设计以及各层的具体实现过程,并探讨关于测试数据的存储、MSComm控件的实时通信能力和实时数据的动态显示问题。实用结果表明设计方案有效。     

设备集中监控无人值守是未来空管设备管理的发展方向

集中监控,就是用现代电子监测、控制装置代替人工,对分布的站点的设备、电源、空调、油机、蓄电池、高低压配电等多种设备和环境的各种参数、图像、声音等进行遥测、遥信和遥控,实时监测其运行参数,诊断和处理故障,记录和分析相关数据,并对设备进行集中监控和集中维护的计算机控制系统。它是数据采集、网络传输、计算机软件/硬件设备和其它多种技术的综合应用。目前国内已有电信、移动和电力等部门对其分布的通信局(站)、微波站或电站的多种设备和环境进行集中监控、集中维护,力图实现偏僻站点少人或无人值守。中国民航目前已建设的雷达导航空管设备已具备一定规模,其中:无方向信标370余套、全向信标/测距设备170余套、雷达50余套,它们都分布在机场终端区和航路上。因此,实现雷达导航设备集中监控无人值守具有非常重要的意义。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。