エレベーター暴走はプログラムのミス

miya_na8c 曰く、

東京都港区で一人が亡くなる暴走事故を起こしたエレベーターの製造元シンドラー社は、エレベーターの暴走はプログラムのミスによるものだったことを明らかにした。 朝日新聞の記事によると、

この設計ミスによって、扉が閉まって０・２５秒以内に「開」のボタンを押すと、扉が開くにもかかわらず、扉が閉まってから０・５秒後に始まるモーターの起動が止まらず、かごが動き出す。コンピューターが、かごが止まっていると誤認して、指定階に止まるよう指示しないため、かごはそのまま最端部まで動いてしまう

とのこと。さらに、

同社は93年にこのミスに気付き、据え付け済みの49台のプログラムを更新したが、ミス発覚後に据え付けた千葉県浦安市と神奈川県相模原市のエレベーター計3台には誤って古いプログラムを搭載してしまった。

とのことで、混乱が伺われる。 仕様書の定義問題、テスト不足、バージョン管理ミス等が指摘されうるが、さて、本件を巡る/.J技術者諸氏の見解は？