引言 在目前广泛使用在运输类飞机(如B747、B757、B767系列)上的航空电子设备基本采用的是分立-联盟(federated)架构,不同的功能由不同的计算机控制,例如发动机推力由自动油门计算机控制,飞机姿态由自动驾驶计算机控制,各个计算机之间通过特定的接口和协议进行数据通讯,并且与输入输出设备(如传感器、作动器等)形成控制-执行网.大量的使用经验表明,在安全性方面,分立-联盟架构本身固有