🤖 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.