
モデル検証ツール Qgen Verifier(ソフトウェア)
アイティアクセス株式会社
項目 | 詳細 |
---|---|
ロボットで主に使用する箇所 | Simulink®モデル検証 認証取得 |
主な導入事例 | お問い合わせください。 |
納期 | お問い合わせください。 |
価格 | お問い合わせください。 |
- 納期・価格は随時変動していますので、詳細は『お問い合わせボタン』よりお問い合わせ下さい。
特長
『QGen モデルベリファイヤ』は、Simulink®で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。MISRA Simulink®のルールに違反していないかをチェック。モデルから生成されたコードにエラーが含まれていないかを検証します。
また、当製品のレポートはHTML形式やCSVで出力され、エラーの可能性があるSimulink®ブロックへのリンクが示され、直接ジャンプでき、ブロックからトップレベルのモデルまで、モデル全体におけるエラーの状況を把握する手助けとなります。
【検証項目(一部)】
■ランタイムエラー検査
- データタイプオーバーフロー
- ゼロ割
- アレイインデックス
- デッド実行パス
- 詳細は、PDFダウンロード、もしくはお問い合わせよりご連絡ください。
- お問い合わせで
『ノイズ対策本』プレゼント!
企業情報
社名 | アイティアクセス株式会社 |
---|---|
所在地 | 〒222-0033 神奈川県横浜市港北区新横浜3-17-6 |
電話番号 | 045-474-9095 |
企業より |