Model-based System Verification: Theoretical Framework, Key Technologies, and Future Prospects

Authors

• Bo Sun, Beijing Institute of Spacecraft System Engineering, Beijing 100094, China
• Yi Ren, Beihang University, Beijing 100191, China
• Silin Wang, Harbin Engineering University, Harbin 150001, China
• Qi Liu, Suzhou Tongyuan Soft Control Information Technology Co., Ltd., Suzhou 215000, China
• Zhidong Li, Beijing Institute of Spacecraft System Engineering, Beijing 100094, China

Abstract

Abstract: Traditional system verification methods face significant challenges in terms of efficiency, coverage, and traceability. To address these issues, this paper introduced model-based system verification (MBSV), which deeply integrated verification activities within the model-based systems engineering model system and evolution process. It presented the foundational logic of MBSV and proposed a multiview unified verification modeling strategy based on system modeling language (SysML), integrating requirements, structure, behavior, and constraints. The paper discussed the algorithms for selecting representative paths and reducing equivalent classes to enhance verification efficiency, the principles of test path search, as well as the intelligent path search mechanism based on RL. It detailed the automated generation process for transforming abstract paths into executable test cases and discussed a dual-channel automated execution mechanism based on functional mock-up units and simulation platform SDKs to enable the seamless deployment and closed-loop feedback of verification tasks within heterogeneous simulation environments. The paper outlined future research directions for MBSV.

Recommended Citation

Sun, Bo; Ren, Yi; Wang, Silin; Liu, Qi; and Li, Zhidong (2026) "Model-based System Verification: Theoretical Framework, Key Technologies, and Future Prospects," Journal of System Simulation: Vol. 38: Iss. 4, Article 1.
DOI: 10.16182/j.issn1004731x.joss.25-0797
Available at: https://dc-china-simulation.researchcommons.org/journal/vol38/iss4/1

First Page

829

Last Page

854

CLC

TP391

Recommended Citation

Sun Bo, Ren Yi, Wang Silin, et al. Model-based System Verification: Theoretical Framework, Key Technologies, and Future Prospects[J]. Journal of System Simulation, 2026, 38(4): 829-854.

Corresponding Author

Ren Yi

DOI

10.16182/j.issn1004731x.joss.25-0797