Ansaldo STS(イタリア)は、スウェーデン運輸管理局(Swedish Transport Administration)に納品するERTMS Level 2のインターロッキングシステムの安全性検証を、Prover Certifierにより実施する。
Prover Certifierは、CENELEC EN50128 SIL 4認証に対する安全性の証拠を、形式検証により自動的に生成することができる。Prover Certifierにより、Ansaldo STSは従前のテストベースの手法をやめ、コストの削減しつつ安全性検証をシステムの100％に対して実施できるようになった。
Prover Certifierを提供するProver Technology(スウェーデン)はスウェーデン運輸管理局の安全性要求の形式仕様を定義する。この形式仕様に基づき、BodenとHaparanda("Haparandabanan")区間のすべてのERTMS Level 2 インターロッキングシステムにProver Certifierを適用する。形式安全性検証は、C言語で実装されたASTS SEIインターロッキングシステムのソフトウェアに対して実施される。
出典: Canada NewsWire, http://www.newswire.ca/en/, 2011/3/15
European Rail Traffic Management System(ERTMS)欧州鉄道運輸管理システム
Comite Europeen de Normalisation Electrotechnique (CENELEC) 欧州電気標準化委員会