期刊文献+

基于构件失效建模的软件安全性分析 被引量:2

Software Safety Analysis Based on Component-level Failure Modeling
下载PDF
导出
摘要 提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性。 A software safety analysis method based on the component-level failure modeling is proposed.By using the extended Failure Propagation and Transformation Notation(FPTN),the failure behaviors of all components are described.It performs the architectural safety analysis by considering the architectural characteristics of various software system components.The safety level can be determined using the correlative fuzzy method.Combining with the example,the failure propagation probability can be obtained,and the results prove the effectiveness of the method.
出处 《计算机工程》 CAS CSCD 北大核心 2010年第14期59-61,共3页 Computer Engineering
基金 国家自然科学基金资助项目(60736017) 国家"863"计划基金资助项目(2007AA010304)
关键词 软件安全性 构件 失效建模 失效传播 software safety component failure modeling failure propagation
  • 相关文献

参考文献7

  • 1全国军事技术装备可靠性标准化技术委员会.GJB900-1991系统安全性通用大纲[S].北京:国防科学技术工业委员会,1991. 被引量:1
  • 2National Aviation and Space Association.NASA STD 8719.13B-2004 Software Safety Standard[S].2004. 被引量:1
  • 3United States Department of Defense.MIL-STD-882D-1996 Standard Practice for System Safety Program Requirements[S].1996. 被引量:1
  • 4Grunske L,Kaiser B.Automatic Generation of Analyzable Failure Propagation Models from Component-level Failure Annotations[C] //Proc,of QSIC'05.[S.l.] :IEEE Computer Society,2005. 被引量:1
  • 5Borcsok J,Holub P.Consideration of Common Cause Failures in Safety-critical Systems[C] //Proc.of ACACOS'08.Hangzhou,China:[s.n.] ,2008. 被引量:1
  • 6Wang J.A Subjective Methodology for Safety Analysis of Safety Requirements Specifications[J].IEEE Transactions on Fuzzy Systems,1997,5(3):418-430. 被引量:1
  • 7Mohamed A,Zulkernine M.On Failure Propagation in Component-based Software Systems[C] //Proc.of the 8th IEEE International Conference on Quality Software.[S.l.] :IEEE Press,2008. 被引量:1

同被引文献24

  • 1曾凡平.一种基于EAI模型的软件安全测试方法[J].华中科技大学学报(自然科学版),2005,33(z1):304-305. 被引量:3
  • 2张秋余,袁占亭,张冬冬,任磊.基于分布式软件总线的软构件开发技术的研究[J].兰州理工大学学报,2005,31(1):93-96. 被引量:4
  • 3Betty H C. Rogerio D L, Fickas S, et al. Software Engineering for Adaptive and Self-managing Systems[C]//Proc. of International Workshop on Software Engineering for Adaptive and Self- managing Systems. Minneapolis, USA: [s. n.], 2007. 被引量:1
  • 4Dikel D, Kane D, Ornbum S, et al. Applying Software Product-line Architecture[J]. IEEE Computer, 1997, 30(8): 49-55. 被引量:1
  • 5Object Management Group. Common Object Request Broker: Architecture and Specification[EB/OL]. (1999-10-02). http://www. cs.rpi.edu/academics/courses/fall02/netprog/javacorba.pdf. 被引量:1
  • 6Lapouchnian A, Yu Jijun, Liaskos S, et al. Requirements-driven Design of Autonomic Application Software[C]//Proc. of CASCON’06. Toronto, Canada: [s. n.], 2006. 被引量:1
  • 7Leveson N G. Software safety: why, what, and how[J]. ACM Computing Surveys, 1986,18(2):125-163. 被引量:1
  • 8Ericson C A II. Hazard analysis techniques for system safety[M]. Hoboken:John Wiley &. Sons, Inc. , 2005: 151-277. 被引量:1
  • 9Huang H W, Shih C, Yih S, et al. Model extension and improvement for simulator based software safety analysis [J]. Nuclear Engineering and Design, 2007, 237(9):955-971. 被引量:1
  • 10总装备部武器装备论证研究中心.GJB/Z157-2011:军用软件安全保证指南[s].2011. 被引量:1

引证文献2

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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