「カンタス航空の急降下事故、ソフトウェアのバグが原因だった」記事へのコメント

冗長性

[Anonymous Coward]

AFCS等は、言語もアルゴリズムも異なる、Ｎバージョンプログラミングで書かれてて、多数決システムになってると思ったんだけど、エアバスは違うのかな？

Re:冗長性

[Anonymous Coward]

元の報告書を当たってみました
www.atsb.gov.au/media/3532398/ao2008070.pdf

そもそも速度計ではなくAOA（迎え角）センサの異常ですね。
5台あるFCC全てが3台あるAOAセンサのデータ取得に同一アルゴリズムを使用していた様です。
こういう時の為に、それぞれ異なるアルゴリズムを使うものだと思っていたんですけどね。

Re:

[imaic (31975)]

ノートＰＣが原因かもというストーリーがありましたね。

カンタス航空旅客機の急上昇・急降下事故、ノートPCが原因？ [srad.jp]

警報音は出ていたらしいから、異常は検出していたと。

Re:

[Anonymous Coward]

高度・速度・エンジン・エレベータも正常なのにAOAがおかしいだけで急降下を決定する方がアルゴリズムとして変だと思う。

Re:冗長性

[Anonymous Coward]

飛行機にとってAOAリミット=失速ですから、AOAプロテクションが全ての制御則に優先する飛行機は結構多い気がします。

Re:

[Anonymous Coward]

飛行機にとって迎え角って何よりも優先すべき重要な管理項目ですよ。
たとえていうなら自転車で、速度や進路に異常がなくてもバンク角９０度超えは許容するわけにいかない、そのくらい大事。

Re:

[Anonymous Coward]

迎え角がとんでもない数値出してたら、人間アルゴリズムの手動操縦だって急降下を選択してしまいそうですよね。

Re:冗長性

[kawasaki_z750s (32690)]

バグが原因で実際に不具合を起こしたのは 3 つある速度計のうちの 1 つであるが

速度計が３つあるんだから多数決されていそうだけどねぇ…
単純に1個壊れたら別の速度計に切り替えられるだけとか？

Re:

[Anonymous Coward]

多数決をするシステムが壊れたら…

Re:冗長性

[kawasaki_z750s (32690)]

声の大きい人が勝つんじゃないかな…

Re:

[Anonymous Coward]

多数決を多数決するシステムを導入する。
そして（ｒｙ

Re:

[Anonymous Coward]

多数決するべき仕様になっていたけど、アルゴリズムにバグがあってそうならなかったという事故ではないかと。
親コメはそもそも仕様の実装にも冗長性をもたすべきという話だけど。

Re:

[Anonymous Coward]

バグがひとつって締めが混乱を招いてる気が。
バグは速度計の一つと、それを受け取って処理する操縦システムのアルゴリズムの両方にあったんでしょ。
つまりバグは２つ。

Re:

[Anonymous Coward]

マイノリティ・レポートを探しなさい！