QGen

信頼性の高いコードジェネレータ
QGenは、Simulink®およびStateflow®モデルの安全なサブセット用の、認証対応のコード生成およびモデル検証ツールスイートです。

QGenの特長

🔹Simulink®およびStateflow®で記述されたシステム向け高信頼性コードジェネレータ

🔹高位の認証を取得するシステム向けコードジェネレータ

🔹実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガ対応

🔹DO-178C ツール認定レベル 1 (TQL-1) 認定コード ジェネレーター

Simulink®およびStateflow®モデルで記述されたクリティカルソフトウェアシステム向けコードジェネレータ

QGenは、生成されたコードのモデル・セマンティクスを保持する自動コードジェネレータで、WindowsおよびLinuxプラットフォームサポート、Simulink®/Stateflow®の2011bから最新バージョンまで対応しています。 そのため、プロジェクトの要求に応じて、コードジェネレータを変更することなく、開発を進めることができます。

ダイレクトアクセス
Simulink®環境からダイレクトアクセス

QGenは、Simulink®環境のメニューバーなどから起動でき、広範なシミュレーションモデルに含まれている場合でも、単一のサブシステムであっても、コード生成と検証が可能です。

 

エラーレポート

QGen は、Simulink® モデルへのハイパーリンク形式でエラーレポートを生成し、モデリング規則に準拠したり、モデルのバグを修正したりするために問題点を発見します。

PILテスト

QGenは、プロセッサエミュレータ(GNATemulator)とカバレッジ解析ツール(GNATcoverage)と統合されており、シームレスなback-to-backプロセッサインザループ(PIL)テスト実行できます。 GNATcoverageは、コードインストルメンテーションなしでMC / DCまでの構造カバレッジ解析をサポートします。

認証取得に対応したコードジェネレータ

Simulink®およびStateflow®モデルから選択して作成された機能セットは、クリティカルシステムに適切なコード生成を保証し、安全ではない動作やコード生成につながる機能を除外しています。 QGenコードジェネレータは、C言語のMISRAサブセット、あるいはAda言語のSPARKサブセットでコードを生成します。生成されたコードがDO-178C、ISO26262、またはEN 50128などのソフトウェア規格に準拠した形式解析やプロジェクトに適しています。

モデルデバッガはモデル開発担当者とソースコード開発担当者の架け橋

QGenツールスイートには、自動コード生成のみならず、静的モデル検証と生成されたコードのモデルレベルのデバッグ機能が含まれています。

QGen モデルデバッガは、モデルと生成されたコードを並べて表示する機能、ブレークポイント設定、シグナル値の表示、更新、比較、ならびにステップ実行などが可能で、シミュレータまたはターゲット上で、生成されたコードや既存のコードをテストするために使用できます。この機能により、サブシステムの詳細デバッグが可能となり、ブロックまたはモデル全体の期待値との比較をback-to-backで行うことができます。

さらに、生成されたソースコードとモデルを一緒に表示することにより、制御エンジニアリングとソフトウェアエンジニアリングの間の架け橋となります。

DO-178C、TQL-1認定コードジェネレータQGen

QGen自動コードジェネレータは、DO-178C / ED-12C規格に準拠し、ツール資格レベル1(TQL-1)で認定されています。

TQL-1で認証されたQGenを利用すると、追加手順なしで生成されたコードを使用でき、クリティカルなシステムの開発と検証プロセスを効率化できます。生成されたソースコードを検証するために別のツールを必要とするコードジェネレータもあります。

QGenでのモデリング言語のサブセットは、生成コードが予測できるよう明確に定義されています。モデルシミュレーションの結果と生成されたターゲットコードの実行時のセマンティクスが正確に一致することを確認するテストが組み合わされています。

形式検証対応

QGen自動コードジェネレータは、MISRA CとAdaのSPARKサブセットの両方を生成できます。 特にSPARKは、アーキテクチャの安全性/セキュリティ制約とランタイムプロパティの両方の静的検証を含む、形式検証対応しています。SPARK形式手法アプローチは、他の検証手法にみる状態爆発はありません。SPARKを開発プロセスに組み込むことで、検証の効率化を図り、ミッションクリティカルなシステムの品質を高めることができます。

 

QGenデモ