Model-based development of robotic control systems
Sebastian Fischmeister, M. Holzmann, Guido Menkhaus · 2005
In the tutorial the participants learned about problems building embedded real-time control applications, model-based development, and the latest approaches to develop embedded software systems. The tutorial started with an introduction to the topic of embedded real-time systems. This comprises basic properties of real-time systems such as communication or computation and leads to the ideas of time-triggered vs. event-triggered execution and communication. Programming by hand as a hands-on approach, the participants programmed a small robotic control system using the LEGO Mindstorm Robot Kit and BrickOS. It teach the cumbersome work, when programming such systems by hand. In parallel to the hands-on exercise, the authors introduced model-based development for real-time systems. This basically introduces presenting ideas of tool chains and examples. The participants used the model-based development approach to build a functional Lego Robot . Finally, the authors introduced the state of the art technology to build time-triggered systems such as the timing definition language (TDL)