Product Name
Smart Multi Application Gateway
Description
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
|
|