符合DO-178C的机载软件需求开发研究  

Research on Airborne Software Requirement Development in Accordance with DO-178C

作　　者：王春卉 李燕琳 姚宇甲 WANG Chun-hui;Li Yan-lin;YAO Yu-jia(Chengdu Spaceon Technology Co.,Ltd.,Chengdu 611000,China;Chengdu Airborne Equipment Center Airworthiness Certification Center of CAAC,Chengdu 610000,China)

机构地区：[1]成都天奥信息科技有限公司,四川成都611000 [2]中国民用航空适航审定中心成都机载设备审定分中心,四川成都610000

出　　处：《航空计算技术》2024年第6期91-95,共5页Aeronautical Computing Technique

基　　金：民航安全能力建设项目资助(AADSA2023005)。

摘　　要：软件需求是机载软件研制的基础,开发出符合适航要求的高质量软件需求,对软件后续的设计、编码、验证以及最终的适航审定具有重要意义。DO-178C作为一种机载软件适航审定的符合性方法,对软件需求开发的活动、目标和输出提出了明确要求,但对项目实践中实施细节上的指导略有不足。在DO-178C的理论基础上,结合已通过适航审定的工程实践,详细介绍了软件需求标准的制定及标准中的需求开发方法和需求表述规则,软件高层/低层需求开发的实践方法和重点关注事项,并进一步展示了常见类型的软件高层/低层需求实例。Software requirements are the basis of airborne software development.Developing high-quality software requirements that meet airworthiness is of great significance to the subsequent design,coding,verification and final airworthiness certification of software.As a compliance method for airborne software airworthiness certification,DO-178C puts forward clear requirements for the activities,objectives and outputs of software requirement development,but the guidance on implementation details in project practice is slightly insufficient.Based on the theory of DO-178C,combined with the engineering practice that has passed the airworthiness certification,this paper introduces in detail the formulation of software requirement standards,the requirements development methods and requirements expression rules contained in the standards,the practice methods and key concerns of software high/low level requirements development,and further demonstrates the common types of software high/low level requirements examples.

关 键 词：机载软件 DO-178C 需求标准 需求开发 

分 类 号：V243.1[航空宇航科学与技术—飞行器设计] TP311[自动化与计算机技术—计算机软件与理论]