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