SysML and Lego sorting machine
Looking at the following YouTube’s video about a sorting machine made in Lego™ gave me the idea of a subject for an ESIAL industrial project. A way to enhance our SysML Companion is to add temporal verification. This will be done by the three or four students chosen for the project by adding a connector to Uppaal – Uppaal being a model-checker of real-time system specification (under the form of timed automata).
I would like them to build a slightly more complicated machine than the one on the video. The speed of the conveyor will not be constant. Instead it should vary depending on the alternation of the brick’s color. This small change adds some (temporal and architectural) constraints that should be interesting to specify and verify. Moreover I would like them to work on three important aspects of system building: verification, animation and deployment. So they will also build the real machine with Lego™ Mindstorm, program it with Urbi and write an animator (target not yet specified but maybe pygame?). More details are available in the ESIAL industrial project form.
The students will mainly:
- specify the sorting machine in SysML/MARTE,
- specify and develop the connector to Uppaal,
- specify and develop a generator of Urbi code,
- build the machine.
Please stay tuned – results of the project will be posted on this blog as they are achieved.
Discussion Area - Leave a Comment