基于SFMEA的机载软件安全性需求提取方法研究

软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。