The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems

被引:11
|
作者
Becker, Steffen [1 ]
Dziwok, Stefan [1 ]
Gerking, Christopher [1 ]
Heinzemann, Christian [1 ]
Schaefer, Wilhelm [1 ]
Meyer, Matthias [2 ]
Pohlmann, Uwe [2 ]
机构
[1] Univ Paderborn, Heinz Nixdorf Inst, Software Engn Grp, Zukunftsmeile 1, Paderborn, Germany
[2] Fraunhofer IPT, Project Grp Mechatron Syst Design Software Engn, Zukunftsmeile 1, Paderborn, Germany
关键词
Design; Verification; Component model; cyber-physical systems; mechatronic systems; reconfiguration; timed model checking;
D O I
10.1145/2591062.2591142
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The software of mechatronic systems interacts with the system's physical environment. In such systems, an incorrect software may cause harm to human life. As a consequence, software engineering methods for developing such software need to enable developers to effectively and efficiently proof their correctness. This is further complicated by additional characteristics of mechatronic systems as self-adaptation and coordination with other systems. In this poster, we present MECHATRONICUML which is a model-driven software engineering method that especially considers these characteristics of self-adaptive mechatronic systems.
引用
收藏
页码:614 / 615
页数:2
相关论文
共 50 条
  • [21] A model-driven design approach for mechatronic systems
    Huang, Jinfeng
    Voeten, Jeroen
    Groothuis, Marcel
    Broenink, Jan
    Corporaal, Henk
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 127 - +
  • [22] Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations
    Yigitbas, Enes
    Stahl, Hagen
    Sauer, Stefan
    Engels, Gregor
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 126 - 141
  • [23] Tutorial: Engineering Self-Adaptive Software Systems - An Organized Tour
    Weyns, Danny
    [J]. 2018 IEEE 3RD INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2018, : 1 - 2
  • [24] Towards Model-Driven Role Engineering in BPM Software Systems
    Babkin, Eduard
    Malyzhenkov, Pavel
    Yavorskiy, Constantine
    [J]. INFORMATION SYSTEMS: RESEARCH, DEVELOPMENT, APPLICATIONS, EDUCATION, 2019, 359 : 137 - 146
  • [25] Cognifying Model-Driven Software Engineering
    Cabot, Jordi
    Clariso, Robert
    Brambilla, Marco
    Gerard, Sebastien
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 154 - 160
  • [26] Challenges in Model-Driven Software Engineering
    Van Der Straeten, Ragnhild
    Mens, Tom
    Van Baelen, Stefan
    [J]. MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 35 - +
  • [27] Productivity Evaluation of Self-Adaptive Software Model Driven Architecture
    Magableh, Basel
    Barrett, Stephen
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2011, 6 (04) : 1 - 19
  • [28] Modeling and verification of cooperative self-adaptive mechatronic systems
    Giese, Holger
    [J]. RELIABLE SYSTEMS ON UNRELIABLE NETWORKED PLATFORMS, 2007, 4322 : 258 - 280
  • [29] Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems
    Camara, Javier
    de Lemos, Rogerio
    Laranjeiro, Nuno
    Ventura, Rafael
    Vieira, Marco
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2017, 14 (01) : 50 - 64
  • [30] A framework for Model-Driven Engineering of resilient software-controlled systems
    Jacopo Parri
    Fulvio Patara
    Samuele Sampietro
    Enrico Vicario
    [J]. Computing, 2021, 103 : 589 - 612