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 条
  • [1] SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
    Xie, Jian
    Tan, Wenan
    Yang, Zhibin
    Li, Shuming
    Xing, Linquan
    Huang, Zhiqiu
    CONNECTION SCIENCE, 2022, 34 (01) : 911 - 941
  • [2] A SysML-based Function-Centered Approach for the Modeling of System Groups for Collaborative Cyber-Physical Systems
    Hayward, Alexander
    Rappl, Maximilian
    Fay, Alexander
    SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
  • [3] Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems
    Alenazi, Mounifah
    Niu, Nan
    Wang, Wentao
    Savolainen, Juha
    2018 IEEE 8TH INTERNATIONAL MODEL-DRIVEN REQUIREMENTS ENGINEERING WORKSHOP (MODRE 2018), 2018, : 46 - 55
  • [4] Integrity Attacks on Cyber-Physical Systems
    Mo, Yilin
    Sinopoli, Bruno
    HICONS 12: PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON HIGH CONFIDENCE NETWORKED SYSTEMS, 2012, : 47 - 54
  • [5] Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE
    Opranescu, Veronica
    Ionita, Anca Daniela
    IEEE ACCESS, 2025, 13 : 47132 - 47145
  • [6] Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL
    Huang, Ping
    Jiang, Kaiqiang
    Guan, Chunlin
    Du, Dehui
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 264 - 269
  • [7] Parallel simulation of cyber-physical systems
    Das, Kamal
    Gurung, Amit
    Ray, Rajarshi
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2021, 17 (03) : 319 - 331
  • [8] Parallel simulation of cyber-physical systems
    Kamal Das
    Amit Gurung
    Rajarshi Ray
    Innovations in Systems and Software Engineering, 2021, 17 : 319 - 331
  • [9] Evaluating IEEE 802.15.4 for Cyber-Physical Systems
    Feng Xia
    Alexey Vinel
    Ruixia Gao
    Linqiang Wang
    Tie Qiu
    EURASIP Journal on Wireless Communications and Networking, 2011
  • [10] Evaluating IEEE 802.15.4 for Cyber-Physical Systems
    Xia, Feng
    Vinel, Alexey
    Gao, Ruixia
    Wang, Linqiang
    Qiu, Tie
    EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, 2011,