ASIL D向け要求事項とコード間の双方向トレーサビリティ

安全目標および機能安全要求事項からMISRA Cソースコード、MC/DC構造カバレッジに至るまでの形式的トレーサビリティを自動化します。

安全目標の分解

高レベルのハザード分析およびリスクアセスメント（HARA）目標を、特定のゾーンECUおよびASILアイランドに対応付けられた技術安全要求事項へと分解します。

ハードウェア・イン・ザ・ループおよびユニットテストハーネスを通じて、安全性が重要なC/C++制御モジュール全体で100%の修正条件／判定カバレッジ（MC/DC）を徹底します。