Case Study
安全稼働証明の認証プロセス効率化を達成するMBE
現在の鉄道には、より高度に制御ができるCBTC(Communication Based Train Control)の導入が進んでいます。しかし、鉄道安全規格EN 50129を取得するには、CBTC組込みソフトウェアがあらゆる動作条件において安全に稼働する証明が求められます。
ポーランドのRail-Mil社は、新たなソフトウェア開発プロジェクトにシステムの安全性解析やコード生成を担うMBE(Model Based Engineering)を活用し、短期間でプロジェクトを完遂しました。その取り組みをご紹介します。