kirancodes.me
To Proof Maintenance & Beyond!

A tool suite for the model-driven software engineering of cyber-physical systems

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann

Abstract

Cyber-physical systems, e.g., autonomous cars or trains, interact with their physical environment. As a consequence, they commonly have to coordinate with other systems via complex message communication while realizing safety-critical and real-time tasks. As a result, those systems should be correct by construction. Software architects can achieve this by using the MechatronicUML process and language. This paper presents the MechatronicUML Tool Suite that offers unique features to support the MechatronicUML modeling and analyses tasks.

BibTeX
@inproceedings{Dziwok-al:FSE14,
  author    = {Stefan Dziwok and
               Christopher Gerking and
               Steffen Becker and
               Sebastian Thiele and
               Christian Heinzemann and
               Uwe Pohlmann},
  title     = {A tool suite for the model-driven software engineering of cyber-physical systems},
  booktitle = {FSE},
  pages     = {715--718},
  publisher = {{ACM}},
  year      = {2014},
}

Related papers