航空电子软件的发展

本文评述在开发基于软件的航空电子系统时代计划到实现中与软件有关的关键问题所需的基本原理和方法，以便能满足预定的进度和预算。本文指出现在和将来的可促进开发过程的关键软件技术，还概述了崭露头角的模块化航空电子体系结构所产生的软件的本质。本文的中心论题是应该把系统和软件的产生过程放在尽可能形式化的理论基础之上。这样能有效地对付处于“危急关头”的基于软件的航空电子系统的复杂性。