Java SDK for connecting to AWS IoT from a device
Realtime PC-based control and simulator of control systems
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Visual & persistent families of models for CA, DEVS, and Statecharts
Lightweight intrusion detection for IoT and embedded devices.
Client SDK for the VeliSphere IoT System