An executable modeling and analyzing approach to C4ISR architecture

doi:10.21629/JSEE.2020.01.12

Journal of Systems Engineering and Electronics ›› 2020, Vol. 31 ›› Issue (1): 109-117.doi: 10.21629/JSEE.2020.01.12

• Systems Engineering • Previous Articles Next Articles

An executable modeling and analyzing approach to C4ISR architecture

Hongyue HE(), Weixing ZHU*(), Ruiyang LI(), Qiaoyu DENG()

Institute of Command and Control Engineering, Army Engineering University of PLA, Nanjing 210007, China

Received:2018-05-14 Online:2020-02-20 Published:2020-02-25
Contact: Weixing ZHU E-mail:hehy2008@sina.com;zwxplaust@126.com;15601591998@163.com;coco515256301@qq.com
About author:HE Hongyue was born in 1985. He received his M.S. degree in 2007 and Ph.D. degree in 2014 from PLA University of Science and Technology. Now, he is a lecturer of Army Engineering University of PLA. His research interest is system of systems engineering, focusing on specification. E-mail: hehy2008@sina.com|ZHU Weixing was born in 1978. He received his M.S. degree in 2006 and Ph.D. degree in 2012 from PLA University of Science and Technology. Now, he is an associate professor of Army Engineering University of PLA. His research interest is requirements engineering, focusing on specification and management. E-mail: zwxplaust@126.com|LI Ruiyang was born in 1992. He is a Ph.D. student in Institute of Command and Control Engineering, Army Engineering University of PLA. After graduating in 2014, he was admitted to PLA University of Science and Technology, and his major was system analysis and integration. Then he continued to pursue a doctorate in software engineering. Now, his major research interests are requirement engineering and model and method of system of systems planning and management. E-mail: 15601591998@163.com|DENG Qiaoyu was born in 1996. She is a postgraduate student in Institute of Command and Control Engineering, Army Engineering University of PLA. After graduating in 2017, she was admitted to PLA University of Science and Technology, with the major network engineering. Now, her major research interests are requirement engineering, command and control theory and practice. E-mail: coco515256301@qq.com

Abstract

Abstract:

To analyze the behavioral model of the command, control, communication, computer, intelligence, surveillance, reconnaissance (C4ISR) architecture, we propose an executable modeling and analyzing approach to it. First, the meta concept model of the C4ISR architecture is introduced. According to the meta concept model, we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML. Then, we define the concrete syntax and executable activity algebra (EAA) semantics for executable models. The semantics functions are introduced to translating the syntax description of executable models into the item of EAA. To support the execution of models, we propose the executable rules which are the structural operational semantics of EAA. Finally, an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.

Key words: command, control, communication, computer, intelligence, surveillance, reconnaissance (C4ISR) architecture, meta model, executable model, algebraic semantics

Hongyue HE, Weixing ZHU, Ruiyang LI, Qiaoyu DENG. An executable modeling and analyzing approach to C4ISR architecture[J]. Journal of Systems Engineering and Electronics, 2020, 31(1): 109-117.

Figures/Tables 4

References 23

1	ENDER T, LEURCK R F, WEAVER B, et al. System-of-systems analysis of ballistic missile defense architecture effectiveness through surrogate modeling and simulation. IEEE Systems Journal, 2010, 4 (2): 156- 166. doi: 10.1109/JSYST.2010.2045541
2	DoD Architecture Framework Working Group. DoD architecture framework 2.0. Washington: The United States Department of Defense, 2009.
3	LI G, HAN L M, ZHU Y L. Trusted modeling and analysis of complex software systems based on spatial-temporal Petri nets. Journal of System Simulation, 2016, 28 (8): 1740- 1747.
4	NIKOLAIDOU M, KAPOS G D, TSADIMAS A, et al. Simulating SysML models: overview and challenges. Proc. of the System of Systems Engineering Conference, 2015: 328-333.
5	MEZIANI L, BOUABANA-TEBIBEL T, BOUZAR-BENLABIOD L. From Petri nets to UML model: a new transformation approach. Proc. of the IEEE International Conference on Information Reuse and Integration, 2018: 503-510.
6	NI F, WANG M Z, ZHOU F, et al. Approach to executable architecture modeling from DODAF to HCPN. Systems Engineering and Electronics, 2010, 32 (5): 959- 965.
7	XIONG J, CHEN Y W, WANG D. Executable model of weapon architecture. Systems Engineering and Electronics, 2010, 32 (5): 966- 970.
8	GE B, HIPEL K W, YANG K, et al. A data-centric capability-focused approach for system-of-systems architecture modeling and analysis. Systems Engineering, 2013, 16 (3): 363- 377. doi: 10.1002/sys.21253
9	OQUENDO F, LEITE J, BATISTA T. Specifying executable software architectures. OQUENDO F, LEITE J, BATISTA T. Ed. Software architecture in action. Basel, Switzerland: Springer International Publishing, 2016.
10	WANG L, LUO X S, LUO A M. Research on C4ISR executable architecture based on SOA. Fire Control & Command Control, 2012, 37 (1): 52- 56.
11	GE B F, REN C S, ZHAO Q S, et al. Executable architecture modeling and analysis for system-of systems. Systems Engineering-Theory & Practice, 2011, 31 (11): 2191- 2201.
12	GE B, HIPEL K W, YANG K, et al. A novel executable modeling approach for system-of-systems architecture. IEEE Systems Journal, 2017, 8 (1): 4- 13.
13	MILENA G, EVERTON C, LUCAS B R O. Characterizing architecture description languages for software-intensive systems-of-systems. Proc. of the IEEE/ACM 3rd International Workshop on Software Engineering for Systems-of-Systems, 2015: 12-18.
14	DAHMANN J, MARKINA-KHUSID A, DOREN A, et al. SysML executable systems of system architecture definition: a working example. Proc. of the Annual IEEE International Systems Conference, 2017: 1-6.
15	HU J P, HUANG L P. Modeling and simulation of executable architecture based on P-DEVS. Journal of System Simulation, 2016, 28 (2): 283- 291.
16	CUI W, DING Y, DANGWAL D, et al. Charm: a language for closed-form high-level architecture modeling. Proc. of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018: 152-165.
17	TOURAILLE L. A model-driven software environment for modeling, simulation and analysis of complex systems. Proc. of the Symposium on Theory of Modeling & Simulation Devs Integrative M & S Symposium, 2011: 229-237.
18	RHOADS G, KAGAN A. Simulation modeling architecture (SiMA), a DEVS based modeling and simulation framework. Proc. of the Summer Computer Simulation Conference, 2009: 315-321.
19	CETINKAYA D, VERBRAECK A, SECK M D. MDD4MS: a model driven development framework for modeling and simulation. Proc. of the Summer Computer Simulation Conference, 2011: 113-121.
20	PANDEY R K. Architectural description languages (ADLs) vs UML: a review. ACM SIGSOFT Software Engineering Notes, 2010, 35 (3): 1- 5. doi: 10.1145/1764810.1764828
21	OQUENDO F, LEITE J, BATISTA T. Executing software architecture descriptions with SysADL. Proc. of the European Conference on Software Architecture, 2016: 187-194.
22	Object Management Group. UML 2.0 superstructure specification. http://www.omg.org/spec/UML/2.0/superstructure/PDF/.
23	Object Management Group. Semantics of a foundational subset for executable UML models (fUML) 1.0. http://www.omg.org/spec/fUML/1.0/PDF/.

[1]	Guisheng WANG, Yequn WANG, Shufu DONG, Guoce HUANG. Multiple transformation analysis for interference separation in TDCS [J]. Journal of Systems Engineering and Electronics, 2022, 33(5): 1064-1078.
[2]	Jun TANG, Gang LIU, Qingtao PAN. Review on artificial intelligence techniques for improving representative air traffic management capability [J]. Journal of Systems Engineering and Electronics, 2022, 33(5): 1123-1134.
[3]	Xiaofeng LI, Lu DONG, Changyin SUN. Hybrid Q-learning for data-based optimal control of non-linear switching system [J]. Journal of Systems Engineering and Electronics, 2022, 33(5): 1186-1194.
[4]	Hang GUO, Zheng WANG, Bin FU, Kang CHEN, Wenxing FU, Jie YAN. Impact angle constrained fuzzy adaptive fault tolerant IGC method for Ski-to-Turn missiles with unsteady aerodynamics and multiple disturbances [J]. Journal of Systems Engineering and Electronics, 2022, 33(5): 1210-1226.
[5]	Weijian PANG, Hui LI, Xinyi MA, Hailin ZHANG. A semantic-centered cloud control framework for autonomous unmanned system [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 771-784.
[6]	Guan WANG, Yufeng ZHAN, Yuanqing XIA, Liping YAN. Distributed point-to-point routing method for tasks in cloud control systems [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 792-804.
[7]	Shuyan LI, Keke WAN, Bolin GAO, Rui LI, Yue WANG, Keqiang LI. Predictive cruise control for heavy trucks based on slope information under cloud control system [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 812-826.
[8]	Jin WANG, Hongjiu YANG, Yuanqing XIA, Ce YAN. Stochastic stabilization of Markovian jump cloud control systems based on max-plus algebra [J]. Journal of Systems Engineering and Electronics, 2022, 33(4): 827-834.
[9]	Shang SHI, Guosheng ZHANG, Huifang MIN, Yinlong HU, Yonghui SUN. Exact uncertainty compensation of linear systems by continuous fixed-time output-feedback controller [J]. Journal of Systems Engineering and Electronics, 2022, 33(3): 706-715.
[10]	Dongju CAO, Wendong YANG, Hui CHEN, Yang WU, Xuanxuan TANG. Energy efficiency maximization for buffer-aided multi-UAV relaying communications [J]. Journal of Systems Engineering and Electronics, 2022, 33(2): 312-321.
[11]	Jia HUANG, Sijiang CHANG, Shengfu CHEN. A hybrid proportional navigation based two-stage impact time control guidance law [J]. Journal of Systems Engineering and Electronics, 2022, 33(2): 461-473.
[12]	Ting CHENG, Xi LI, Qianqian TAN, Yang SU. Adaptive time-space resource and waveform control for collocated MIMO radar with simultaneous multi-beam [J]. Journal of Systems Engineering and Electronics, 2022, 33(1): 47-59.
[13]	Xiaohui LI, Cong FANG, Tao FAN. Analysis of reflected signal of quad rotor UAV based on model fitting in mobile communication system [J]. Journal of Systems Engineering and Electronics, 2022, 33(1): 97-104.
[14]	Wanping SONG, Zengqiang CHEN, Mingwei SUN, Qinglin SUN. Reinforcement learning based parameter optimization of active disturbance rejection control for autonomous underwater vehicle [J]. Journal of Systems Engineering and Electronics, 2022, 33(1): 170-179.
[15]	Xinjian MA, Shiqian LIU, Huihui CHENG. Civil aircraft fault tolerant attitude tracking based on extended state observers and nonlinear dynamic inversion [J]. Journal of Systems Engineering and Electronics, 2022, 33(1): 180-187.

An executable modeling and analyzing approach to C4ISR architecture

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

Share this article

Figures/Tables 4

References 23

Related Articles 15

Recommended Articles

Metrics

Comments