「第9回 自動車機能安全カンファレンス 2021 オンライン」出展のご案内
アイティアクセス株式会社
2021年11月吉日
「自動車機能安全カンファレンス 2021オンライン」出展のご案内
アイティアクセス株式会社は、12月8日(水)~10日(金)に開催されます
「第9回 自動車機能安全カンファレンス2021オンライン」
にオンライン出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の展示を予定しております。
是非とも弊社オンラインブースにお立ち寄りくださいますようお待ち申し上げております。
記
開催概要
■名称 | 「第9回 自動車機能安全カンファレンス2021オンライン」 |
---|---|
■会期 | 2021年12月8日(水)~12月10日(金)※オンラインLive展示 2021年11月17日(水)~12月22日(水) ※オンライン展示 |
■お申込み | 下記URLより無料参加登録可能です。 https://aee.online.jsae.or.jp/ja/exhibition/detail.html?id=372 |
■入場料 | 無料(事前登録) |
■主催 | 株式会社インプレス |
「見どころ」
Vプロセスの仕様記述からコード生成までをカバーするソフトウエア開発を支援する各種製品を紹介しています。
展示製品紹介 AdaCore社
「SPARK Pro」 状態爆発知らずの形式検証
SPARK Proは、信頼性の高いソフトウエアを開発する際にFormal Method(形式手法)を応用して検証が可能で静的解析ツールが統合された開発環境です。
プログラムは、実装部と仕様部が分けて記述し、仕様部に条件Contract(Pre/Post)を記述してソフトウエアの安全性を検証することができます。
欧米では多くの実績があり、日本でも採用が徐々に始まっています。
・特徴
■ SPARK2014(Ada)言語対応
■ 静的解析ツール
■ 非初期化変数の検出
■ ランタイムエラー検出
■ Contractベースプログラミング
■ ISO26262/IEC61508 認定
「QGen モデルベリファイヤ&コードジェネレータ」
QGenはモデルベリファイヤとコード生成を標準装備した画期的なモデルベース開発に使用できるコードジェネレータです。モデルで、静的解析を行い、ゼロ除算等の従来実行時に解析可能であったエラーを検出、開発時間を大幅短縮します。Simulink®モデルならびにStateflow®からSPARK(Ada)およびCコードを生成します。Simulink®シミュレーション結果を記録し、モデルとコードの一致性検証を行うことができます。また、QGenデバッガを併用すればモデル-C-アセンブラを同一画面で表示して実HW上でもモデルデバッグが可能です。
・特徴
■ モジュラコード生成(アップデイトされたモジュールのみコード生成) 時間の効率化
■ QGenデバッガによるモデル、C、アセンブラデバッグ
■ モデル、Cコード一致性検証対応
■ モデルベリファイヤ静的解析ツール装備
■ 生成コードを任意に変更可能
■ SPARK,Cコード生成
■ 高可読性、トレーサビリティ
■ SPARK Proと併用して形式手法開発へ応用可能
■ 認証取得用ISO26262、DO178C向けツールクオリフィケーション・キット提供
■ QGenモデルデバッガ
「QGen SysML_to_Simulink ®Converter」(開発中)
SysMLで記述された図をSimulinkモデルへ変換するツールを開発中です。上位要求、アーキテクチャをSysMLで記述、変換ツールを使用して Simulinkモデルへ変換、さらにQGenを用いてSPARKならびにCコードを生成します。そのため、コードの安全性をSPARK Proで形式検証可能です。ビデオにて展示しています。
上位要求からコードに至るまで一貫した開発環境がご利用可能となります。
展示製品紹介 Nil社
「Cyclo.Req 日本語仕様書解析ツール」
Cyclo.Reqは、日本語で記述された仕様書を検査しその曖昧さを示します。「である/.ですます」はもとより文の長さ、目的語の欠落、係り受けの長さ等の検査が可能です。係り受けに関しては図示して、文書を変更するのに役立ちます。また、日本語検査が終了した仕様書からFSM(有限状態機械)ならびにSPARK言語を生成、コンパイルして振舞検査を実行できるため、仕様書の矛盾も検出可能です。
お問合せ先
- アイティアクセス株式会社 事務局担当
- 【新横浜本社】
-
〒222-0033 横浜市港北区新横浜3-17-6
TEL : 045-474-9095 / FAX : 045-474-8823 - 【大阪オフィス】
-
〒541-0058 大阪府大阪市中央区南久宝寺町3-1-8 MPR本町ビル3F
E-mail : info@itaccess.co.jp
URL : https://www.itaccess.co.jp/