2018年4月吉日

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

アイティアクセス株式会社は、福岡国際会議場にて開催されます「第16回 アジア太平洋地域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は日本語で記述された仕様書を検査して、曖昧さを表示、状態遷移図ならびにコードを生成、実行しながら振舞検査が可能なツールです。