1. ホーム(Home) > 
  2. Information

Information

インフォメーション

アイティアクセス株式会社
2015年1月吉日

「第7回 [国際]カーエレクトロニクス技術展 -カーエレJAPAN-」出展のご案内

アイティアクセス株式会社は、1月14日(水)〜1月16日(金)東京ビッグサイトにおきまして開催されます「カーエレクトロニクス技術展 -カーエレJAPAN-」に出展することになりましたので、ここにご案内申し上げます。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。


開催概要

■名称 第7回 [国際]カーエレクトロニクス技術展 -カーエレJAPAN-
■会期 2015年1月14日(水)〜16日(金) 10:00〜18:00
最終日は17:00まで
■会場 東京ビッグサイト
■小間番号 西3-31
■入場料 事前登録および招待券持参者は無料
■主催 リード エグジビション ジャパン株式会社

展示製品紹介

「SPARK Pro」

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

特徴
  • SPARK2014(Ada)言語対応
  • Contractベースプログラミング
  • Contractはデバッグ完了後、非実行化可能
    実行速度への影響がありません。
  • 静的解析ツール対応
「Qgen モデル・ベリファイヤ&コンパイラ」

Qgenはモデルベリファイヤとコード生成を標準装備した画期的なモデルベース開発に使用できるコンパイラです。
モデルを未コンパイルで、静的解析を行い、ゼロ除算等の従来実行時に解析可能であったエラーを検出、開発時間を大幅短縮します。
Simulink®モデルならびにStatefow®に対応し、SPARK(Ada)およびCコードを生成します。
また、Qgenはコード生成過程で、makefileを作成したり、生成するコードを変更したりチューニングが可能なモデルコンパイラです。

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

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

主なツール
  • Ada,Cコンパイラ、リンカ
  • CodePeer静的解析ツール
  • GNATstack スタックチェッカ
  • GNATcoverageコードカバレッジツール
  • GNATemulator コードシミュレータ
認証取得サポート
  • 認証取得用ドキュメント
    DO-178C、IEC61508他
  • オンサイトトレーニング

お問合せ先

アイティアクセス株式会社 営業部
【新横浜本社】
〒222-8545 横浜市港北区新横浜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-8038

E-mail : info@itaccess.co.jp
URL: http://www.itaccess.co.jp
↑このページのトップ