Modeling and Analysis of Command Control System Based on DEVS

Abstract

Abstract: A comprehensive discussion was made on the application of DEVS theory in the modeling of command control (C2) system, which introduced the mathematical model of DEVS, gave the principle of using DEVS to model the C2's behavior and analyze how capability-requirement-measurements effected the simulation. The process and approach of DEVS-Modeling battalion's C2 system were introduced.

Key words: DEVS, C2, capability-requirement, CGF(Computer Generated Forces)

CLC Number:

TP391.9

Li Xinlong, Xiang Mao. Modeling and Analysis of Command Control System Based on DEVS[J]. Journal of System Simulation, 2015, 27(8): 1708-1714.

References

[1] 陈海, 胡建旺. 基于Petri网的指挥控制系统仿真[J]. 火力与指挥控制, 2009, 34(6): 65-67.
(Chen Hai, Hu Jianwang.Research on the Simulation of Command Control System based on Petri Net[J]. Fire Control &Command Control, 2009, 34(6): 65-67.)
[2] 常春树, 张东戈, 周道安. 基于SNA 的指挥控制关系建模与分析[J], 计算机工程与应用, 2008, 44(16): 236-239.
(Chang Chunshu, Zhang Dongge.Constructing and analyzing model of SNA- based command and control relationships[J]. Computer Engineering and Applications, 2008, 44(16) : 236-239.)
[3] 李泽民, 郝静, 张威, 等. 基于HLA的指挥控制网络模型研究[J]. 计算机仿真, 2009, 26(7): 130-133.
(Li Zeming, Hao Jing, Zhang Wei, et al. A Command &ControlNet workModel Based on HLA[J]. Computer Simulation, 2009, 26(7):130-133.)
[4] 汪海. 基于复杂网络理论的指挥控制组织分析研究[D]. 长沙: 国防科技大学, 2007.
[5] Zeigler B P, Kim T G.Theory of Modeling and Simulation. 2nd ed [M]. New York, NY, USA: Academic Press, 2000: 75-96.
[6] 郭斌, 范文慧, 熊光楞. 基于HLA/DEVS的协同仿真高层建模研究[J]. 系统仿真学报,2006, 18(8): 2174-2178.
(Guo Bin, Fan Wenhui, Xiong Guangleng.Research of HLA/DEVS-based High Level Modeling for Collaborative Simulation[J]. Journal of System Simulation, 2006, 18(8): 2174-2178.)
[7] 陈洪辉, 苏伟,柳海峰. 一种DEVS原子模型向UML状态图映射方法研究[J]. 计算机仿真, 2006, 23(10): 61-64.
(Chen Honghui, Su Wei.Technology of Mapping DEVS Atomic Model to UML State Diagrams[J]. Computer Simulation, 2006, 23(10): 61-64.)
[8] Hae Sang Song, Tag Gon Kim.The DEVS framework for Discrete Event Systems Control[J]. IEEE(S4886299), 1994: 228-234.
[9] Norbert Giambiasi, Jean-Luc Paillet.From timed automata to DEVS models[C]// Proceedings of the 2003 Winter Simulation Conference. USA: WSC, 2003.
[10] Hernan P Dacharry, Norbert Giambiasi.Formal Verification with Timed Automata and DEVS Modelsa case study[C]// Proc. of Argentine Symposium on Software Engineering. 2005: 251-265.
[11] 郑丽钰. 基于DEVS的石化多层次物流模型建模和仿真研究[D]. 长沙: 国防科技大学, 2008.