Artur Rataj (Télécom Paristech)
As software and especially robotic application become larger, MBE frameworks develop into complex sets of tools which use a number of formalisms. The additional complexity, along with the intricacy of robotic systems, may impose a considerable overhead an in effect oppose, to an extent, the original assumption of making things easier. To alleviate the problem, we propose a concrete solution, in which the developers, within an implementation in a general programming language, can (i) explicitly define the behavioral model, (ii) a part of the implementation can be shared between the production code and the model. We show a case study of a robot performing SLAM, obstacle avoidance and image recognition.