Reliability analysis method for embedded software system architecture

Reliability analysis method for embedded software system architecture
Qu Yikun
Zhang Wei
China Aerospace Academy of Systems Science & Engineering, Beijing 100048, China

摘要

AADL is a common method for modeling and evaluating SA in the embedded field, but AADL is a semi-formal development language, cannot directly verify reliability of SA. Therefore, this paper developed a reliability analysis framework based on AADL to formally verify the reliability of SA. Firstly, it built AADL reliability model of architecture by analyzing the relationship of system architecture elements. Then, it designed the transformation model and its rules to transform the AADL model into the continuous time Markov chain model. Finally, it used probabilistic model test to quantitatively analyze the reliability of continuous time Markov chain model. Simulation results show that, compared with existing reliability analysis methods, this method has significantly improved the computational efficiency and conversion efficiency. Reliability analysis frame-work based on AADL realizes the quantitative calculation of SA reliability in the early stage of software system development, and provides a new verification idea for AADL in the quantitative analysis of embedded software system reliability.

基金项目

国防技术基础项目

出版信息

DOI: 10.19734/j.issn.1001-3695.2019.05.0219
出版期卷: 《计算机应用研究》 Printed Article, 2020年第37卷 第10期
所属栏目: Software Technology Research
出版页码: 3053-3057
文章编号: 1001-3695(2020)10-035-3053-05

发布历史

[2020-10-05] Printed Article

引用本文

曲以堃, 张伟. 嵌入式软件系统体系结构可靠性分析方法 [J]. 计算机应用研究, 2020, 37 (10): 3053-3057. (Qu Yikun, Zhang Wei. Reliability analysis method for embedded software system architecture [J]. Application Research of Computers, 2020, 37 (10): 3053-3057. )

关于期刊

  • 计算机应用研究 月刊
  • Application Research of Computers
  • 刊号 ISSN 1001-3695
    CN  51-1196/TP

《计算机应用研究》创刊于1984年,是由四川省科技厅所属四川省计算机研究院主办的计算技术类学术刊物。

《计算机应用研究》瞄准本学科领域迫切需要的前沿技术,及时反映国内外计算机应用研究的主流技术、热点技术及最新发展趋势。主要刊载内容包括本学科领域高水平的学术论文、本学科最新科研成果和重大应用成果。栏目内容涉及计算机学科新理论、计算机基础理论、算法理论研究、算法设计与分析、区块链技术、系统软件与软件工程技术、模式识别与人工智能、体系结构、先进计算、并行处理、数据库技术、计算机网络与通信技术、信息安全技术、计算机图像图形学及其最新热点应用技术。

《计算机应用研究》拥有众多高层次读者、作者,读者对象主要为从事计算机学科领域高、中级研究人员及工程技术人员,各高等院校计算机专业及相关专业的师生。多年来《计算机应用研究》的总被引频次及Web下载率一直名列本学科同类学术刊物前茅,所刊发的学术论文以其新颖性、学术性、前瞻性、导向性、实用性而备受广大读者的喜爱。


收录和评价

  • 第二届国家期刊奖百种重点期刊
  • 中国期刊方阵双效期刊
  • 全国中文核心期刊(北大2023年版)
  • 中国科技核心期刊
  • 中国科学引文数据库(CSCD)来源期刊
  • RCCSE中国核心学术期刊
  • 中国计算机学会会刊
  • 2020—2022年科技期刊世界影响力指数(WJCI)报告收录期刊
  • 中国科技期刊精品数据库全文来源期刊
  • 中国学术期刊综合评价数据库来源期刊
  • 《中国期刊网》《中国学术期刊(光盘版)》来源期刊
  • 2017—2019年中国国际影响力优秀学术期刊(自然科学与工程技术)
  • 中国精品科技期刊顶尖学术论文(F5000)项目来源期刊
  • 《中国工程技术电子信息网》《电子科技文献数据库》来源期刊
  • 英国《科学文摘》(INSPEC)来源期刊
  • 《日本科学技术振兴机构数据库》(JST)来源期刊
  • 俄罗斯《文摘杂志》(AJ, VINITI)来源期刊
  • 美国《艾博思科学术数据库》(EBSCO)全文来源期刊
  • 美国《剑桥科学文摘(自然科学)》(CSA(NS))核心期刊
  • 波兰《哥白尼索引》(IC)来源期刊
  • 美国《乌利希期刊指南(网络版)》(Ulrichsweb)收录期刊