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

Design and implementation of Safety_SysML consistency verifier for avionics software

作　　者：尹伟[1] 王辉[1] 孙海英[2] 丁郭欢 康介祥[1] 刘静[2] YIN Wei;WANG Hui;SUN Haiying;DING Guohuan;KANG Jiexiang;LIU Jing(China Aeronautical Radio Electronics Research Institute,Shanghai 200241,China;Software Engineering Institute,East China Normal University,Shanghai 200062,China)

机构地区：[1]中国航空无线电电子研究所,上海200241 [2]华东师范大学软件工程学院,上海200062

出　　处：《航空工程进展》2023年第4期177-188,共12页Advances in Aeronautical Science and Engineering

基　　金：工信部民机预研项目(MJ-2018-S-29)。

摘　　要：民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于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.

关 键 词：Safety_SysML状态机 一致性验证器 动态数据检测 功能测试 

分 类 号：V243[航空宇航科学与技术—飞行器设计]