论文部分内容阅读
针对软件安全性问题，提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型，计算组件处于不同危害级别状态概率，分析组件安全性。并且进一步，根据AADL错误模型组合实现定义，由其内部组件安全状态概率计算分析软件系统的安全性，避免状态爆炸问题。最后，以飞控系统软件为例，对算法进行实例验证。