飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此，必须开发新的技术和方法而且要与已有的方法相结合，以使飞行临界系统在合理开发费用下，达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求，提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。     

空中飞行模拟与电传飞机飞行试验

以电传操纵作为显著特征的第三代飞机飞行试验具有极大的挑战性和风险性。从电传飞机飞行试验所必需的飞行试验技术出发．研究和探讨了变稳飞机(空中飞行模拟器)对电传飞机飞行试验的重要性和特殊作用；概括和总结了中国飞行试验研究院利用变稳飞机在电传飞机飞行试验中所完成的研究工作及其重要意义；针对电传操纵，重点描述了对PIO的飞行试验研究以及试飞员培训等。     

安全临界系统的开发

由处理器和软件控制的系统,对安全临界设计的要求不断提高,现代机电一体化系统要求安全临界设计。嵌入式处理器和其软件是设计一般系统的核心,如四余度数字飞行控制系统、航电系统等,这些系统全部有很严格的安全性和可靠要求。这些系统的故障可能导致死亡甚至于潜在的几百万人的死亡。在软件控制系统中由于故障引发的严重安全事故记录已有很多,而且在增加。把软件引入到传统的电子－机械设备中会如何影响安全？电子技术、软件和系统工程师要对此认真评估,这是最基本的,甚至极端重要的。本文可供现代电传飞机的飞行试验工程师参考。