2018年1月吉日

「第10回国際カーエレクトロニクス技術展（カーエレ JAPAN）」出展のご案内

アイティアクセスは 1月17日(水)～19日(木)の3日間、東京ビッグサイトにて開催される
「第10回国際カーエレクトロニクス技術展（カーエレ JAPAN）」
へ出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の展示を予定しております。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。

記

開催概要

展示製品紹介

「安全認証取得」

AdaCore社は長年、安全認証を取得する上で必要なソフトウエア開発環境ならびに各種エビデンスを提供してまいりました

＊DO-178C、IEC61508、EN50128他

GNATpro 開発環境、SPARKｐro形式手法開発環境で対応

＊QGenコードジェネレータでは、今後DO178C/DO331,ISO26262の安全規格を取得いたします。

「QGen モデル・ベリファイヤ＆コードジエネレータ」

QGenはモデルベリファイヤとコード生成を標準装備した画期的なモデルベース開発に使用できるコードジェネレータです。
モデルを未コンパイルで、静的解析を行い、ゼロ除算等の従来実行時に解析可能であったエラーを検出、開発時間を大幅短縮します。

SimulinkモデルならびにStatefｌowに対応し、SPARK(Ada）およびCコードを生成します。Simulinkシミュレーション結果を記録してCレベルにて一致性検証を行うことができます。
また、QGenデバッガを併用すればモデル-C-アセンブラを同一画面で表示して実HW上でモデルデバッグが可能。

特徴

• QGenデバッガによるモデル、C、アセンブラデバッグ
• モデル、Cコード一致性検証対応
• モデルベリファイヤ静的解析ツール装備
• 生成コードを任意に変更可能
• SPARK,Cコード生成
• 高可読性、トレーサビリティ
• SPARKProと併用して形式手法開発へ応用可能
• 認証取得用ISO26262、DO178C向けツールクオリフィケーション・キット提供

QGenモデルデバッガ

「SPARK Pro」

SPARK Pro は Formal Method（形式手法）を活用した方法で信頼性の高いソフトウェア検証が可能な静的解析ツールが統合された開発環境です。
SPARK は高信頼性ソフトウェア設計仕様の記述言語でありSPARK Pro は、SPARK 2014 の言語をサポートしており、GNAT Programming Studio (GPS) とGNATbench のIDE に統合されている高度な検証ツールを提供します。

特徴

• SPARK2014（Ada)言語対応
• Contractベースプログラミング
• Contractはデバッグ完了後、非実行化可能実行速度への影響がありません。
• 静的解析ツール対応

「GNATpro」

GNATproは、コンパイラ（Ada,C,C++)、静的解析、動的解析ツールが統合化された開発環境です。
多くのDO-178B/C ,IEC-61508等の安全認証を取得した実績があり、認証取得用にサーティフィケーション、クオリフィケーションキットが提供されます。

主なツール

• Ada,Cコンパイラ、リンカ
• CodePeer静的解析ツール
• GNATstack スタックチェッカ
• GNATcoverageコードカバレッジツール
• GNATemulator コードシミュレータ

認証取得サポート

• 認証取得用ドキュメント DO-178C、IEC61508他
• オンサイトトレーニング

開発中製品

「SysML-Simulink モデルコンバータ」

SysMLで記述された図をSimulinkモデルへ変換するツールを開発中です。上位要求、アーキテクチャをSysMLで記述、変換ツールを使用して　SimulinkモデルあるいはC/SPARK言語へ変換します。そのため、形式検証を行いコードの安全性、セキュアであることをSPARKProを用いて検証可能です。

上位要求からコードに至るまで一貫した開発環境がご利用可能となります。