アイティアクセス株式会社

2022年8月吉日

「第1回　オートモーティブ　ワールド　秋」出展のご案内

アイティアクセス株式会社は、2022年8月31日(水)～9月2日(金)に開催されます

記

開催概要

モデルベース開発支援フォーラムでの講演のご案内

「航空業界で認定されたCode Generator　空飛ぶ車、自動車への応用」と題した講演を致します。
展示会にご来場される方は是非ともお立ち寄りください。(受講無料・事前申込不要)

■講演者　：アイティアクセス （株）
■場所　　：展示会特設会場　3ホール内モデルベース開発支援フォーラム 会場
■時間　　：9月1日 (木) 11:00 ~ 11:30

出展社による製品・技術セミナー一覧

「見どころ」        

モデルベースエンジニアリングからコード生成までをカバーするソフトウエア開発を支援する各種ソリューション(AdaCore社製品)を紹介しています。

セーフ・セキュア　ソフトウェア開発MBDからターゲットデバッグまで

１、モデルベースデザイン – QGen

QGen は、Simulink ®モデル対応コードジェネレータC/SPARK コードを生成、モデルベリファイヤ、デバッグ機能を搭載しています。

特長：

• DO-178C　TQL-1認定取得　航空機搭載可能
• モデルと生成コードの一致性保証
• モデルカバレッジ後ソースコードカバレッジ不要
• Back-to-Backテスト軽減

２、モデル/コード – デバッグ

QGen Debuggerは、 Simulink ®モデルから生成されたコードをターゲット“Processor in the Loop”(PIL)で実行、ブレイクポイント設定、モデル/Cコード表示、シグナル値変更などが行える画期的なデバッガです。

３、形式検証 – SPARK Pro

SPARK Pro は、仕様部と実装部を形式記述しプログラムの検証が可能な開発ツールです。そのため、ユニットテストの工数等を大幅に削減し手戻りを最小化できます。検証は、コーディング規約の確認、フローチェック/依存性等の確認（静的検証)、コントラクトを使用した仕様検証で段階を踏んで行い、コードの安全性を高めます。
QGenコードジェネレータを使用してSimulink®からSPARKコードが生成可能です。

①形式検証フロー/ツール

②主な機能

• SPARKコードで記述することで安全性の向上
• 静的検査で不具合の発見、ランタイムエラー検出、ゼロ割、オーバーフロー非初期化変数の検出
• 依存関係の検証
• 事前、事後条件検証
• Simulink®モデルからSPARK生成可能（QGen）

③記述例

４、コード生成 – GNAT Pro

GNAT Proは、Ada/C/C++コンパイラを含んだソフトウェア・ツール・スィートです。
認証取得向けには、バージョン固定、トレーサビリティ・アナリシスに対応しています。