DO-178C TQL-1認定取得済！信頼性の高いコードジェネレータです
◆Simulink およびStateflow で記述されたモデル対応コードジェネレータ
◆形式検証言語SPARK、MISRA-C生成
◆上位の認証を取得するシステム向けコードジェネレータ
◆実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガ対応
◆航空機向けDO-178C ツール認定レベル1
(TQL-1) 認定済コード ジェネレータ
◆Simulink2011bから最新版まで対応
◆詳細はカタログをダウンロードしご覧いただくか、お気軽にお問い合わせ下さい。
このカタログについて
| ドキュメント名 | Simulink(R)モデル対応『QGenコードジェネレータ』 |
|---|---|
| ドキュメント種別 | 製品カタログ |
| ファイルサイズ | 453.2Kb |
| 登録カテゴリ | |
| 取り扱い企業 | アイティアクセス株式会社 (この企業の取り扱いカタログ一覧) |
この企業の関連カタログ
このカタログの内容
Page1
MBD
Simulink®モデル検証ツール
コードジェネレータ QGen Code Generator
DO-178C TQL-1 認定取得済
MATLABからQGen Code Generator起動
Simulink®およびStateflow®で記述された
モデル対応コードジェネレータ
形式検証言語SPARK、ＭＩＳＲＡ-Ｃ生成
上位の認証を取得するシステム向けコード
ジェネレータ
実ハードウェアでモデルを検証デバッグ
できるモデル・レベル・デバッガ対応
航空機向けDO-178C ツール認定レベル 1
(TQL-1) 認定済コード ジェネレータ
Simulink2011bから最新版まで対応
QGenは、 Simulink®およびStateflow®の約120ブロックのサブセットに対応して安全なコードを生成
対応ブロックは以下のURLを参照してください。
Simulink Block Types and Constraints
QGenTQL1ツール資格とプロセスによってDO-331認証で省略可能なObjectives
AdaCore社の製品は、民間航空機の電子システム、軍事防衛システム、航空管制・制御、
鉄道システム、宇宙システム、自動車、医療機器、金融サービス分野の主要な民間企業や
政府機関を含む世界中のお客様が使用されています。各プロジェクトの概要に関しては、
www.adacore.com/ industries/をご覧ください。
AdaCore ? www.adacore.com ✉ info@adacore.com
代理店：アイティアクセス株式会社 ? https://www.itaccess.co.jp/service/adv/adacore/ ✉ info@itaccess.co.jp