基于AADL模型的软件安全性评估  

作　　者：刘璐璐[1] 惠曾强 

机构地区：[1]中国飞行试验研究院

出　　处：《中国科技信息》2015年第19期60-62,共3页China Science and Technology Information

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

关 键 词：安全性评估 软件系统 MARKOV链模型 L模型 安全性分析 计算系统 安全性问题 建模语言 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]