Model-based Demonstrator for Smart and Safe Systems

2015
Kapcsolattartók: 
Micskei Zoltán Imre
Kapcsolattartók: 
Ráth István
Kapcsolattartók: 
Varró Dániel
Kapcsolattartók: 
Vörös András

MoDeS3 stands for Model-based Demonstrator for Smart and Safe Systems. The main goal is to demonstrate the many cool and innovative ways in which open source modeling tools can be used for systems development in the age of Internet-of-Things.

Our case study is a railway system: users can control trains arbitrarily as long as it is not dangerous. Accidents and dangerous situations are detected using sensors embedded into the track: they sense the trespass of the trains and send this information to the controllers. It is important to note that this is just local information, so we have to ensure that it will be shared between the components. We employ six BeagleBone Black (BBB) embedded computers to run the safety logic, configured as a distributed system, where each BBB is responsible for some track sections.

As you can imagine, the real software engineering challenge is how to develop the distributed safety logic. We use the open source Yakindu Statecharts tool to design the software components. It is much easier than manual programming, as it provides a code generator to produce C or Java code.