民机航路管制平台的验证与测试技术研究

目前航空管制平台都是基于成熟的航空公司运营开发的,因此数据封闭,无法二次开发。针对这个问题,需要研究民机航路管制平台的验证与测试系统,分别为仿真机载无线电台和机载通信系统,完成民机从飞机-链路-地面之间数据传输的仿真,完整地对数据传输链路进行设计。除了地面和机载两大子系统以外,还详细设计了地面和模拟机载设备之间的连接,数据接口格式和数据存储单元,拥有我国的航路管制数据,打破数据封闭的问题。

基于形式化方法的航天器软件系统测试技术

随着航天技术的飞速发展,航天器软件系统复杂度正在逐渐上升,导致航天器系统面临的软件系统安全性、可靠性问题越来越突出,将直接影响到航天器软件系统安全性能。如何有效验证测试航天器软件系统的安全性、可靠性已经成为航天器测试技术领域中需要深入研究的重点问题。本文针对航天器软件系统安全需求,归纳列举各类基于严格数学思想的形式化测试验证技术和相关模型,此类技术能够用于复杂软件系统的测试验证工作,有效发现系统中存在各类安全问题和系统缺陷,提升软件系统产品的安全性和可靠性。

非侵入式光学探测技术加快硅片调试

包括激光电压探测和时间分辨发射技术的非侵入式光学检测方法,有助于设计工程师获取硅片成功,缩短产品进入市场的时间。