Research on Airborne Software Requirement Development in Accordance with 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 out-puts 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 require-ment 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.
airborne softwareDO-178Crequirement standardrequirement development
万方数据
维普
