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

冗長性

[Anonymous Coward]

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

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]

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