论文部分内容阅读
在机载软件安全问题频发的背景下,以机轮刹车控制软件为例,对软件安全性进行分析与验证。首先利用STPA方法识别刹车软件安全性需求,再借助GESTE平台验证机轮刹车控制系统安全性需求,形成了一种可用于机载软件安全性分析与验证的可行方法。该方法对机轮刹车控制软件的设计与编码提出对策和建议,为进一步提高机载软件安全性,提升机载软件适航水平提供参考与借鉴。