ルールに違反していないかをチェック！モデル全体におけるエラーの状況を把握する手助けとなります
『QGen モデルベリファイヤ』は、Simulink(R)で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。
MISRA Simulink(R)のルールに違反していないかをチェック。モデルから生成されたコードにエラーが含まれていないかを検証します。
また、当製品のレポートはHTML形式やCSVで出力され、エラーの可能性があるSimulink(R)ブロックへのリンクが示され、直接ジャンプでき、ブロックからトップレベルのモデルまで、モデル全体におけるエラーの状況を把握する手助けとなります。
【検証項目（一部）】
■ランタイムエラー検査
・データタイプオーバーフロー
・ゼロ割
・アレイインデックス
・デッド実行パス
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
このカタログについて
| ドキュメント名 | Simulink(R)モデル検証ツール 『QGenベリファイア』 |
|---|---|
| ドキュメント種別 | 製品カタログ |
| ファイルサイズ | 706.3Kb |
| 登録カテゴリ | |
| 取り扱い企業 | アイティアクセス株式会社 (この企業の取り扱いカタログ一覧) |
この企業の関連カタログ
このカタログの内容
Page1
MBD
Simulink®モデル検証ツール
モデル検証 QGen Verifier
QGen Verifierは、Simulink®で作成されたモデルを検証するツールで、MATLABメニューあるいは
コマンドラインから実行できます。
QGen Verifierは、MISRA Simulink®のルールに違 MATLABからVerifier起動
反していないかをチェックし、モデルから生成された
コードに以下のエラーが含まれていないかを検証し
ます。
ランタイムエラー検査
• データタイプオーバーフロー
• ゼロ割
• アレイインデックス
• デッド実行パス
フロー検査
• 結果が常に真、偽、条件確定済
• 常に同じ値を返す式
機能、安全プロパティ例外
• アサーションブロックのエラー検出
QGen VerifierレポートはHTML形式やCSVで出力されます。エラーの可能性があるSimulink®ブロックへ
のリンクが示され、直接ジャンプでき、ブロックからトップレベルのモデルまで、モデル全体におけるエ
ラーの状況を把握する手助けとなります。
QGen Verifierレポート オーバーフロー検査の例
AdaCore社の製品は、民間航空機の電子システム、軍事防衛システム、航空管制・制御、
鉄道システム、宇宙システム、自動車、医療機器、金融サービス分野の主要な民間企業や
政府機関を含む世界中のお客様が使用されています。各プロジェクトの概要に関しては、
www.adacore.com/ industries/をご覧ください。
2021.10 R1
AdaCore ? www.adacore.com ✉ info@adacore.com
代理店：アイティアクセス株式会社 ? https://www.itaccess.co.jp/service/adv/adacore/ ✉ info@itaccess.co.jp