期刊文献+

基于模糊着色Petri网的隐患软件可靠性分析

下载PDF
导出
摘要 在现代社会中,隐患软件系统的可靠性评估越来越重要。在一个存在隐患的系统中,因为性能下降或局部破坏,隐患则演变为故障,那此时对存在隐患的软件系统进行可靠性分析并提前预估隐患是非常重要的。针对这一问题,本文提出了一种分析隐患软件系统可靠性的新方法。首先,我们建立了一个隐患软件系统的模糊着色Petri网的数据模型,隐患软件系统的状态信息和模糊着色Petri网的状态节点之间进行动态转换;其次,隐患软件系统数据阈值与模糊着色Petri网的变迁阈值之间进行动态转换。再次,提出了隐患软件系统数据阈值调整的自适应机器学习算法,为隐患软件系统的可靠性分析和评估提供了参数指导。最后,我们利用实例验证了隐患软件系统的模糊着色Petri网和数据阈值参数的调整是合理的并能提高隐患软件系统的稳定性。
作者 张新菊
出处 《电子技术与软件工程》 2018年第6期46-49,共4页 ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING
基金 十二五国家科技支撑计划项目<基于云服务的安全生产隐患排查关键技术研究与应用示范>的课题<安全生产隐患排查智能化服务平台技术研究课题>资金支持 课题编号2015BAK38B01
  • 相关文献

参考文献4

二级参考文献35

  • 1李成铁,钱晓龙,孟伟娟,顾德英,汪晋宽.SLC500热备系统原理与实现方案[J].仪器仪表学报,2006,27(z1):1010-1011. 被引量:1
  • 2邢维艳,王宝军,刘东.用AT91RM9200构建高可靠嵌入式系统[J].单片机与嵌入式系统应用,2007,7(2):7-10. 被引量:1
  • 3Merlin P M,Farber D J.Recoverability of communication protocols:Implication of a theoretical study.IEEE Transactions on Communications,1976,24(9):1036-1043. 被引量:1
  • 4Balbo G.Introduction to stochastic Petri nets.Lectures or Formal Methods and Performance Analysis 2090,2001:84-155. 被引量:1
  • 5Boyer M,Roux O H.Comparison of the expressiveness of arc,place and transition time Petri nets//Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency.Siedlce,Poland.LNCS 4546.Berlin,Springer-Verlag,2007:63-82. 被引量:1
  • 6Ramchandani C.Analysis of asynchronous concurrent systems by timed Petri nets.Massachusets Institute of Technology,Technical Report MAC-TR-120,1974. 被引量:1
  • 7Lin C,Marinescu D C.Stochastic high-level Petri nets and applications.IEEE Transactions on Computers,1988,37 (7):815-825. 被引量:1
  • 8Berthomieu B,Diaz M.Modeling and verification of time dependent systems using time Petri nets.IEEE Transactions on Software Engineering,1991,17(3):259-273. 被引量:1
  • 9Vicario E.Static analysis and dynamic steering of time dependent systems using time Petri nets.IEEE Transactions on Software Engineering,2001,27(8):728-748. 被引量:1
  • 10Hadjidj R,Boucheneb H.Improving state class constructions for CTL* model checking of time Petri nets.International Journal on Software Tools for Technology Transfer,2008,10(2):167-184. 被引量:1

共引文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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