Generating Simulink and Stateflow Models From Software Specifications
Paper i proceeding, 2012

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.

Software Engineering


Mechatronic Systems Engineering


Christian Heinzemann

Uwe Pohlmann

Jan Rieke

Wilhelm Schäfer

Oliver Sudmann

Matthias Tichy

Göteborgs universitet

Proceedings of the 12h International Design Conference DESIGN 2012. May 2012




Mer information