摘要
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案.首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具.结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型.可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征.
基金项目
辽宁省教育厅高等学校基本科研项目(LJKMZ20222007)
大连市青年科技之星项目(2021RQ068)
国家科技期刊平台
NSTL
维普
万方数据