Research On The Development And Verification Method Of The Requirements Of C~4ISR System Based On XUML Executable Models

Requirements Engineering of C~4ISR System is an important part of Military Informational Construction. It is used to standardize and support the acquirement, description, verification and management of military informational requirements. The verification of C~4ISR system's requirements is an important approach of requirements engineering. It can efficiently reduce the risk capital of the development of system. This thesis mostly researches on the method of the development and verification of the C~4ISR system's requirements.The background of the argumentation of the C~4ISR system's requirements is introduced. The method of the verification of the C~4ISR system's requirements based of executable models if put forward. The present states of the methods of descipting and verifying C~4ISR system's requirements and building executable models are concluded. The framework of verification of the C~4ISR system's requirements is researched. The basic concepts of requirements analysis and verification are introduced. the content of requirements verification is concluded, and the process method of requirements verification is put forward.This thesis introduces the idea of MDA into the development of C~4ISR system's requirements, and presents the standard method of the development of C~4ISR system's requirements based on xUML. It uses diagrams of xUML to descript the C~4ISR system's requirements, and build plantform independent models (PIM).The verification of requirements based on executable models can efficiently verify the dynamic characteristics of requirements models, and if includes the verification of behavior and performance of requirements. This thesis strengthens active semantic of each C~4ISR system requirements model, and affiliates performance parameters with them, and so constructs the executable requirements models of C~4ISR system. The thesis presents a method to verify the integrality, correctness, feasibility of behavior requirements and the performance requirements.At the end, on the background of the design of the aerial defence command and control system of convoy formation, an application is given to illustrate how to use the methods presented in the thesis.