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.
关键词
机载软件/DO-178C/需求标准/需求开发
Key words
airborne software/DO-178C/requirement standard/requirement development
维普
万方数据