航天复杂系统测发控流程仿真引擎设计与评价

doi:10.12305/j.issn.1001-506X.2023.12.16

Abstract

Abstract:

The aerospace complex system faces many complex constraints and it has numberous test instructions and test data. Consequently, the design cost of test-firing-control process is expensive and the reliability is difficult to guarantee. In order to improve the test efficiency of test-firing-control process of aerospace complex systems and normalize the design steps, a parallel simulation engine is designed combining workflow technology and simulation technology, which not only realizes the process customization and visual drawing, but also simulates the test-firing-control process in parallel. Based on the Petri net, a logical evaluation method of test-firing-control process is proposed to verify the logical correctness of the process. It can also locate the problem nodes, which provides a more reliable basis for the optimization and adjustment of the process. The experimental results show that the development of the parallel simulation engine and the establishment of the logical evaluation algorithm greatly reduce the workload of process designers, which can accurately verify the logical problems and improve the reliability and efficiency of the process design.

Key words: test-firing-control process, parallel simulation, logical evaluation, Petri net, process inspection

CLC Number:

V448
TP391.9

Tao HU, Liqun SHEN, Yuyang TIAN, Weifeng DONG. Design and evaluation of simulation engine for test-firing-control process of aerospace complex system[J]. Systems Engineering and Electronics, 2023, 45(12): 3866-3874.

Figures/Tables 13

Fig.1

Fig.2

Table 1

Fig.3

Fig.4

Fig.5

Fig.6

Fig.7

Fig.8

Fig.9

Fig.10

Fig.11

Table 2

References 32

1	褚厚斌, 张丽晔, 郭晶, 等. 航天通用测发控软件平台设计与应用[J]. 计算机测量与控制, 2014, 23 (5): 1799- 1801. doi: 10.16526/j.cnki.11-4762/tp.2015.05.104
	CHU H B , ZHANG L Y , GUO J , et al. Design and application of space general test and launch control software platform[J]. Computer Measurement & Control, 2014, 23 (5): 1799- 1801. doi: 10.16526/j.cnki.11-4762/tp.2015.05.104
2	ANDERSON J L. High performance missile testing (next gene-ration test systems)[C]//Proc. of the IEEE Systems Readiness Technology Conference, 2003: 19-27.
3	TINA S . Swarm intelligence techniques and genetic algorithms for test case prioritization[J]. International Journal of Engineering and Advanced Technology, 2020, 9 (4): 465- 469. doi: 10.35940/ijeat.D6810.049420
4	FANG J Y , XUE H H , XIAO M Q . Parallel test tasks scheduling and resources configuration based on GA-ACA[J]. Journal of Measurement Science and Instrumentation, 2011, 2 (4): 321- 326.
5	FU Y J, SUN K F. Design of universal measurement and control system for thermal power system test bench based on PXI bus technology[C]// Proc. of 2nd International Conference on Mechanical, Electronic and Engineering Technology, 2019: 313-316.
6	YAO K , HUANG S L . Simulation technology and analysis of military simulation training[J]. Journal of Physics: Conference Series, 2021, 1746 (1): 012020. doi: 10.1088/1742-6596/1746/1/012020
7	XU J W , CHEN M Y , ZHENG G , et al. SimK: a large-scale parallel simulation engine[J]. Journal of Computer Science and Technology, 2009, 24 (6): 1048- 1060. doi: 10.1007/s11390-009-9294-4
8	BUKHTAWAR E , ASAD W , ANIS U , et al. Toward scalable cloud data center simulation using high-level architecture[J]. Computer Weekly News, 2020, 50 (6): 827- 843.
9	MEINEKE M A , VARDEMAN C F , LIN T , et al. OOPSE: an object-oriented parallel simulation engine for molecular dynamics[J]. Journal of Computational Chemistry, 2005, 26 (3): 252- 271. doi: 10.1002/jcc.20161
10	BOYER R T, MCQUAY W K. Joint modeling and simulation system[C]//Proc. of the SPIE-The International Society for Optical Engineering, 1993: 335-340.
11	李春亮, 雷永林. 基于UML的SMP2模型集成方法研究[J]. 系统仿真学报, 2009, 21 (21): 6755- 6759. doi: 10.16182/j.cnki.joss.2009.21.025
	LI C L , LEI Y L . Research on SMP2 model integration method based on UML[J]. Journal of System Simulation, 2009, 21 (21): 6755- 6759. doi: 10.16182/j.cnki.joss.2009.21.025
12	乔海泉, 张耀程, 李革, 等. JMASE分布式仿真功能的设计与实现[J]. 计算机仿真, 2006, 23 (10): 113- 118. doi: 10.3969/j.issn.1006-9348.2006.10.029
	QIAO H Q , ZHANG Y C , LI G , et al. Design and implementation of JMASE distributed simulation capability[J]. Computer Simulation, 2006, 23 (10): 113- 118. doi: 10.3969/j.issn.1006-9348.2006.10.029
13	LUBACHEVSKY B D . Efficient distributed event-driven simulations of multiple-loop networks[J]. Communications of the ACM, 1989, 32 (1): 111- 123. doi: 10.1145/63238.63247
14	MANSOORI F , RAHGOZAR M , KAVOUSI K . A pathway analysis approach using Petri net[J]. IEEE Journal of Biomedi- cal and Health Informatics, 2021, 25 (3): 874- 880. doi: 10.1109/JBHI.2020.3003996
15	MAHULEA C , MONTIJANO E , KLOETZER M . Distributed multirobot path planning in unknown maps using Petri net models[J]. IFAC-Papers On Line, 2020, 53 (2): 2063- 2068. doi: 10.1016/j.ifacol.2020.12.2521
16	KRZYWICKI K , ANDRZEJEWSKI G , ZAJAC W , et al. IPNES-Interpreted Petri net for embedded systems[J]. Procedia Computer Science, 2021, 192, 2012- 2021. doi: 10.1016/j.procs.2021.08.207
17	ABBASZADEH M . Weak consistency model in distributed systems using hierarchical colored Petri net[J]. Journal of Computers, 2018, 13 (2): 236- 243.
18	CHERNENOK S A , NEPOMNIASCHY V A . Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets[J]. Automatic Control and Computer Sciences, 2015, 49 (7): 484- 492. doi: 10.3103/S0146411615070056
19	STETSENKO I V , PAVLOV A A , DYFUCHYNA O . Parallel algorithm development and testing using Petri-object simula-tion[J]. International Journal of Parallel, Emergent and Distributed Systems, 2021, 36 (6): 549- 564. doi: 10.1080/17445760.2021.1955113
20	ZENG Q T , DUAN H , LIU C . Top-down process mining from multi-source running logs based on refinement of Petri nets[J]. IEEE Access, 2020, 8, 61355- 61369. doi: 10.1109/ACCESS.2020.2984057
21	SUN H M , DU Y Y , QI L , et al. A method for mining process models with indirect dependencies via Petri nets[J]. IEEE Access, 2019, 7, 81211- 81226. doi: 10.1109/ACCESS.2019.2923624
22	TENG Y X , QI L , DU Y Y . A logic Petri net-based repair method of process models with incomplete choice and concurrent structures[J]. Computing and Informatics, 2020, 39 (1/2): 264- 297.
23	PADMA V . A study on flexible manufacturing systems using Petri net reduction[J]. IOP Conference Series: Materials Science and Engineering, 2021, 1130 (1): 012060. doi: 10.1088/1757-899X/1130/1/012060
24	HU L , LIU Z Y , HU W F , et al. Petri-net-based dynamic scheduling of flexible manufacturing system via deep reinforcement learning with graph convolutional network[J]. Journal of Manufacturing Systems, 2020, 55, 1- 14. doi: 10.1016/j.jmsy.2020.02.004
25	HAFIZ Z N , TAUSEEF A . Performance evaluation of a carousel configured multiple products flexible manufacturing system using Petri net[J]. Operations Management Research: Advancing Practice through Theory, 2020, 13 (7): 109- 129.
26	BASHIR M , ZHOU J , MUHAMMAD B B . Optimal supervisory control for flexible manufacturing systems model with Petri nets: a place-transition control[J]. IEEE Access, 2021, 9, 58566- 58578. doi: 10.1109/ACCESS.2021.3072892
27	TIAN X , ZHU D J , YAO S Z . Model checking for rare-event in control logical Petri nets based on importance sampling[J]. IEEE Access, 2020, 8, 26336- 26342. doi: 10.1109/ACCESS.2020.2970470
28	XU Y H , DU Y Y , QI L , et al. A logic Petri net-based model repair approach by constructing choice bridges[J]. IEEE Access, 2019, 7, 18531- 18545. doi: 10.1109/ACCESS.2019.2896079
29	LAJMI F , JALEL G , HEDI D . Applying interval fuzzy Petri net to failure analysis[J]. International Journal of Service Science, Ma-nagement, Engineering, and Technology, 2020, 11 (1): 14- 30.
30	郭亚中, 左洪福, 王华伟. 基于Petri网的民航飞机故障诊断工作流模型[J]. 系统工程与电子技术, 2006, 28 (12): 1837- 1840. doi: 10.3321/j.issn:1001-506X.2006.12.017
	GUO Y Z , ZUO H F , WANG H W . Research on workflow model of fault diagnosis of the civil aircraft using Petri net[J]. Systems Engineering and Electronics, 2006, 28 (12): 1837- 1840. doi: 10.3321/j.issn:1001-506X.2006.12.017
31	HAMID U . A Petri net model for the optimisation and performance evaluation of production system CUM packaging[J]. International Journal of Industrial and Systems Engineering, 2016, 22 (3): 245- 261. doi: 10.1504/IJISE.2016.074706
32	柯文俊, 陈静, 江山. 基于Petri网模型的系统仿真验证方法[J]. 系统工程与电子技术, 2017, 39 (4): 924- 930.
	KE W J , CHEN J , JIANG S . System simulation and verification method based on Petri net model[J]. Systems Engineering and Electronics, 2017, 39 (4): 924- 930.

流程元素	Petri网模型	映射规则	流程元素	Petri网模型	映射规则
		变迁数: 1个前置条件个数: 1 后置条件个数: 1 标识符: 前置条件有标识符输入输出弧: 前置条件没有输入弧			变迁数: 与分支数对应前置条件个数: 1 后置条件个数: 与分支数对应标识符: 无
		变迁数: 1个前置条件个数: 1 后置条件个数: 1 输入输出弧: 后置条件没有输出弧			变迁数: 与分支数对应前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无
		变迁数: 1个前置条件个数: 1 后置条件个数: 1			变迁数: 与分支数对应前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无
		变迁数: 与分支数对应前置条件个数: 1 后置条件个数: 与分支数对应			变迁数: 1个前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无

序号	验证图例	是否存在逻辑问题	存在问题及对应节点ID
1	图 11(a)	是	不安全: parallelgateway2
2	图 11(b)	是	不可达: task_Q7-2
3	图 11(c)	是	死锁: parallelgateway1
4	图 11(d)	是	死循环: task_Q_3-3、task_Q_4-6、task_Q_3-1

[1]	Qihang YANG, Zhiwei YI, Ning HUANG. DSPN-based application availability analysis for 5G industrial control systems [J]. Systems Engineering and Electronics, 2023, 45(8): 2634-2642.
[2]	Yuanyuan ZHANG, Yang GAO, Peng ZHU, Jintao LIU, Shushan GU. UAV reconnaissance tactical planning based on colored Petri nets [J]. Systems Engineering and Electronics, 2022, 44(3): 900-907.
[3]	Xuyu WANG, Min HU, Xueyang ZHANG, Yulong ZHAO, Jiuyang LI. Analysis and evaluation method of navigation satellite constellation backup strategy based on Petri net [J]. Systems Engineering and Electronics, 2021, 43(2): 434-442.
[4]	Yunxiang CHEN, Yan LI, Zhongyi CAI, Zezhou WANG. Allocation method of aircraft maintenance support resources based on HTCPN [J]. Systems Engineering and Electronics, 2020, 42(9): 2130-2139.
[5]	LI Chao, WANG Ying, ZHANG Yu, TAO Qian. Analysis on coupled conduction for complex materiel hazard based on general arbitrary distribution SPN [J]. Systems Engineering and Electronics, 2019, 41(3): 579-585.
[6]	BU Bing, WANG Zhuojian, PAN Hongsheng. Optimal allocation of multiaircraft universal support equipments based on Petri nets in grass roots level [J]. Systems Engineering and Electronics, 2019, 41(2): 349-357.
[7]	WANG Pan, CHEN Yunxiang, CAI Zhongyi, LI Chao. Modeling and repair capability analysis of military aircraft overhaul line [J]. Systems Engineering and Electronics, 2018, 40(6): 1294-1301.
[8]	LIU Jiufu, ZHANG Zhiguo, ZHENG Rui, LIU Haiyang, YANG Zhong, WANG Zhisheng. Fault diagnosis of bipropellant propulsion system using partially observed time Petri nets [J]. Systems Engineering and Electronics, 2018, 40(6): 1337-1344.
[9]	XING Zhiwei, WEI Zhiqiang, LUO Qian, WEN Tao, CONG Wan, XIA Huan. Flight support service process modeling method based on colored time Petri net [J]. Systems Engineering and Electronics, 2018, 40(5): 1064-1069.
[10]	ZHOU Fang, CHU Wei, DING Ran. Intelligence driven dynamic generation method for parallel simulation entity [J]. Systems Engineering and Electronics, 2018, 40(5): 1160-1166.
[11]	FU Jiong, LUO Aimin, LUO Xueshan, LIU Junxian. Approach for generating Petri net executable model based on physical exchange specification of architecture [J]. Systems Engineering and Electronics, 2017, 39(5): 1030-1035.
[12]	ZHANG Yuanyuan, WU Wenhai, WANG Jie. Interval valued intuitionistic fuzzy Petri net and its application in air combat decision-making [J]. Systems Engineering and Electronics, 2017, 39(5): 1051-1057.
[13]	GE Chenglong, ZHU Yuanchang, DI Yanqiang, HU Zhiwei. Basic theoretical issues of equipment parallel simulation technology [J]. Systems Engineering and Electronics, 2017, 39(5): 1169-1177.
[14]	LING Dongyi, WANG Shihai, LIU Bin. Reliability assessment method for component system based on AADL architecture model [J]. Systems Engineering and Electronics, 2017, 39(4): 947-952.
[15]	YU Xinyuan, XU Bo, XIONG Kun, DU Hai. Modeling and simulation of the radar echo of chaff cloud [J]. Systems Engineering and Electronics, 2017, 39(1): 79-85.

Design and evaluation of simulation engine for test-firing-control process of aerospace complex system

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 13

References 32

Related Articles 15

Recommended Articles

Metrics

Comments