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 条
  • [31] RUNTIME INTEGRITY FOR CYBER-PHYSICAL INFRASTRUCTURES
    Jenkins, Jonathan
    Burmester, Mike
    CRITICAL INFRASTRUCTURE PROTECTION IX, 2015, 466 : 153 - 167
  • [32] ExCHARON: Improved Modeling Language for Cyber-Physical Systems based on CHARON
    Han, Younghun
    Kang, Sungwon
    Kim, Jinhyun
    2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2013), 2013, : 734 - 741
  • [33] Language evolution and healthiness for critical cyber-physical systems
    Banach, Richard
    Zhu, Huibiao
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
  • [34] Triton: a Domain Specific Language for Cyber-Physical Systems
    Wood, Bradley
    Azim, Akramul
    2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2021, : 810 - 816
  • [35] Optimal Data Integrity Attack on Actuators in Cyber-Physical Systems
    Wu, Guangyu
    Sun, Jian
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 1160 - 1164
  • [36] Stealthy Integrity Attacks for a Class of Nonlinear Cyber-Physical Systems
    Zhang, Kangkang
    Keliris, Christodoulos
    Parisini, Thomas
    Polycarpou, Marios M.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (12) : 6723 - 6730
  • [37] Design-time Quantification of Integrity in Cyber-physical Systems
    Morris, Eric Rothstein
    Murguia, Carlos G.
    Ochoa, Martin
    PROCEEDINGS OF THE 2017 WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS' 17), 2017, : 63 - 74
  • [38] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [39] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [40] Agent-Based Modeling and Simulation of Hybrid Cyber-Physical Systems
    Novak, Petr
    Kadera, Petr
    Wimmer, Manuel
    2017 3RD IEEE INTERNATIONAL CONFERENCE ON CYBERNETICS (CYBCONF), 2017, : 175 - 182