
モデル検証ツール 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 |
企業より |