软硬件综合AADL可靠性建模及分析方法
作者:
作者简介:

陆寅(1975-),男,博士,讲师,CCF专业会员,主要研究领域为嵌入式系统设计,嵌入式系统可靠性工程;
郭鹏(1987-),男,高级工程师,CCF专业会员,主要研究领域为嵌入式系统建模和仿真,调度规划;
秦树东(1995-),男,硕士,主要研究领域为嵌入式系统分功能属性分析,嵌入式系统可靠性工程;
董云卫(1968-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为嵌入式软件设计与验证,信息物理融合系统,嵌入式软件智能合成方法.

通讯作者:

董云卫,E-mail:yunweidong@nwpu.edu.cn

中图分类号:

TP311

基金项目:

国家自然科学基金(62192733)


Hardware-software Integrated Reliability Modeling and Analysis Using AADL
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [20]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中.随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率.嵌入式系统中软硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力.综合考虑软硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法.该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响.同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析.开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性.

    Abstract:

    The embedded system has been wildly applied in safety-critical system, such as aviation system, automobile systems, and telemedicine. However, reliability is not a property of these embedded systems that can be easily assured, for that the complexity of system architecture also increased rapidly. Thus, the reliability analysis and verification should be conducted in early design stages, so that to provide highly reliable and qualified systems while avoid economy and efficiency lose. In an embedded system, the system reliability is affected by both hardware errors, software defects, and hardware-software interactive failures. Although many achievements have been accomplished in the field of hardware-software integrated reliability analysis, they are not suitable to be applied in the early stages of system design and implementation. The SAE architecture analysis and design language (AADL) has provided an effective means of system architecture design and non-functional property verification, but it is not capable of hardware-software integrated reliability analysis for that its error model annex concentrates on software component error behavior modeling, and it cannot effectively describe the hardware error impact and propagation mechanism. An architecture level hardware-software integrated reliability modeling and analysis method, which considers the impact of both hardware, software and hardware-software interactive errors simultaneously, is proposed in this study. Combined with the transaction level modeling method in electronic circuit design, the proposed method extends the syntax and semantics of AADL in transaction level error behavior modeling to support the fine description of hardware component error and error propagation. Mapping rules from the enhanced AADL reliability model to generalized stochastic Petri net model are also proposed, so that the reliability model can be converted into calculation model to complete the hardware-software integrated reliability analysis and assessment of embedded system. A prototype IDE toolkit which implements the proposed method is developed to do testing and evaluation. It is used to do reliability modeling and analysis of avionic system, which is the control system of an air boost control system belongs to a certain type airplane. The result shows that, the proposed methods is capable of hardware-software integrated reliability modeling and analysis of complicated embedded system, and will provide refined analysis result compared with traditional AADL based methods.

    参考文献
    [1] Iyer RK, Velardi P.Hardware-related software errors:Measurement and analysis.IEEE Trans.on Software Engineering, 1985, SE-11(2):223-231.[doi:10.1109/TSE.1985.232198]
    [2] Roy DS, Murthy Ch.Reliability analysis of phasor measurement unit incorporating hardware and software interaction failures.IET Generation, Transmission&Distribution, 2015, 9(2):164-171.[doi:10.1049/iet-gtd.2014.0115]
    [3] Immonen A, Niemelä E.Survey of reliability and availability prediction methods from the viewpoint of software architecture.Software&System Modeling, 2008, 7(49):49-65.[doi:10.1007/s10270-006-0040-x]
    [4] Sinha S, Goyal NK, Mall R.Survey of combined hardware-software reliability prediction approaches from architectural and system failure viewpoint.Int'l Journal of System Assurance Engineering and Management, 2019, 10(4):453-474.[doi:10.1007/s13198-019-00811-y]
    [5] Purwantoro Y, Bennett S.Decomposition technique for integrated dependability evaluation of hardware-software systems using stochastic activity networks.In:Proc.of the 25th EUROMICRO Conf., Informatics:Theory and Practice for the New Millenium.Milan:IEEE, 1999, 2:142-145.[doi:10.1109/EURMIC.1999.794773]
    [6] Yu M, He ZhY, Qian QQ.Reliability analysis of combined hardware/software system based on Markov process.Acta Electronica Sinica, 2010, 38(2):473-479(in Chinese with English abstract).
    [7] Compare M, Baraldi P, Bani I, et al.Industrial equipment reliability estimation:A Bayesian Weibull regression model with covariate selection.Reliability Engineering&System Safety, 2020, 200:106891.[doi:10.1016/j.ress.2020.106891]
    [8] Jiang Y, Zhang HH, Liu H, et al.System reliability calculation based on the run-time analysis of ladder program.In:Bertrand M, Luciano B, eds.Proc.of the 9th Joint Meeting on Foundations of Software Engineering.Association for Computing Machinery, 2013.695-698.[doi:10.1145/2491411.2494570]
    [9] Jiang Y, Zhang HH, Song X Y, et al.Bayesian-network-based reliability analysis of PLC systems.IEEE Trans.on Industrial Electronics, 2013, 60(11):5325-5336.[doi:10.1109/TIE.2012.2225393]
    [10] Kurtoglu T, Tumer IY.A graph-based fault identification and propagation framework for functional design of complex systems.Journal of Mechanical Design, 2008, 130(5):051401-051409.[doi:10.1115/1.2885181]
    [11] Jensen DC, Tumer IY, Kurtoglu T.Modeling the propagation of failures in software driven hardware systems to enable risk-informed design.In:Proc.of the ASME 2008 Int'l Mechanical Engineering Congress and Exposition.Boston:ASME, 2008, 16:283-293.[doi:10.1115/IMECE2008-68861]
    [12] Tumer IY, Smidts CS.Integrated design-stage failure analysis of software-driven hardware systems.IEEE Trans.on Computers, 2011, 60(8):1072-1084.[doi:10.1109/TC.2010.245]
    [13] Feiler PH, Goodenough JB, Gurfinkel A, et al.Reliability improvement and validation framework.Technical Report, CMU/SEI-2012-SR-013, Pittsburgh:Software Engineering Institute, Carnegie Mellon University, 2012.[doi:10.1184/R1/6583043.v1]
    [14] Dong YW, Wang GR, Zhang F, et al.Reliability analysis and assessment tool for AADL model.Ruan Jian Xue Bao/Journal of Software, 2011, 22(6):1252-1266(in Chinese with English abstract).http://www.jos.org.cn/1000-9825/4014.htm[doi:10.3724/SP.J.1001.2011.04014]
    [15] Wei XM, Dong YW, Li XL, et al.Architecture-level hazard analysis using AADL.Journal of Systems and Software, 2018, 137:580-604.[doi:10.1016/j.jss.2017.06.018]
    [16] Xiao MR, Dong YW, et al.Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL.Frontiers of Information Technology&Electronic Engineering, 2020, 21:1607-1625.[doi:10.1631/FITEE.2000428]
    [17] Shin YJ, Tahar S, Habibi A.A systemc transaction level model for the MIPS R3000 processor.In:Proc.of 4th Int'l Conf.on Sciences of Electronic, Technologies of Information and Telecommunications.Tunisia:EEE, 2007.1-8.
    附中文参考文献:
    [6] 于敏,何正友,钱清泉.基于Markov过程的硬/软件综合系统可靠性分析.电子学报, 2010, 38(2):473-479.
    [14] 董云卫,王广仁,张凡,高磊.AADL模型可靠性分析评估工具.软件学报, 2011, 22(6):1252-1266.http://www.jos.org.cn/1000-9825/4014.htm[doi:10.3724/SP.J.1001.2011.04014]
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

陆寅,秦树东,郭鹏,董云卫.软硬件综合AADL可靠性建模及分析方法.软件学报,2022,33(8):2995-3014

复制
分享
文章指标
  • 点击次数:1409
  • 下载次数: 4383
  • HTML阅读次数: 3332
  • 引用次数: 0
历史
  • 收稿日期:2021-09-08
  • 最后修改日期:2021-10-14
  • 在线发布日期: 2022-01-28
  • 出版日期: 2022-08-06
文章二维码
您是第20061997位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号