Logic and behavior validation of C4ISR architecture description

修胜龙,罗雪山,罗爱民,曾熠
DOI: https://doi.org/10.3321/j.issn:1001-506X.2005.02.025
2005-01-01
Abstract:For the product concordance of the architecture description, a method for analyzing and validating the model concordance using executable model is presented. The executable model is derived from the activity model, rule model and data model that are generated in the development of C~4ISR architecture. The simulation execution sequence and running results of the executable model are compared with operation scenario and dynamic model to analyze and (evaluate) the logic and behavior of the C~4ISR architecture. An example of interceptor air-defense operation is used to illustrate this process.
What problem does this paper attempt to address?