面向航电软件的 Safety_SysML 一致性验证器设计与实现

The high integration of the civil aircraft avionics systems will lead to an exponential rise in the size of air- borne safety-critical software，and cause the numerous and inconsistent sources of its requirements，the transfer of requirements at each level of the avionics system software has duality and other problems. Therefore，how to en- sure the consistency of the avionics software has become one of the core issues to be solved during the development of the system. On the basis of the syntax of Safety_SysML state machine，the Safety_SysML consistency verifier is designed，including static data detection and dynamic data detection. The test cases are designed for unit and inte- gration test of the core algorithm and system. Based on the error inference and boundaries，the functional tests are designed and executed to find the defects in the verifier. The results show that the Safety_SysML consistency verifier can effectively identify the problem of duality in avionics system software，and is of significant importance for improving the reliability of the avionics software.