Cyber-physical system modeling with Modelica using message passing communication

被引:12
|
作者
Sanz, Victorino [1 ]
Urquia, Alfonso [1 ]
机构
[1] Univ Nacl Educ Distancia UNED, ETSI Informat, Dept Informat & Automat, Juan del Rosal 16, Madrid 28040, Spain
关键词
Cyber-physical systems; Hybrid systems; Modelica; Object-oriented modeling; Simulation; SIMULATION; DEVS;
D O I
10.1016/j.simpat.2022.102501
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Modelica is an object-oriented modeling language whose design and features facilitate the description of cyber-physical systems (CPS). Message passing communication (MPC), seen as the transmission of impulses of information between model components, eases the description of the discrete-event parts of CPS models. However, Modelica does not currently supports MPC. Modelica supports an equation-based component connection rationale, where Modelica tools automatically transform component connections into model equations, following a physical modeling approach. The differences between MPC and Modelica connections are analyzed. A proposal for supporting MPC in Modelica is presented, inspired by the coupled PDEVS model communication approach. The presented MPC proposal is based on the definition of structures to manage messages, named buffers, interface ports and communication channels. Also, an implementation of the proposed MPC mechanism in the form of a new free Modelica library, named MSGLib, is presented. MSGLib includes functionality to manage and dynamically store messages, and describe component communications. Two examples, a pick and place system and a robotic arm, are presented to demonstrate the use of the library, and its combination with other Modelica models.
引用
收藏
页数:15
相关论文
共 50 条
  • [21] Modeling and Simulating Cyber-Physical Systems using CyPhySim
    Lee, Edward A.
    Niknami, Mehrdad
    Nouidui, Thierry S.
    Wetter, Michael
    2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 115 - 124
  • [22] Physical system modeling with Modelica
    Mattsson, SE
    Elmqvist, H
    Otter, M
    CONTROL ENGINEERING PRACTICE, 1998, 6 (04) : 501 - 510
  • [23] A Modelica-based Modeling and Simulation Framework for Large-scale Cyber-physical Systems of Systems
    Nazari, S.
    Sonntag, C.
    Engell, S.
    IFAC PAPERSONLINE, 2015, 48 (01): : 920 - +
  • [24] Communication Patterns for Cyber-Physical Systems
    Henneke, Dominik
    Elattar, Mohammad
    Jasperneite, Juergen
    PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
  • [25] Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks
    Brings, Jennifer
    2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 556 - 561
  • [26] Cyber System Physicalizing Modeling and Analysis Method in Cyber-physical Power Systems
    He R.
    Long L.
    Zhang B.
    Wang Y.
    Xiao Z.
    Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2024, 44 (01): : 72 - 84
  • [27] Securing Communication in Cyber-Physical Systems using Steganography and Cryptography
    Vegh, Laura
    Miclea, Liviu
    2014 10TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2014,
  • [28] An extensible modeling methodology for embedded and cyber-physical system design
    Attarzadeh-Niaki, Seyed-Hosein
    Sander, Ingo
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2016, 92 (08): : 771 - 794
  • [29] Intelligent Property Support for Cyber-Physical Product System Modeling
    Horvath, Laszlo
    IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 3474 - 3479
  • [30] Uncertainty-Wise Cyber-Physical System test modeling
    Zhang, Man
    Ali, Shaukat
    Yue, Tao
    Norgren, Roland
    Okariz, Oscar
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02): : 1379 - 1418