自動車・産業機械・鉄道などさまざまな産業で、機能安全への対応が必須となりつつあります。大量の規格要求への対応や、安全説明力の向上対応などのため、開発コストが激増していることが大きな課題です。これらの追加活動に対して、小手先の改善活動だけでは、従来相当まで開発コストを減らすことはかなり難しいでしょう。

本セミナーでは、機能安全開発における形式手法の活用メリットや、成功事例について紹介します。形式手法の大きな可能性について、把握いただけると幸いです。