摘要：AbstractWhen mobile robots are employed in transportation tasks involving contact with humans, their control software shall guarantee that in every possible circumstance safety and, in general, task requirements are guaranteed. When control models are manually translated into an executable implementation, it becomes cumbersome to provide such guarantees. Model-driven engineering approaches provide an answer to such a problem. Domain specific models are automatically translated into an executable implementation. Some model-driven engineering approaches exist that are specific to robotics. However, formal guarantees on correctness of the model and the generated implementation with respect to the requirements are, often, not provided. This paper investigates how a general purpose modelling language for supervisory controller synthesis can be used to formally model plants and requirements for a robotic navigation task and can generate an executable implementation that can be integrated into a leading middleware for robotic applications. The starting point is the modelling of the interface provided by existing navigation components available in the targeted middleware. We demonstrate, with simulations and real-life experiments, that the generated supervisory controller is suitable for real-time deployment and guarantees correctness of the model with respect to the requirements of the navigation task at hand. Results on the reaction time of the supervisory controller show that such reaction time is about twenty times smaller than the one of the same supervisory controller implemented with a conventional framework.
