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

收稿日期:2018-05-14 出版日期:2020-02-20 发布日期:2020-02-25

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

. [J]. Journal of Systems Engineering and Electronics, 2020, 31(1): 109-117.

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.

图/表 4

参考文献 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/.

An executable modeling and analyzing approach to C4ISR architecture

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 4

参考文献 23

相关文章 0

编辑推荐

Metrics

本文评价