ディペンダブル・システムのための形式手法の実践ポータル

カナディアン・パシフィック社、インターロッキングシステムの設計、シミューレーション、形式検証のためのProver iLockを標準に採用

情報源

http://www.prover.com/company/press/view/?id=46

発表日

2010/5/4

実施者等

Prover Technology、Canadian Pacific

概要

鉄道大手カナディアン・パシフィックが、信号システムの設計自動化のリーディング企業Prover Technologies社の「Prover iLock」を採用した。「Prover iLock」は、Microlok(R) II, ElectroLogIXS、VHLなどのプラットフォーム向けのインターロッキングシステムのコード生成、安全性検証、機能テストを自動化するためのソリューションである。

今度の予想

カナダの大手鉄道会社(Class I railroad company)に、形式手法が導入されることで、今後、カナダの中小鉄道会社（Class II, III)や制御系システムユーザ企業への導入が促進すると予想される。

このページの先頭へ戻る