「人とくるまのテクノロジー展2018 横浜」出展のご案内
アイティアクセス株式会社
2018年4月吉日
「人とくるまのテクノロジー展2018 横浜」出展のご案内
アイティアクセス株式会社は、5月23日(水)~5月25日(金)パシフィコ横浜におきまして開催されます
「人とくるまのテクノロジー展2018 横浜」
に出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の展示を予定しております。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。
記
開催概要
■名称 | 「人とくるまのテクノロジー展2018 横浜」 |
---|---|
■会期 | 5月23日(水)~5月25日(金) |
■会場 | パシフィコ横浜 ブース番号153 |
■入館時間 | 10:00-18:00(最終日のみ17時まで) |
■入場料 | 無料(事前登録) |
■主催 | 公益社団法人自動車技術会 |
「見どころ」
Vプロセスの仕様からコード生成までをカバーする製品を展示しています。
*仕様書検査(日本語対応)Cyclo.Req
日本語表記の仕様書を検査して目的語が無い等の誤りを訂正、SPARK言語を生成して仕様の振舞検査が可能なツール。
*SysML_to_Simulink コンバータ
SysMLで記述した要件、図をSimulinkモデルへ変換するツール(開発中)
*QGen Verifier&CodeGenerator
Simulinkモデルの検査や形式言語を生成するコードジェネレータを用いて形式手法検証を行うことができます。
機能安全を重視した要件作成からコード生成まで対応したAdaCoreの開発環境をご覧ください。
展示製品紹介 AdaCore社
「SPARK Pro」 状態爆発知らずの形式検証
SPARK Pro は Formal Method(形式手法)を活用した方法で信頼性の高いソフトウエア検証が可能な静的解析ツールが統合された開発環境です。
Contract(Pre/Post)を記述してソフトウエアの安全性を保証することができます。欧米では多くの実績があり、日本でも採用が徐々に始まっています。
特徴
- DO333認証取得予定
- SPARK2014(Ada)言語対応
- Contractベースプログラミング
- 静的解析ツール対応
「安全認証取得」
AdaCore社は長年、安全認証を取得する上で必要なソフトウエア開発環境ならびに各種エビデンスを提供してまいりました
*DO-178C、IEC61508、EN50128他
GNATpro 開発環境、SPARKpro形式手法開発環境で対応
*QGenコードジェネレータでは、今後DO178C/DO331,ISO26262の安全規格を取得いたします。
「QGen モデル・ベリファイヤ&コードジエネレータ」
QGenはモデルベリファイヤとコード生成を標準装備した画期的なモデルベース開発に使用できるコードジェネレータです。
モデルを未コンパイルで、静的解析を行い、ゼロ除算等の従来実行時に解析可能であったエラーを検出、開発時間を大幅短縮します。
SimulinkモデルならびにStateflowに対応し、SPARK(Ada)およびCコードを生成します。Simulinkシミュレーション結果を記録してCレベルにて一致性検証を行うこともできます。
また、QGenデバッガを併用すればモデル-C-アセンブラを同一画面で表示して実HW上でモデルデバッグが可能。
特徴
- モジュラコード生成(アップデイトされたモジュールのみコード生成) 時間の効率化/2018Q2
- QGenデバッガによるモデル、C、アセンブラデバッグ
- モデル、Cコード一致性検証対応
- モデルベリファイヤ静的解析ツール装備
- 生成コードを任意に変更可能
- SPARK,Cコード生成
- 高可読性、トレーサビリティ
- SPARKProと併用して形式手法開発へ応用可能
- 認証取得用ISO26262、DO178C向けツールクオリフィケーション・キット提供
QGenモデルデバッガ
GNATproは、コンパイラ(Ada,C,C++)、静的解析、動的解析ツールが統合化された開発環境です。
多くのDO-178B/C ,IEC-61508等の安全認証を取得した実績があり、認証取得用にサーティフィケーション、クオリフィケーションキットが提供されます。
主なツール
- CodePeer静的解析ツール
- GNATstack スタックチェッカ
- GNATcoverageコードカバレッジツール
- GNATemulator コードシミュレータ
認証取得サポート
- 認証取得用ドキュメント DO-178C、IEC61508他
- オンサイトトレーニング
開発中製品
「SysML-Simulink モデルコンバータ」
SysMLで記述された図をSimulinkモデルへ変換するツールを開発中です。上位要求、アーキテクチャをSysMLで記述、変換ツールを使用して SimulinkモデルあるいはC/SPARK言語へ変換します。そのため、形式検証を行いコードの安全性、セキュアであることをSPARKProを用いて検証可能です。
上位要求からコードに至るまで一貫した開発環境がご利用可能となります。
展示製品紹介 Nil社
「Cyclo.Req 日本語仕様書解析ツール」
Cyclo.Reqは、自然言語で記述された仕様書の日本語を検査し曖昧さを表示します。である/.ですますはもとより文の長さ、目的語の欠落、係り受け等の検査を行います。係り受けに関しては図示して、文書を変更するのに役立ちます。
また、日本語検査が終了した仕様書からFSM(有限状態機械)ならびにSPARK言語を生成、コンパイルして振舞検査を実施することが可能なツールです。
お問合せ先
- アイティアクセス株式会社 事務局担当
- 【新横浜本社】
-
〒222-0033 横浜市港北区新横浜3-17-6
TEL : 045-474-9095 / FAX : 045-474-8823 - 【大阪オフィス】
-
〒541-0054 大阪府大阪市中央区南本町2-6-12
サンマリオンNBFタワー 16階
TEL : 06-6121-8005 / FAX : 06-6121-8038E-mail : info@itaccess.co.jp
URL : https://www.itaccess.co.jp/