ECU ソフトウェア開発
Reactis
概要
情報 モデルからテストベクターを自動生成、同時にカバレッジを計測しモデルの検証効率を大幅に向上させる。更に、監視モデルによりコントローラが仕様に違反しないか監視させる事により,形式的に検証が可能。
特徴
多くのMATLAB®バージョンに対応した3rdパーティー製品。
機能:
- 検証用データ自動生成
- カバレッジ計測
- レポート生成
- 違反検出
ECU ソフトウェア開発
情報 モデルからテストベクターを自動生成、同時にカバレッジを計測しモデルの検証効率を大幅に向上させる。更に、監視モデルによりコントローラが仕様に違反しないか監視させる事により,形式的に検証が可能。
多くのMATLAB®バージョンに対応した3rdパーティー製品。
機能:
- 検証用データ自動生成
- カバレッジ計測
- レポート生成
- 違反検出