フォロー
旅客機の制御コンピューター（オレンジ調べ＞＜；）
ボーイング777
AMD Am29050(Adaで開発)
エアバスA320
68010 + 80186
エアバスA340(330も？＞＜)
80386 + 80186（アセンブリ、PL/M、Pascal、Adaで開発）
エアバスA380
Power PC（の複数の種類のチップで多重化？＞＜）
