アイティアクセス株式会社

3-17-6, Shinyokohama, Kouhoku-ku Yokohama-shi, Kanagawa, 222-0033, Japan

info@itaccess.co.jp

http://www.itaccess.co.jp/

□出展製品 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は日本語で記述された仕様書を検査して、曖昧さを表示、状態遷移図ならびにコードを生成、実行しながら振舞検査が可能なツールです。


カテゴリ: 公共交通支援 / 移動制約者支援 / 高度通信網

© The 16th ITS Asia-Pacific Forum FUKUOKA 2018. All Rights Reserved.