期刊文献+

基于IPO功能分解的嵌入式软件故障树分层构建方法 被引量:3

Hierarchical construction method for embedded software fault tree based on IPO function decomposition
下载PDF
导出
摘要 针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性. To solve the lack of construction methods for fault tree analysis (FrA) in the safety analysis methods at the requirement stage of embedded software, a hierarchical construction method for fault tree (FT) was proposed in combination with the characteristics of embedded system. In order to construct the internal PT of each functional layer, the IPO-based (input, process, output) function decomposition method was proposed. In addition, the effect analysis of various decomposed functions were carried out through adopting the FMEA (failure modes and effect analysis) method, and the construction elements of PT were determinined. Furthermore, the hierarchical relationship between the framework model for PT construction inside function layers and Fr of each functional layer was proposed. And thus, the automation of P-T construction is partially realized, and the completeness, correctness and effectiveness of PT construction get improved. In the safety analysis on the control software of an engine with certain type, the above-mentioned method was used to guide the b'T construction and analysis of the proposed embedded software. The feasibility and effectiveness of the method is proved.
出处 《沈阳工业大学学报》 EI CAS 北大核心 2013年第2期204-211,共8页 Journal of Shenyang University of Technology
基金 "十一五"国防预研基金资助项目(5131907XXX)
关键词 嵌入式软件 软件故障树 分层分析 软件安全性 软件失效模式与影响 输入-处理过程-输出 embedded software software fault tree(SFT) hierarchical analysis software safety softwareFMEA IPO
  • 相关文献

参考文献13

  • 1宫义山,高媛媛.基于故障树和贝叶斯网络的故障诊断模型[J].沈阳工业大学学报,2009,31(4):454-457. 被引量:20
  • 2Leveson N G, Harvey P R. Analyzing software safety [ J ]. IEEE Transactions on Software Engineering, 1983,9 (5) :569 - 579. 被引量:1
  • 3Mojdehbakhsh R, Subramanian S, Vishnuvajjala R, et al. A process for software requirements safety ana- lysis[C]//Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering. Monterey, USA, 1994:45 - 54. 被引量:1
  • 4Subramanian S, Vishnuvajjala R V, Mojdehbakhsh R, et al. A framework for designing safe software systems [C]//Proceedings Nineteenth Annual International Computer Software and Applications Conference. Dal- las, USA, 1995:409 - 414. 被引量:1
  • 5Zhang H, Liu B. Integrated analysis of software FMEA and FTA [ C ]//International Conference on Information Technology and Computer Science. Kiev, Ukraine,2009 : 184 - 187. 被引量:1
  • 6徐中伟,吴芳美.形式化故障树分析建模和软件安全性测试[J].同济大学学报(自然科学版),2001,29(11):1299-1302. 被引量:28
  • 7国防科学技术工业委员会.GJB/Z768A--1998故障树分析指南[S].北京:国防科工委军标出版发行部,1998. 被引量:1
  • 8胡庆培,白成刚,蔡开元.基于构件软件的可靠性分析技术—FTA[J].计算机工程与应用,2003,39(10):118-120. 被引量:2
  • 9强宇,刘宗田.基于面向对象软件的故障树技术研究[J].合肥工业大学学报(自然科学版),2000,23(5):706-709. 被引量:1
  • 10Younju O, Junbeom Y, Sungdeok C, et al. Software safety analysis of function block diagrams using fault trees [ J]. Reliability Engineering and System Safety, 2005,88(3) :215 -228. 被引量:1

二级参考文献13

  • 1张宏辉,唐锡宽.贝叶斯推理网络在大型旋转机械故障诊断中的应用[J].机械科学与技术(江苏),1996,25(2):43-46. 被引量:12
  • 2宫义山,赵海,哈铁军,张永庆,徐峰.多源信息的模糊决策树融合算法研究[J].沈阳工业大学学报,2006,28(2):127-131. 被引量:3
  • 3古新生 王拓 等.面向对象方法与iC^++新版技术[M].西安:西安交通大学出版社,1995.78-101. 被引量:1
  • 4Cheng J, Bell D, Liu W R. Learning Bayesian networks from data:An efficient approach based on information-theory [J]. Artificial Intelligence, 2002, 137 (2) :43 -90. 被引量:1
  • 5Bobbin A, Portinale I, Minichino M, et al. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks[J]. Reliability Engineering and System Safety,2006,71:249 -260. 被引量:1
  • 6Garribba S, Guagnini F, Mussio P. Multiple-valued logic trees:Meaning and prime implicants [ J ]. IEEE Transactions on Reliability, 2004,34:463 - 472. 被引量:1
  • 7Doyle S A,Dugan J B ,Patterson-Hine A. A combinatorial approach to modeling imperfect coverage[J].IEEE Transactions on Reliability,2000,44:87 - 94. 被引量:1
  • 8Andrews J D, Morgan J M. Application of the digraph method of fault tree construction to process plant [ J ]. Reliability Engineering and System Safety, 2003,14 : 85 - 106. 被引量:1
  • 9Andrews J D, Brennan G. Application of the digraph method of fault tree construction to a complex control configuration[J].Reliability Engineering and System Safety, 2002,28 : 357 - 384. 被引量:1
  • 10古新生,面向对象方法与C++新版本,1995年,78页 被引量:1

共引文献47

同被引文献12

引证文献3

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部