|
|
论文:2014,Vol:32,Issue(6):1007-1010 |
|
|
引用本文: |
|
|
成静, 朱怡安, 屈华敏, 罗文波, 江叶春, 张涛. 一种基于AADL错误模型的软件安全性分析技术研究[J]. 西北工业大学学报 |
|
|
Cheng Jing, Zhu Yi'an, Qu Huamin, Luo Wenbo, Jiang Yechun, Zhao Tao. Analyzing Software Safety with AADL Error Model[J]. Northwestern polytechnical university |
|
|
|
|
|
|
|
一种基于AADL错误模型的软件安全性分析技术研究 |
|
成静1,2, 朱怡安1, 屈华敏2, 罗文波2, 江叶春2, 张涛2 |
|
1. 西北工业大学 计算机学院, 陕西 西安 710072; 2. 西北工业大学 软件与微电子学院, 陕西 西安 710075 |
摘要: |
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。 |
关键词:
AADL模型
错误模型
软件安全性
马尔科夫链
|
|
Analyzing Software Safety with AADL Error Model |
|
Cheng Jing1,2, Zhu Yi'an1, Qu Huamin2, Luo Wenbo2, Jiang Yechun2, Zhao Tao2 |
|
1.Department of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China; 2.Department of Software Engineering, Northwestern Polytechnical University, Xi'an 710072, China |
Abstract: |
We propose a new model-based software safety analysis method,which can analyze software safety earlyin the software design phase. Firstly we define the rules for transforming the AADL error model into expanded Mark-ov chain; the probabilities of different level component's safety states can be calculated with Markov model. AADLcan define software system error behavior model in terms of the subcomponent error models,then safety of softwaresystem can be got directly in terms of subcomponent safeties. Finally an example is given to explain the use of themeasurement method. |
Key words:
angular velocity
computer software
conformal mapping
design
errors
flight control system
Markov processes
mathematical models
matrix algebra
probability
unmanned aerial vehicles(UAV)
AADL(Architecture Design and Design Language)
error model
Markov model
safety
|
|
收稿日期: 2014-04-28
修回日期:
|
DOI: |
基金项目: 国家自然科学基金(61103003)与航天科技支撑计划(2014HTXGD)、西北工业大学基础研究基金(2012JC2016)与航空科学基金(20120718005)资助 |
通讯作者:
Email: |
作者简介: 成静(1982-),女,西北工业大学博士研究生,主要从事软件测试、软件安全性研究。
|
|
相关功能 |
|
|
|
作者相关文章 |
|
成静 在本刊中的所有文章 |
朱怡安 在本刊中的所有文章 |
屈华敏 在本刊中的所有文章 |
罗文波 在本刊中的所有文章 |
江叶春 在本刊中的所有文章 |
张涛 在本刊中的所有文章 |
|
|
|
|
|
|
|
|
参考文献: |
|
|
[1] Bhansali P V. Software Safety: Current Status and Future Direction[J]. ACM Sigsoft Software Engineering Notes, 2005, 30(1):1-3 [2] Dong YunWei,Wang GuangRen,Zhang Fan,Gao Lei. Reliability Analysis and Assessment Tool for AADL Model[J]. Journalof Software,2011,22(6): 1252-1266 [3] Liu Xinning,Qian Hongbing. Software Dependability Metrics and Analysis Based on AADL Error Model[C] ∥Lecture Notes inComputer Science,2011: 236-244 |
|
|
|
|
|
|
|