Model Generation for the Verification of Automatically Generated Mechatronic Control Software

The development of embedded control software for mechatronic systems is mainly a non-automated process, requiring the intervention of a human programmer. A project has been started with the intention to develop a set of prototype tools and a framework with which an interdisciplinary product development team can automatically generate control software for mechatronic systems. This paper will discuss the development of a Control Model Generator as part of this project, which is envisioned to be able to generate system dynamics models at various levels of detail, which can be used to verify the automatically generated code at software level. Using SysML and Modelica, a model based view can be maintained throughout the model generation process.