Requirement consistency checking method for civil aircraft systems based on finite predicate tracing
To address the problem that it is difficult to confirm the correctness of system-level requirements in the forward development process of safety-critical systems for civil aircraft,a functional requirement consistency checking system based on limited predicate tracking is proposed.Firstly,the predicate tracking in first-order logic is introduced to establish a formal statute method for internal and interactive functional requirements of sytem.Secondly,a formal statute for requirement consistency checking for single and multiple requirement content correctness and requirement relationship consistency are constructed.The requirement self-conflict,set conflict and requirement relationship consistency checking are carried out.And the interpretable check counterexamples for requirement iteration is generated.Finally,the correctness and effectiveness of the method are verified by taking the head-up display(HUD)system flight information symbol generation and display function as an example.The conclusion shows that the finite predicate tracking-based functional requirement consistency checking method can improve the efficiency of requirement consistency checking,reduce the development cost,and provide support for system-level requirement validation of civil aircraft.
requirements consistencytheorem provingcorrectness of functional requirementsfirst-order logic(FOL)requirements conflict
NETL
NSTL
万方数据
