SPSミェチコフスキは、自社が整備した列車をメーカーのコードが動かなくさせたことを証明してNewagに勝った

ワルシャワ証券取引所に上場するノヴィ・ソンチ出身の鉄道車両メーカーNewagは、保守文書を自社専有のものとして扱うことで、Impuls電車の保守を長く独占してきた。そのため事業者はメーカーの高価な工場を使わざるを得なかった。EUの鉄道規則の再解釈によって独立系企業にも業務が開かれ、ビドゴシチ近郊の工場であるSPSミェチコフスキは、そうした数百万ズウォティ規模の保守入札をより低い価格で受注し始めた。

2022年、SPSで整備された下シロンスクのImpuls車両4両が始動しなくなった。コレイェ・ドルノシロンスキェは納入遅延を理由にSPSに200万ズウォティ超の違約金を科し、Newagはこの工場が無能だという話を広めた。Newagに送り返された車両は追加支払いの後に再び走った。その後、SPSに一度も届いていない車両も止まり始め、その中には数日以上駐車していただけの車両もあり、修理不良という説明は成り立たなくなった。

SPSはポーランド有数のセキュリティチームの一つであるDragon Sectorを雇った。研究者たちは2か月かけてImpulsの制御コンピュータをリバースエンジニアリングし、Cを経てアセンブリにコンパイルされたIEC 61131-3ロジックで、検索できる文字列もない中から、意図的な停止ルーチンを発見した。すなわち、10日間のアイドル後に作動するロック、SPS自身のサービスホール（うち一つはまだ建設中）にハードコードされたジオフェンス、そして毎年11月21日以降に列車を動かなくさせ、運転台にはコンプレッサー故障を表示する日付条件である。

SPSに謎を解ける人材がいると広まると、10社の事業者が29両を彼らのもとに送った。2023年12月5日、Dragon SectorはワルシャワのOh My H@ckカンファレンスで調査結果を発表し、Onetがその記事を掲載した。Newagはすべてを否定して第三者に責任を転嫁したが、ポーランド中央汚職対策局が調査しており、コレイェ・ドルノシロンスキェは違約金の取り消しとメーカーへの訴訟を検討すると述べ、この事件はHacker Newsで1,076ポイントの議論になった。

機械のファームウェアを謎ではなく証拠として扱う

ファームウェアは沈黙の証人だった。ハードコードされた日付やGPS座標は、修理ミスや部品故障として説明し逃れることはできない。

分析は工場からもメーカーからも独立していたため、その結論は事業者、規制当局、裁判所に対して重みを持った。

列車のブロックを解除したことで事業者に修正手段と話し合う理由が生まれ、口コミで10社から29両がDragon Sectorのもとに集まった。

公開報告書は責任の所在を逆転させた。SPSに違約金を科した顧客は違約金を取り消してNewagを訴えると述べ、汚職対策局は事件を立ち上げた。

コードを自分で制御できない機器の故障で責められたら、違約金を払う前に独立したフォレンジック分析を買うこと。ファームウェアは作者の記録を残している。

2023年12月時点で、影響を受けた列車は運行に復帰しており、コレイェ・ドルノシロンスキェは、修正後は自社のImpuls車両が問題なく走っていると述べ、SPSに科した違約金の取り消しとNewagへの提訴を検討していた。Newagは申し立てを否定し、第三者による妨害があったと述べ、99パーセントの信頼性記録を挙げたが、コメンテーターは記事公開後に同社の株価が下落したと指摘した。この事件は国家的なスキャンダルとなり、Hacker Newsで1,076ポイントの議論となり、ポーランドの汚職対策局による調査となった。