Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems

doi:10.16182/j.issn1004731x.joss.25-0270

Abstract

Abstract:

To address the problems of high verification costs, difficulty in covering dynamic behaviors, and lack of quantitative closed loops in the design stage of modular complex equipment, a dynamic model-driven modular system verification framework was proposed. Based on model-based systems engineering (MBSE) modeling, a structural coupling quantification model was constructed using the number of interfaces, signal interaction frequency, and dependency intensity. Dynamic tests were conducted in high-fidelity virtual simulation to collect data; performance rating for indicators such as accuracy, response, and stability, as well as system's comprehensive rating, were obtained, and the rating feedback was used for iterative optimization. In the verification of the modular aerial bomb system, the mean system score in 100 sets of simulation tests is 68.858, with a standard deviation of 4.336, and the confidence interval indicates stable output. One-way analysis of variance shows that the differences between groups with different interface complexities are significant. The framework can achieve integrated quantitative verification of structure and behavior, supporting scheme comparison and selection and rapid iteration.

Key words: model-based systems engineering (MBSE), model drive, modularity, dynamic simulation, system verification

CLC Number:

TP391.9

Li Wenlong, Sang Shuhan, Liu Yusheng, He Haiyan, Liang Zan, Yuan Wenqiang, Niu Biao, Luo Weifeng. Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems[J]. Journal of System Simulation, 2026, 38(4): 1106-1118.

Figures/Tables 13

Fig. 1

Fig. 2

Fig. 3

Fig. 4

Fig. 5

Table 1

Partial parameters

参数	取值	参数	取值	参数	取值
$α$	0.2	$k 2$	1.1	$ω 3$	0.3
$β$	0.3	$k 3$	1.0	$ρ$	0.3
$γ$	0.5	$ω 1$	0.4	$μ$	0.4
$k 1$	1.2	$ω 2$	0.3	$σ$	0.3

Table 1

Fig. 6

Fig. 7

Fig. 8

Fig. 9

Fig. 10

Fig. 11

Table 2

References 36

[1]	Wang Wenyue, Hou Junjie, Mao Yinxuan, et al. Application and Development of MBSE in Aerospace[J]. Journal of Physics: Conference Series, 2022, 2235(1): 012021.
[2]	Madariaga C, Bashir A, Swickline C. Applying MBSE in Space Based Systems Development[J]. INCOSE International Symposium, 2023, 33(1): 584-600.
[3]	Tsui R K, Borky J M, Bradley T H. Applying Model-based Systems Architecture Processes (MBSAP) Methodology for Diversified MBSE Projects with Efficient Systems of Systems Accomplishments[J]. INCOSE International Symposium, 2020, 30(1): 1568-1580.
[4]	Bemmami K E, David P. State-of-practice Survey in Industry on the Deployment of Simulation in Systems Engineering[J]. IFAC-PapersOnLine, 2021, 54(1): 1132-1137.
[5]	Bemmami K E, David P. Managing the Use of Simulation in Systems Engineering: An Industrial State of Practice and a Prioritization Method[J]. Computers in Industry, 2021, 131: 103486.
[6]	Marmsoler D, Petrovska Ana. Runtime Verification for Dynamic Architectures[J]. Journal of Logical and Algebraic Methods in Programming, 2021, 118: 100618.
[7]	Liu Guanghui, Hong Jun, Wu Wenwu, et al. Investigation on the Influence of Interference Fit on the Static and Dynamic Characteristics of Spindle System[J]. The International Journal of Advanced Manufacturing Technology, 2018, 99(5): 1953-1966.
[8]	Heo Seok-Jae, Zhang Chunwei, Yu Eunjong. Response Simulation, Data Cleansing and Restoration of Dynamic and Static Measurements Based on Deep Learning Algorithms[J]. International Journal of Concrete Structures and Materials, 2018, 12(1): 82.
[9]	Cimatti Alessandro, Tian Chun, Tonetta Stefano. Assumption-based Runtime Verification[J]. Formal Methods in System Design, 2022, 60(2): 277-324.
[10]	Alwhishi Ghalya, Bentahar Jamal, Elwhishi Ahmed, et al. MV-checker: A Software Tool for Multi-valued Model Checking Intelligent Applications with Trust and Commitment[J]. Expert Systems with Applications, 2024, 245: 123113.
[11]	Drawel Nagat, Laarej Amine, Bentahar Jamal, et al. Transformation-based Model Checking Temporal Trust in Multi-agent Systems[J]. Journal of Systems and Software, 2022, 192: 111383.
[12]	Bouwman Mark, Djurre van der Wal, Luttik Bas, et al. A Case in Point: Verification and Testing of a EULYNX Interface[J]. Formal Aspects of Computing, 2023, 35(1): 2.
[13]	Mohseni S, Wang Haotao, Xiao Chaowei, et al. Taxonomy of Machine Learning Safety: A Survey and Primer[J]. ACM Computing Surveys, 2022, 55(8): 157.
[14]	Laing C, David P, Blanco E, et al. Questioning Integration of Verification in Model-based Systems Engineering: An Industrial Perspective[J]. Computers in Industry, 2020, 114: 103163.
[15]	Cao Yue, Liu Yusheng, Qin Xujia. A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics[J]. Advanced Engineering Informatics, 2023, 58: 102201.
[16]	Cederbladh Johan, Cicchetti Antonio, Suryadevara Jagadish. Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review[J]. ACM Transactions on Software Engineering and Methodology, 2024, 33(3): 81.
[17]	Chen Ruirui, Chen Chun-Hsien, Liu Yusheng, et al. Ontology-based Requirement Verification for Complex Systems[J]. Advanced Engineering Informatics, 2020, 46: 101148.
[18]	Yang Jun, Cai Baoping, Kong Xiangdi, et al. A Digital Twin-assisted Intelligent Fault Diagnosis Method for Hydraulic Systems[J]. Journal of Industrial Information Integration, 2024, 42: 100725.
[19]	Muhammad Waseem Anwar, Rashid Muhammad, Azam Farooque, et al. A Model-driven Framework for Design and Verification of Embedded Systems Through SystemVerilog[J]. Design Automation for Embedded Systems, 2019, 23(3): 179-223.
[20]	Bottero Mattia, Gualeni Paola. Systems Engineering for Naval Ship Design Evolution[J]. Journal of Marine Science and Engineering, 2024, 12(2): 210.
[21]	Li Wei, Ribeiro P, Miyazawa A, et al. Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool[J]. Autonomous Robots, 2024, 48(6): 14.
[22]	He Zhiyu, Bolognani S, Muehlebach M, et al. Gray-box Nonlinear Feedback Optimization[EB/OL]. (2024-04-05) [2025-03-10]. .
[23]	Dominguez-Pumar M, Olm J M, Kowalski L, et al. Open Loop Testing for Optimizing the Closed Loop Operation of Chemical Systems[J]. Computers & Chemical Engineering, 2020, 135: 106737.
[24]	Han Honggui, Zhang Jiacheng, Hou Ying, et al. Double-closed-loop Robust Optimal Control for Uncertain Nonlinear Systems[J]. IEEE Transactions on Cybernetics, 2024, 54(4): 2332-2344.
[25]	Persson N, Zhao Feiran, Kaheni M, et al. An Adaptive Data-enabled Policy Optimization Approach for Autonomous Bicycle Control[EB/OL]. (2025-02-19) [2025-03-10]. .
[26]	Nikolakis N, Siaterlis G, Bampoula X, et al. A Digital Twin-enabled Cyber-physical System Approach for Mixed Packaging[M]//Advances in Transdisciplinary Engineering. Amsterdam: IOS Press, 2022: 485-496.
[27]	Zhang Junjiang, Yang Yang, Zhou Yi, et al. Parameter Closed-loop Optimization for Pure Electric Vehicles: Unified Design of Power System and Control Parameters[J]. Journal of the Brazilian Society of Mechanical Sciences and Engineering, 2020, 42(5): 229.
[28]	Liu Lin, Guo Youguang, Yin Wenliang, et al. Design and Optimization Technologies of Permanent Magnet Machines and Drive Systems Based on Digital Twin Model[J]. Energies, 2022, 15(17): 6186.
[29]	Nobar Mahdi, Keller Jürg, Rupenyan Alisa, et al. Guided Bayesian Optimization: Data-efficient Controller Tuning with Digital Twin[J]. IEEE Transactions on Automation Science and Engineering, 2025, 22: 11304-11317.
[30]	Sinha A K, Loparo K A. A Computational Model for Complex Systems Analysis: Causality Estimation[J]. Physica D: Nonlinear Phenomena, 2021, 423: 132915.
[31]	Shaoqiu Lü, Wang Muzhi, Zhang Sunrui, et al. Design of a UE5-based Digital Twin Platform[EB/OL]. (2024-07-03) [2025-03-15]. .
[32]	Prabawa Adi, Mahmudul Faisal Al Ameen, Lee Benedict, et al. A Logical System for Modular Information Flow Verification[C]//Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2018: 430-451.
[33]	Bodenmüller Stefan, Schellhorn Gerhard, Bitterlich Martin, et al. Flashix: Modular Verification of a Concurrent and Crash-safe Flash File System[M]//Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Cham: Springer International Publishing, 2021: 239-265.
[34]	Leino K R M, Müller Peter. Modular Verification of Static Class Invariants[C]//FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005: 26-42.
[35]	Li Xin, Feng Min, Ran Youhua, et al. Big Data in Earth System Science and Progress Towards a Digital Twin[J]. Nature Reviews Earth & Environment, 2023, 4(5): 319-332.
[36]	Zellner M L, Massey D, Laboy M, et al. Enhancing Digital Twin Technology with Community-led, Science-driven Participatory Modeling: A Case in Green Infrastructure Planning[J/OL]. Environment and Planning B: Urban Analytics and City Science. [2025-03-15]. .

验证方法	验证效率	动态支持	优化反馈	工程成本	量化能力	扩展性
传统MBSE	中	弱	弱	低	无	中
物理样机	低	强	弱	高	强	弱
离线仿真	中	中	弱	中	中	中
本文方法	高	强	强	中	强	强