Generating Simulink and Stateflow Models From Software Specifications
Paper in 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

MechatronicUML

Mechatronic Systems Engineering

Author

Christian Heinzemann

Uwe Pohlmann

Jan Rieke

Wilhelm Schäfer

Oliver Sudmann

Matthias Tichy

University of Gothenburg

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

Subject Categories

Software Engineering

Control Engineering

More information

Created

10/10/2017