製品カタログイメージ

モデル検証ツール QGen Code Generator（ソフトウェア）

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

『QGen Code Generator』は、Simulink®およびStateflow®モデルの安全なサブセット用の、認証対応のコード生成およびモデル検証ツールスイートです。

形式検証言語SPARK、MISRA-C生成。実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガに対応可能です。

  • ■Simulink®およびStateflow®で記述されたモデル対応
  • ■形式検証言語SPARK、MISRA-C生成
  • ■上位の認証を取得するシステム向け
  • ■実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガ対応
  • 詳細は、PDFダウンロード、もしくはお問い合わせよりご連絡ください。

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

企業情報

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

関連カタログ