AADL建模语言可以支持架构层面的软件安全性分析,引入AADL错误附件,将其进行扩展,构建了基于AADL的安全模型,根据转换规则将安全模型转换为Markov链模型,并对其转换后的Markov链模型进行安全性分析。以飞机机翼系统为应用场景进行实验,...AADL建模语言可以支持架构层面的软件安全性分析,引入AADL错误附件,将其进行扩展,构建了基于AADL的安全模型,根据转换规则将安全模型转换为Markov链模型,并对其转换后的Markov链模型进行安全性分析。以飞机机翼系统为应用场景进行实验,通过计算系统的MTBUF(Mean Time Between Unfailures,非安全失效平均间隔时间)和系统失效率,并将结果与经验数据进行对比,实现对软件系统的安全性评估。软件安全性问题在航空、航天、展开更多
文摘AADL建模语言可以支持架构层面的软件安全性分析,引入AADL错误附件,将其进行扩展,构建了基于AADL的安全模型,根据转换规则将安全模型转换为Markov链模型,并对其转换后的Markov链模型进行安全性分析。以飞机机翼系统为应用场景进行实验,通过计算系统的MTBUF(Mean Time Between Unfailures,非安全失效平均间隔时间)和系统失效率,并将结果与经验数据进行对比,实现对软件系统的安全性评估。软件安全性问题在航空、航天、