ATC系统测试方法研究与实现

软件测试是保证软件质量的最重要的手段，它代表了规约、设计和编码的最终评审。空中交通管制系统除了满足功能上的需求外，还必须满足时间约束，所以要搭建特殊的测试环境，以保证其实时性要求。     

实时多通道记录仪监控单元的实时可调度性分析

实时多通道记录仪是在实时嵌入式操作系统QNX下实现的多通道语音雷达同步记录仪系统。本通过单调速率分析法(RMA)对该记录仪系统监控单元的实时任务调度进行了分析，验证了系统具有实时可调度性，提高了系统的实时性和可靠性。