期刊文献+

随机Petri网在软件可靠性分析中的应用 被引量:2

Application of Stochastic Petri Net in the Software Reliability Analysis
在线阅读 下载PDF
导出
摘要 软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题。提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度。同时指出该方法在应用中会遇到的某些问题及其解决方法。 The software reliability model has the core effect to estimate software reliability. The models suggested at present which have certain application conditions and ranges arc not able to adapt tothe request of complex and volatile application environment mostly. So the application of software reliability model has brought forward the new problem. This paper gives an approach based on stochastic Petri net that can analyzing software reliability. This approach not only is able to reduce the complicated degree of describing and analyzing the software reliability, but also can improve the precision of appraising and forecasting reliability. The paper points out some problems that come across in the application of the method and their solutions at the same time.
出处 《现代电子技术》 2007年第2期135-137,共3页 Modern Electronics Technique
关键词 随机PETRI网 软件可靠性分析 软件可靠性模型 分析复杂度 SPN software reliability analysis software reliability model complicated degree of analysis
  • 相关文献

参考文献8

二级参考文献24

  • 1M Ajmone Marsan, G Conte, G Balbo. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems[J]. ACM Transactions on Computer System, 1984, 2(2) :93- 122.
  • 2G Ciardo, A Blakemore, jr P F Chimento, et al. Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets[J]. Linear Algebra,Markov Chains and Queueing Models, IMA Volumes in Mathematics and It' s Applications, 1993, 48:145 ~1
  • 3J A Couvillon, R Freire, R Johnson, et al. Performability Modeling with UltraSAN[J]. IEEE Transactions on Software Engineering, 1991, 32:69- 80.
  • 4P Buchholz. A Hierarchical View of GCSPNs and Its Impact on Quantitative and Quantitative Analysis [J].Parallel and Distributed Computing, 1992, 15: 207-224.
  • 5V Mainkar, K S Trivedi. Fixed Point Iteration Using Stochastic Reward Nets[C]. In: Proc. 6th International Workshop on Petri Nets and Performance Models,1995. 21-30.
  • 6P Kemper. Numerical Analysis of Superposed GSPNs [J]. IEEE Transactions on Software Engineering,1996,22:37- 49.
  • 7P Kemper. Transient Analysis of Supperposed GSPNs [C]. In: Proc. 7th International Workshop on Petri Nets and Performance Models, 1997. 101 - 110.
  • 8M Li, N D Georganas. Parametric Analysis of Stochastic Petri Nets [M]. Computer Performance Evaluation,1992. 59-72.
  • 9W Henderson, D Lucic, P G Taylor. A Net Level Performance Analysis of Stochastic Petri Nets[J]. Journal of Australian Mathematical Soc. Ser. B, 1989, 31:176-187.
  • 10S Donatelli, M Sereno. On the Product Form Solution for Stochastic Petri Nets[C]. In:Proc. of International Conference on Application and Theory of Petri Nets,1993. 154- 172.

共引文献16

同被引文献10

  • 1马津燕,王晓欣,刘鲁源,朱宏立.基于DSPN的CSMA/CD的建模和性能分析[J].燕山大学学报,2005,29(2):140-144. 被引量:2
  • 2周悦,于海斌,王天然,吴成东.CAN总线的CSMA/CA通信过程的DSPN建模与性能分析[J].仪器仪表学报,2006,27(9):990-995. 被引量:7
  • 3林闯.随机Petri网和系统性能分析[M].北京:清华大学出版社,2000.23-28.
  • 4Reinhard German, Armin Heindl. Performance Evaluation of IEEE 802.11 Wireless LANs with Stochastic Petri Nets[ J]. Performance Evaluation,2001,44( 1-4) : 139 - 164.
  • 5Claude Girault. Petri Nets for Systems Engineering A Guide to Modeling, Verification and Applications [ M ]. Publishing House of Electionics Industry,2003.
  • 6ZURAWSKI R, ZHOU M C. Petri nets and industrial applications: a tutorial~J']. IEEE Transactions on In- dustrial Electronics, 1994, 41(4): 567-583.
  • 7SACHDEVA A, KUMAR D, KUMAR P. Availabili- ty modeling of screening system of a paper plant using GSPNEJ~. Journal of Modelling in Management, 2008, 3(1) : 26-39.
  • 8SCHNEEWEISS W G. Tutorial:Petri nets as a graph- ical description medium for many reliability scenarios [J]. IEEE Transactions on Reliability, 2001, 50(2): 159-164.
  • 9李伟.铝板带辊式矫直机主要故障的原因及对策[J].铝加工,2008,31(6):24-28. 被引量:2
  • 10刘孟民,张昌收,范海军.型钢辊式矫直机常见故障分析与预防措施[J].安阳工学院学报,2010,9(2):15-16. 被引量:2

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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