Produced in
partnership with:
Brought
to you by:
Virtuapedia Products

Smart Multi Application Gateway


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


Taxonomy Associations