At EclipseCon Europe I spent a few minutes chatting with István Ráth from IncQuery Labs. He was demoing a pretty awesome set of development tools for safety-critical domains (here: railway inter-locking system), and showing how to use them in combination with some cool Eclipse IoT Projects such as Eclipse Paho and Eclipse Mosquitto.
On a related note, this project was a finalist in last year’s edition of the Open IoT Challenge. Don’t wait and enter this year’s before November 25!