WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。

Applications of WL_Net to the Missile Flight Control Software Safety Analysis

The flight control software is so complicated that it is hard to perform safety analysis for it.So it is a concern of not only software designers but also safety managers and customers in finding out an effective way assuring the safety of software products.As a kind of Petri Net extension,WL_Net is a powerful tool for system analysis and modeling,for which it is elected.WL_Net is firstly used in this field.First of all,build a WL_Net structural model considering the conditions and environments which may cause hazards and risks.Then analyze the rationality of the model and the probability of hazards or risks,using reachability tree or incidence matrix to find out whether the flight control software is safety or not.By this means,the safety of flight control software in our project can be validated and some potential hazards can be located.How to use WL_Net in safety analysis for the missile flight control software is briefly introduced,also its effectiveness and developing tendency are discussed as well.