製品ナビは、工業製品からエレクトロニクス、IT製品まで、探している製品が見つかります
すべてのカテゴリー
  1. トップ
  2. 企業情報
  3. アイティアクセス(株)
  4. 製品
  5. コード生成／モデル検証ツールスイート QGen Code Generator

コード生成／モデル検証ツールスイート QGen Code Generator

アイティアクセス(株)

最終更新日:2021/10/21

このページを印刷
  • コード生成／モデル検証ツールスイート QGen Code Generator
SimulinkおよびStateflowで記述されたモデル対応コードジェネレータ
【QGen Code Generator】は、上位の認証を取得するシステム向けコードジェネレータ。形式検証言語SPARK、MISRA-Cを生成。実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガ対応。航空機向けDO-178C ツール認定レベル1 (TQL-1) 認定済み。Simulink2011bから最新版まで対応。
    　　　　　　　　

  • 製品のサイトへ

一緒に閲覧されている製品

コード生成／モデル検証ツールスイート QGen Code Generatorのお問い合わせ

お問い合わせはこちら

その他製品一覧

ランキング

制御ソフトウェア検証ツール RAMScope
制御ソフトウェア検証ツール RAMScope(株)DTSインサイト

企業基本情報

社名：
アイティアクセス(株)
住所：
〒 222-0033
横浜市港北区新横浜3-17-6
Web：
https://www.itaccess.co.jp/