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.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

Nyckelord

Mechatronic Systems Engineering

Software Engineering

MechatronicUML

Software Engineering

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)