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

📅 2023-03-17
🏛️ Robotics and Autonomous Systems
📈 Citations: 3
Influential: 0
📄 PDF
🤖 AI Summary
Early in system design, ambiguous information impedes rigorous assessment of model–physical system consistency, completeness, and reusability, thereby compromising quality assurance and cost control. To address this, we propose a SysML extension specifically for cyber-physical systems (CPS), which—uniquely—formalizes SysML as a bidirectionally verifiable language supporting integrity validation. Our method unifies and quantifies simulation-to-physical mappings across structural, behavioral, and temporal dimensions, enabling definable, traceable, and measurable consistency evaluation. It integrates three core techniques: metamodel-driven constraint specification, model difference analysis, and dynamic temporal consistency checking. Evaluated on an industrial CPS case study, the approach achieves over 92% accuracy in automated cross-domain deviation identification and substantially reduces integration verification time.
Problem

Research questions and friction points this paper is trying to address.

System Design Evaluation
Model-System Consistency
Design Reusability
Innovation

Methods, ideas, or system contributions that make the work stand out.

SPSysML
Digital Twin
Model Accuracy Enhancement
🔎 Similar Papers
No similar papers found.
W
W. Dudek
Warsaw University of Technology, Institute of Control and Computation Engineering, Poland, Nowowiejska 15/19, Warsaw, 00-665, Poland
N
N. Miguel
PAL Robotics, C/Pujades 77-79, Barcelona, 7-7, Spain
Tomasz Winiarski
Tomasz Winiarski
Warsaw University of Technology
roboticssystems engineering