A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems

被引:0
|
作者
Dudek, Wojciech [1 ]
Miguel, Narcis [2 ]
Winiarski, Tomasz [1 ]
机构
[1] Warsaw Univ Technol, Inst Control & Computat Engn, Nowowiejska 15-19, PL-06665 Warsaw, Poland
[2] Pal Robot, C Pujades 77-79, Barcelona, Spain
关键词
Design analysis and evaluation; Digital twins; System architecture; Model-based evaluation; Domain-specification language; Multi-agent systems; Robotics; DESIGN CONCEPT EVALUATION; DIGITAL TWIN; ROUGH SETS; MODEL;
D O I
10.1016/j.robot.2024.104884
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Evaluating early design concepts is crucial as it impacts quality and cost. This process is often hindered by vague and uncertain design information. This article introduces the SysML-based Simulated-Physical Systems Modelling Language (SPSysML). It is a Domain-Specification Language for evaluating component reusability in Cyber-Physical Systems incorporating Digital Twins and other simulated parts. The proposed factors assess the design quantitatively. SPSysML uses a requirement-based system structuring method to couple simulated and physical parts with requirements. SPSysML-based systems incorporate DTs that perceive exogenous actions in the simulated world. SPSysML validation is survey- and application-based. First, we develop a robotic system for an assisted living project. We propose an SPSysML application procedure called SPSysAP that manages the considered system development by evaluating the system designs with the proposed quantitative factors. Asa result of the SPSysML application, we observed an integrity improvement between the simulated and physical parts of the system. Thus, more system components are shared between the simulated and physical setups. The system was deployed on the physical robot and two simulators based on ROS and ROS2. Additionally, we share a questionnaire for SPSysML assessment. The feedback that we already received is published in this article.
引用
收藏
页数:16
相关论文
共 50 条
  • [41] AADL plus : a simulation-based methodology for cyber-physical systems
    Liu, Jing
    Li, Tengfei
    Ding, Zuohua
    Qian, Yuqing
    Sun, Haiying
    He, Jifeng
    FRONTIERS OF COMPUTER SCIENCE, 2019, 13 (03) : 516 - 538
  • [42] Simulation-as-a-Service: a simulation platform for cyber-physical systems
    Treichel, Tagline
    Antonino, Pablo Oliveira
    Santos, Filipe Silva
    Rosa, Leonardo Silva
    2021 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C), 2021, : 155 - 161
  • [43] AADL+: a simulation-based methodology for cyber-physical systems
    Jing Liu
    Tengfei Li
    Zuohua Ding
    Yuqing Qian
    Haiying Sun
    Jifeng He
    Frontiers of Computer Science, 2019, 13 : 516 - 538
  • [44] Demo: Simulation and Security Toolbox for Cyber-Physical Systems
    Zhang, Lin
    Liu, Mengyu
    Kong, Fanxin
    2023 IEEE 29TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS, 2023, : 357 - 358
  • [45] Modeling and Simulation of Cyberattacks for Resilient Cyber-Physical Systems
    Rashid, Nafiul
    Wan, Jiang
    Quiros, Gustavo
    Canedo, Arquimedes
    Al Faruque, Mohammad Abdullah
    2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 988 - 993
  • [46] Simulation of production processes involving cyber-physical systems
    Lachenmaier, Jens F.
    Lasi, Heiner
    Kemper, Hans-Georg
    10TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING - CIRP ICME '16, 2017, 62 : 577 - 582
  • [47] ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
    Korotunov, S. U.
    Tabunshchyk, G., V
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2020, (03) : 57 - 68
  • [48] An Integrated Simulation Module for Cyber-Physical Automation Systems
    Ferracuti, Francesco
    Freddi, Alessandro
    Monteriu, Andrea
    Prist, Mariorosario
    SENSORS, 2016, 16 (05):
  • [49] Overview of Metrics, Models, and Simulation for Cyber-Physical Systems
    Ezell, Barry C.
    Chamberland, Luanne Burns
    PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6130 - 6130
  • [50] A Dual Reality Simulation Environment for Cyber-Physical Systems
    Januario, Fabio
    Cardoso, Alberto
    Gil, Paulo
    2018 13TH APCA INTERNATIONAL CONFERENCE ON CONTROL AND SOFT COMPUTING (CONTROLO), 2018, : 413 - 418