MoDeS3 project won the 3rd prize of Eclipse Open Iot Challenge

We are happy to announce that MoDeS³ (Model-Based Demonstrator of Smart and Safe Systems) project won the 3rd place in the Open IoT Developer Challenge. In the framework of the project an IoT robot controller and a railway system has been implemented in order to demonstrate how modeling, verification, and validation techniques can be used for IoT. IncQuery Labs is one of the sponsors of this successful project.