製品カタログイメージ

モデル検証ツール Qgen Verifier(解析&シミュレーション一般)

アイティアクセス株式会社
<製品の概要表>
項目 詳細
EV(電気自動車)で主に使用する箇所 Simulink®モデル検証
認証取得
主な導入事例 お問い合わせください。
納期 お問い合わせください。
価格 お問い合わせください。
  • 納期・価格は随時変動していますので、詳細は『お問い合わせボタン』よりお問い合わせ下さい。
特長

『QGen モデルベリファイヤ』は、Simulink®で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。

MISRA Simulink®のルールに違反していないかをチェック。モデルから生成されたコードにエラーが含まれていないかを検証します。また、当製品のレポートはHTML形式やCSVで出力され、エラーの可能性があるSimulink®ブロックへのリンクが示され、直接ジャンプでき、ブロックからトップレベルのモデルまで、モデル全体におけるエラーの状況を把握する手助けとなります。

【検証項目(一部)】
■ランタイムエラー検査

  • データタイプオーバーフロー
  • ゼロ割
  • アレイインデックス
  • デッド実行パス
  • 詳細は、PDFダウンロード、もしくはお問い合わせよりご連絡ください。

  • お問い合わせで
    『ノイズ対策本』プレゼント!

企業情報

社名 アイティアクセス株式会社
所在地 〒222-0033
神奈川県横浜市港北区新横浜3-17-6
電話番号 045-474-9095
企業より

EV-techの一般関連カタログ