http://www.clearsy.com/news-en/news/affichage.php?action=voir&id=45
2010年10月25日
ニューヨーク市地下鉄、Battelle、 ClearSy
Battelle は、ニューヨーク市の地下鉄フラッシング線とカルバー線の自動化プロジェクトの枠組みの中で、ClearSyと提携契約を結んだ。
Battelle は、両路線の第三者安全監査機関（ISA）に選定されている。これは６年計画の670万ドル規模のプロジェクトで、両路線にはCBTC(Communication-Based Train Control・列車制御）が装備される。乗客の安全を確保しつつ、ニューヨーク市の地下鉄を改善するのが目的。このシステムには以下のものが含まれる。
・CBTC
・セントラルコマンドセンター
・信号装置
Battelle は、ClearSyのほか TÜV Rheinland Rail Sciences、Turner Engineering Corporation、Transport Resource Associates、Metro Tech Consulting Services との提携を決めている。
ClearSy は具体的には、Ｂメソッドを使用し、正式なシステム全体のモデル作成を担当。Ｂメソッドとは、Ｂ言語、refinement、数学的証明を基にした形式手法である。モデルを作成することにより、システムの安全性・信頼性が高められ、各機器の仕様書について一貫性と補正を高いレベルで確実にすることがことが可能になる。
Ｂメソッドは特に鉄道業界で、列車の自動化パイロットとして安全を重視するソフトウエア開発に使用されている。