Realtime PC-based control and simulator of control systems
SCADA HMI for substations, IoT and automation applications
An industrial strength open-source application platform for the IoT
Visual & persistent families of models for CA, DEVS, and Statecharts
Lightweight intrusion detection for IoT and embedded devices.