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

Design and implementation of Safety_SysML consistency verifier for avionics software

民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于Safety_SysML状态机的语法,设计Safety_SysML一致性验证器,包括静态数据检测和动态数据检测;通过设计测试用例对核心算法及系统进行单元测试与集成测试,结合错误推断及边界,设计并执行功能测试,用于发现验证器存在的缺陷。结果表明: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 veri-fier can effectively identify the problem of duality in avionics system software,and is of significant importance for improving the reliability of the avionics software.