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.