SysML And Petri Nets For Modeling And Simulation Of Combat Warship C~4ISR Systems

SysML (Systems Modeling Language) evolves from the UML2.0. With the advantage ofanalyzing the requirements of users, SysML has become an important tool to model and analyzecomplex systems. Petri net is equipped with strict mathematical definition, which has uniqueadvantage in terms of dealing with distributed shared resources and controling concurrent systems.With Petri nets adopted for system modeling, dynamic features of systems can be easily observed bydoing dynamic similation of systems. As SysML and Petri nets can complement each other in somespecific issues, in another word, the preliminary requirements of systems can be acquired by usingSysML language. based on the SysML model, Petri net is adopted for further quantitative analysis. Atthe same time petri net checks the reasonableness of SysML modeling, the combination of two toolsbecomes more advantagous.C~4ISR is a system which involves in controling, data processing, information processing, andmany other aspects. Information flow in C~4ISR is very complex. Modeling and analyzing the flow ofinformation is key to naval combat system, which is also very meaningful. The complex structuresconsisted of information flow have many features such as discrete information flow, distributedcontroling and concurrent controling of resources. effective mathematical tools are required forquantitatively analyzing response time of combat operations and accuracy of weapons.Based onfeatures mentioned aboved, the conbination of SysML and petri net is adopted in this paper to modeland simulate the information flow in C~4ISR systems.The main research work are as follows:(1)Based on the analysis and research advantages and disadvantages of SysML model and Petrinet models, feasibility of converting SysML models to petri nets is discussed, and the necessity ofconversion and the key technologies are studied exhaustively.(2)The mapping rules of converting SysML models to petri nets are constructed, which includesmapping rules of use case diagrams to Petri nets, state diagrams to Petri net, activity diagrams to Petrinets and sequence diagrams to Petri netw mapping rules.(3) Monitoring sub-systems of naval C~4ISR systems, commanding and controling subsystems andweapon firing subsystems are modeled with SysML.An instance of converting SysML models to petrinets is revealed. into a Petri net model instance.(4)Designed and implemented automatic conversion tool for SysML use case diagrams to Petri nets.(5) Use case diagram of C~4ISR constructed by SysML is converted to a Petri net model. Dynamicsimulation is conducted by changing models to observe the dynamic characteristics of the entiresystem, and the mathematical relationship between time and accuracy is quantitative analyzed.