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

Information

インフォメーション

アイティアクセス株式会社
2018年4月吉日

「第16回 アジア太平洋地域ITSフォーラム (2018福岡)」出展のご案内

アイティアクセス株式会社は、福岡国際会議場にて開催されます「第16回 アジア太平洋地域ITSフォーラム (2018福岡)」に出展することになりましたので、 ここにご案内申し上げます。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。


開催概要

■名称 「第16回 アジア太平洋地域ITSフォーラム(通称 APフォーラム)」
■会期 2018年5月8日(火)〜10日(木)
■入館時間 5月8日(火) 10:00〜17:30
5月9日(水) 9:00〜17:30
5月10日(木) 9:00〜12:30
■会場 福岡国際会議場
■出展場所 C5-07 (ACCESS様、AdaCore様との共同出展)
■入場料 有料(事前登録)
■主催 アジア太平洋地域ITSフォーラム2018福岡 実行委員会

出展のみどころ

□出展製品 ZiFiSense社 「ZETA」

  • ZiFiSense社が提唱しているLPWAN(Low Power Wide Area Network)の規格であるZETAは、他のLPWANの規格(LoRa、Sigfox、NB-IoT)と比較して、IoT向きの通信インフラとして最適な技術で以下の特長を持っております。

    特長

  • 超狭帯域(UNB: Ultra Narrow Band)による多チャンネルでの通信が可能
  • Meshネットワークによる広域での分散アクセスが可能
  • 双方向での低消費電力通信が可能

□出展製品 AdaCore社

  • SPARKは形式検証ツールで自動運転等の機能安全が重要なソフトウエア開発に応用できます。
  • QGen Verifierは、Simulinkで作成されてモデルを静的に検査してゼロ割等を検出可能なツールです。
  • QGen CodeGeneratorは、SimulinkモデルからSPARKあるいはCコードを生成します。
    DO178-Cの認証を通った唯一の製品です。(本年秋を予定)
  • QGen SysMLコンバータ SysMLで記述された要求をSimulinkモデルへ変換するツール(開発中)です。

□出展製品 Nil社 Cyclo.Req

  • Cyclo.Reqは日本語で記述された仕様書を検査して、曖昧さを表示、状態遷移図ならびにコードを生成、実行しながら振舞検査が可能なツールです。

お問合せ先

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

E-mail : info@itaccess.co.jp
URL: http://www.itaccess.co.jp

※本文中の会社名、商標、製品名等は各社の商標または登録商標です。

↑このページのトップ