|
|||||
|
|
| 基于AADL模型的软件安全性评估 | |
| 摘 要： | <正>AADL建模语言可以支持架构层面的软件安全性分析,引入AADL错误附件,将其进行扩展,构建了基于AADL的安全模型,根据转换规则将安全模型转换为Markov链模型,并对其转换后的Markov链模型进行安全性分析。以飞机机翼系统为应用场景进行实验,通过计算系统的MTBUF(Mean Time Between Unfailures,非安全失效平均间隔时间)和系统失效率,并将结果与经验数据进行对比,实现对软件系统的安全性评估。软件安全性问题在航空、航天、武器装备等各个领域 |
| 本文献已被 CNKI 等数据库收录！ | |