Smart Multi Application Gateway

Product Name
Smart Multi Application Gateway

Sensors and actuators communicate either wired or wirelessly with gateway, and they may be connected directly to the gateway or via a micro-controller. Reactive blocks comes with libraries featuring many ways of communicating data from a sensor to the gateway. The tool can transform this part of the application into efficient code. A formal analysis runs in the background to discover all combinations of concurrent behaviour and finds bugs like deadlocks and race conditions.

Company Associations

Glossary Associations

Index Associations