Integration Design and Model Transformation for Cyber Physical Systems

被引:0
作者
Zhang, Lichen [1 ]
Feng, Shuguang [2 ]
机构
[1] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 200062, Guangdong, Peoples R China
[2] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China
来源
2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS) | 2014年
关键词
AADL; Modelica; MDA; transformation; Integration;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Cyber physical system is hard to develop because developers need to consider functional properties, nonfunctional properties, such as timeliness, energy, memory, safety and reliability, dynamic continuous properties, spatial requirements and the interaction with physical world. In this paper, we propose an integrated approach to develop cyber physical systems based on multi-dimensions, multi-views and multi-paradigm. This model-integrated development approach addresses the development needs of cyber physical systems through the pervasive use of models. Model transformation is a central concept in model-driven development approaches and integration development approaches in cyber physical systems, as it provides a mechanism for automating the manipulation of models. We present the model transformation methods of cyber physical systems, we propose an approach to transform the models of AADL into the models of Modelica, and Modelica into AADL, clarify the transformation principles and to illustrate the important synergies resulting from the integration between these two languages.
引用
收藏
页码:754 / 757
页数:4
相关论文
共 50 条
  • [31] Reducing Integration Effort for Cyber-Physical Systems Through Integrated Information Modelling using Annotated Application Code
    Schmitt, Johannes
    Gruener, Sten
    Braun, Roland
    2018 14TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2018), 2018,
  • [32] Convergence of Physical System and Cyber System Modeling Methods for Aviation Cyber Physical Control System
    Zhang, Lichen
    2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2014, : 542 - 547
  • [33] A BPMN extension for modeling Cyber-Physical-Production-Systems in the context of Industry 4.0
    Bocciarelli, Paolo
    D'Ambrogio, Andrea
    Giglio, Andrea
    Paglia, Emiliano
    PROCEEDINGS OF THE 2017 IEEE 14TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2017), 2017, : 599 - 604
  • [34] Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
    Spellini, Stefano
    Gaiardelli, Sebastiano
    Lora, Michele
    Fummi, Franco
    2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
  • [35] Rigorous design of cyber-physical systemsLinking physicality and computation
    Simon Bliudze
    Sébastien Furic
    Joseph Sifakis
    Antoine Viel
    Software & Systems Modeling, 2019, 18 : 1613 - 1636
  • [36] Research on Urban Traffic Signal Control Systems Based on Cyber Physical Systems
    Zhang, Li-li
    Zhao, Qi
    Wang, Li
    Zhang, Ling-yu
    JOURNAL OF ADVANCED TRANSPORTATION, 2020, 2020
  • [37] Dynamic Execution of Engineering Processes in Cyber-Physical Systems of Systems Toolchains
    Montori, Federico
    Tatara, Marek S.
    Varga, Pal
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, : 1208 - 1219
  • [38] Modeling Cloud Based Cyber Physical Systems Based on AADL
    Zhang, Lichen
    2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), 2018, : 595 - 600
  • [39] Specifying and Modeling Cloud Cyber Physical Systems Based on AADL
    Zhang, Lichen
    2018 17TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS ENGINEERING AND SCIENCE (DCABES), 2018, : 26 - 29
  • [40] Research on safety verification technology of cyber-physical systems
    Tuo, Ming Fu
    Zhou, Xing She
    An, Li
    Zhu, Rui
    COMPUTING, CONTROL, INFORMATION AND EDUCATION ENGINEERING, 2015, : 525 - 528