[1]刘歆宁*,康 玲.基于 AADL 模型航空安全软件可信性度量方法[J].计算机技术与发展,2023,33(08):81-87.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]
　LIU Xin-ning*,KANG Ling.Trustworthiness Measurement Method of Aviation Software Based on AADL Model[J].,2023,33(08):81-87.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]
点击复制

基于 AADL 模型航空安全软件可信性度量方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
33
期数:
2023年08期
页码:
81-87
栏目:
网络空间安全
出版日期:
2023-08-10

文章信息/Info

Title:
Trustworthiness Measurement Method of Aviation Software Based on AADL Model
文章编号:
1673-629X(2023)08-0081-07
作者:
刘歆宁* ; 康 玲
大连东软信息学院 软件工程系,辽宁 大连 116023
Author(s):
LIU Xin-ning* ; KANG Ling
Department of Software Engineering,Dalian Neusoft University of Information,Dalian 116023,China
关键词:
AADL; 航空软件可信性度量; Markov 分析方法; 模型转换规则; 模糊综合评价法
Keywords:
AADL;  aviation software trustworthiness measurement;  Markov analysis method;  model conversion rules;  fuzzy comprehensive evaluation method
分类号:
TP31
DOI:
10. 3969 / j. issn. 1673-629X. 2023. 08. 012
摘要:
航空嵌入式实时系统越来越复杂,AADL( Architecture Analysis & Design Language) 是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于 AADL 模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于 AADL 模型的软件研究了一种综合的可信性度量方案。 首先,从复
杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将 AADL 故障模型转换为 Markov 模型,进而提出了对基于 AADL 故障模型的软
件进行可信性度量的方法;再次,将模糊综合评价法应用于基于 AADL 模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。 结果表明:该工具通过用户定制可信性度量模型并度量解析后的 AADL 模型。 可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。
Abstract:
Aviation embedded real - time systems are becoming more and more complex. AADL ( Architecture Analysis & DesignLanguage) is the basis for the?
design and implementation of model-driven embedded real-time systems. It does not solve the problemthat the research content of software credibility measurement and analysis based on AADL model is not perfect. We study acomprehensive credibility measurement scheme for the software based on AADL model for the example of avionics system. Firstly,thecredibility measurement is carried out from the four aspects of complexity,scale,cohesion and coupling,and the measurement indicatorsare formed. Secondly,the AADL fault model is transformed into a Markov model, and then a method to measure?
the credibility ofsoftware based on AADL fault model is proposed. Thirdly, the fuzzy comprehensive evaluation method is applied to the softwarecredibility evaluation based on AADL model, and the evaluation model is established by the measurement indicators. Finally, thecredibility measurement and evaluation tool is implemented. The results show that the tool can customize the credibility measurementmodel and measure the parsed AADL model. It?
can be seen that the proposed method better reflects the credibility characteristics ofaviation software in the early stage of development.

相似文献/References:

[1]吴育春,李蜀瑜.基于时间Petri网的AADL模型[J].计算机技术与发展,2014,24(02):88.
　WU Yu-chun,LI Shu-yu.AADL Model Based on TPN[J].,2014,24(08):88.
[2]杨莉[][],李楠[],席隆[]. 基于AADL的嵌入式系统可靠性建模方法的探讨[J].计算机技术与发展,2015,25(08):234.
　YANG Li[][],LI Nan[],XI Long[]. Discussion on Reliability Modeling for Embedded System Based on AADL[J].,2015,25(08):234.
[3]曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换[J].计算机技术与发展,2019,29(10):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
　CAO Xue-yue,CAO Zi-ning,BU Xing-chen.Hybrid AADL Modeling and Model Transformation for Cyber Physical System[J].,2019,29(08):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
[4]李 蜜,庄 毅.基于 XSLT 的可靠性模型的自动转换方法[J].计算机技术与发展,2019,29(12):21.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
　LI Mi,ZHUANG Yi.Automatic Transformation Method of Reliability Model Based on XSLT[J].,2019,29(08):21.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
[5]卜星晨,曹子宁,胡名光.带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
　BU Xing-chen,CAO Zi-ning,HU Ming-guang.A Modeling Method of Cyber-physical System with Data Constraints[J].,2020,30(08):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]

更新日期/Last Update: 2023-08-10