-
题名基于AADL模型航空安全软件可信性度量方法
被引量：1
- 1
-
-
作者
刘歆宁
康玲
-
机构
大连东软信息学院软件工程系
-
出处
《计算机技术与发展》
2023年第8期81-87,94,共8页
-
基金
辽宁省教育厅高等学校基本科研项目(LJKMZ20222007)
大连市青年科技之星项目(2021RQ068)。
-
文摘
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案。首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型。可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。
-
关键词
AADL
航空软件可信性度量
Markov分析方法
模型转换规则
模糊综合评价法
-
Keywords
AADL
aviation software trustworthiness measurement
Markov analysis method
model conversion rules
fuzzy comprehensive evaluation method
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
