Generating Simulink and Stateflow Models From Software Specifications

Much of the innovation in today’s technical systems is only possible by the use of embedded software. This is especially true in the case of system of systems where autonomous systems coordinate using complex message-based communication protocols. MechatronicUML is a modeling language for these systems that exploits formal methods to verify that safety requirements are always satisfied. In this paper, we present how we integrate MechatronicUML in the Simulink tool chain by means of model generation. We specifically discuss how the verified behavior is preserved in the generated models