MoDeS3 - Modeling and IoT for Building Smart and Safe Systems
1In this talk, we present MoDeS3 (http://modes3.tumblr.com/), a Model-based Demonstrator for Smart and Safe Systems, a project which won the 3rd prize at the 2016 Eclipse Open IoT Challenge 2.0 (http://iot.eclipse.org/open-iot-challenge/). The fundamental goal of MoDeS3 was to create a demonstrator for educational purposes that showcases how industry standard IoT solutions from the Eclipse ecosystem can be integrated and combined with modeling techniques to develop smart and safe systems.
Specifically, MoDeS3 is built on a fully functional model railway case study (featuring Beagleboards, Raspberry Pis, sensors, actuators, cameras, a LEGO robot, and lots of custom electronics), where classical safety critical engineering principles (such as statechart modeling and verifcation) are combined with modern sensing (computer vision), communication (MQTT) and complex event processing (VIATRA) technologies to showcase how the smart and safe systems of the (near) future might look like - from an engineering perspective.
Speaker(s): Istvan Rath [Budapest University of Technology and Economics], Akos Horvath [IncQuery Labs Ltd]