A Method and Implementation of Automatic Requirement Tracking and Verification for Complex Products Based on X Language

Requirements modeling is often the first step in the development of complex products related to the fields of aviation, aerospace, and shipping. Requirements changes are made throughout the entire lifecycle of complex product development, making it critical to effectively track, manage, and quickly validate requirements. Existing requirements modeling, tracking and verification for complex products often require the collaboration of system-level modeling language SysML and physical-level modeling languages Modelica and Matlab/Simulink, which makes it difficult to track requirements and design products and maintain consistency. To address this problem, this paper proposes a requirement automatic verification method and system based on X language. It can realize the automatic derivation, tracing and verification of the relationship between requirements and design artifacts. First, rules for mining the implicit requirement relationships are defined, a requirement relationship tracking method is proposed based on the rules, and the vertical tracking relationship between requirements and design artifacts is established. Then, the relevant design artifacts are modeled and simulated using X language to verify the target requirements. Based on the above method, a requirement tracking system is developed, which can effectively support the tracking and verification of requirement relationships. Finally, this paper verifies the feasibility and advantages of this automatic requirement verification method and system by using a traffic model as an example.