IT Access Co.,Ltd.

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

□Exhibited product ZiFiSense Inc. "ZETA"

・Compared to other LPWAN standards (LoRa, Sigfox, NB-IoT), ZETA, which is the standard of LPWAN (Low Power Wide Area Network) proposed by ZiFiSense, is a technology that is optimal as a communication infrastructure for IoT It has the following features.

□Exhibit Product AdaCore
・SPARK is a form verification tool that can be applied to software development where functional safety such as automatic operation is important.

QGen Verifier is a tool created in Simulink and capable of statically checking models and detecting zero percent etc.

QGen CodeGenerator generates SPARK or C code from Simulink model.

□Product Nil Cyclo.Req

Cyclo.Req is a tool that can examine the specification written in Japanese, perform the behavior inspection while displaying the ambiguity, generating the state transition diagram and the code and executing it.

Categories: Public transportation support / Support for mobility restraint / Advanced communication network

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