Integrated reliability modeling environment

Reliability Engineering and System Safety

Volumn 65, Issue 1, 1999, Pages 65-75

  Ramesh, A V ^a   Twigg, D W ^a   Sandadi, Upender R ^a   Sharma, Tilak C ^a   Trivedi, K S ^b   Somani, Arun K ^c  

^a BOEING COMPANY   (United States)

^b Duke University   (United States)

^c Iowa State University of Science and Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FAULT TREE ANALYSIS; MARKOV PROCESSES; PETRI NETS; PROGRAM TRANSLATORS; RELIABILITY;

HIERARCHICAL MODELING; STOCHASTIC PETRI NETS;

SYSTEMS ANALYSIS;

EID: 0032647569     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(98)00086-6     Document Type: Article

References (31)

1. Koren JM, Gaertner J. CAFTA: a fault tree analysis tool designed for PSA. In: Proc. of Probabilistic Safety Assessment and Risk Management: PSA '87, Zurich, Switzerland, vol. 2, 1987:588-592.
2. Sahner R.A., Trivedi K.S. Reliability modeling using SHARPE. IEEE Trans Reliability. R36(2 (June)):1987;186-193.
3. Ciardo G, Muppala J., Trivedi K. SPNP: Stochastic Petri Net Package. In: Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989:142-151.
4. Smotherman M.K., Dugan J.B., Trivedi K.S., Geist R.M. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics. 5(May/June):1986;319-331.
5. Butler R. The SURE Reliability Analysis Program, AIAA Guidance, Navigation, and Control Conference, Williamsburg, VA, August 1986.
6. Butler R.W. An abstract language for specifying Markov reliability models. IEEE Trans on Reliability. R35(Dec):1986;595-602.
7. Goyal A, Carter WC, de Souza e Silva E, Lavenberg SS, Trivedi KS. The system availability estimator. In: Proc. of the Sixteenth International Symposium on Fault-Tolerant Computing, Vienna, Austria, July 1986:84-89.
8. Sanders WH, Obal II WD. Dependability evaluation using UltraSAN. In: Proc. of The Twenty-Third International Symposium on Fault-Tolerant Computing, June 1993:674-679.
9. Johnson A.M. Jr., Malek M. Survey of software tools for evaluating reliability, availability, and serviceability. ACM Computing Surveys. 20(4):1988;227-269.
10. Ajmone Marsan M, Balbo G, Cante G. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Systems May 1984.
11. Meyer JF, Movaghar A, Sanders WH. Stochastic activity networks: structure, behavior, and application. In: Proc. International Workshop on Timed Petri Nets, Torino, Italy, July 1985:106-115.
12. Somani A.K., Trivedi K.S. Phased-mission system analysis using Boolean algebraic methods. Performance Evaluation Review. 22(1 (May)):1994;98-107.
13. Malhotra M., Trivedi K.S. Power-hierarchy of dependability-model types. IEEE Transactions on Reliability. 43(3 (Sept.)):1994;493-502.
14. Dugan JB, Trivedi KS, Geist R, Nicola VF. Extended stochastic petri nets: applications and analysis. In: Performance '84, Models of Computer System Performance. Amsterdam: North Holland.
15. Somani A.K., Ritcey J.A., Au S.H. Computationally efficient phased mission reliability analysis for systems with variable configuration. IEEE Transactions on Reliability. 41(4 (December)):1992;504-511.
16. Somani AK, Sharma T, Nguyen PH. Reliability computation of systems with latent-failures and monitoring. In: Proc. of 1994 Annual Reliability and Maintainability Symposium, Jan. 1994:195-200.
17. Trivedi K.S., Dugan J.B., Geist R.M., Smotherman M.K. Modeling imperfect coverage in fault-tolerant systems. Proc. IEEE. FTCS14:1984;77-82.
18. Sahner RA, Trivedi KS, Puliafito A. Performance and reliability analysis of computer systems. Boston, MA: Kluwer Academic, 1996.
19. Bernson S, de Souza e Silva E, Muntz R. A methodology for the specification of Markov Models. In: Stewart W, editor. Numerical Solution to Markov Chains. Boston, MA: Kluwer, 1991:11-37.
20. Chiola G., Franceschinis G., Gaeta R., Ribaudo M. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation. 24(1/2 (Nov.)):1995;47-68.
21. Krishnamurthi G., Gupta A, Somani AK. The HIMAP modeling environment. In: Proceedings of the 9th International Conference on Parallel and Distributed Computing Systems, Dijon, France, September 1996:254-259.
22. Choi H., Kulkarni V.G., Trivedi K.S. Markov regenerative stochastic petri nets. Performance Evaluation. 20:1994;337-357.
23. Malhotra M, Reibman A. Selecting and implementing phase approximations for semi-Markov models. Stochastic Models, 1993.
24. German R., Lindemann C. Analysis of stochastic Petri nets by the method of supplementary variables. Performance Evaluation. 20:1991;317-335.
25. Balakrishnan M, Trivedi KS. Componentwise decomposition for an efficient reliability computation of systems with repairable components. In: Proc. 25th International Symposium on Fault-Tolerant Computing, Pasadena, CA, July 1995:259-268.
26. Béounes C et al. SURF-2: A program for dependability evaluation of complex hardware and software systems. In: 23rd Int. Symp. On Fault-Tolerant Computing, Toulouse, France, 1993:668-673.
27. Rauzy A., Dutuit Y. Exact and truncated computations of prime implicants of coherent and noncoherent fault trees within ARALIA. Reliability Engineering & System Safety. 58(2 (Nov.)):1997;127-144.
28. Leroy A, Signoret JP. Use of Petri nets in availability studies. In: Reliability 89 Proceedings, Brighton, UK, vol. 1, UKAEA Inst. Quality Assurance, 14-16 June 1989.
29. Moureau R. FURAX: Expert system for automatic generation of reliability models for electrical or fluid networks. Proceedings of 7th International Conference on Reliability and Maintainability, Brest, France, 18-22 June 1990:375-380.
30. Chevalier M, Jeanjean G, Negrello L. ADELIA: a system for building failure trees for electrical networks. In: Proceedings of 11th International Conference on Expert Systems and their Applications, Avignon, France, 27-31, 1991.
31. Bouissou M, Bouhadana M, Bannelier N. Villatte, Knowledge modeling and reliability processing: presentation of the FIGARO language and associated tools. In: Proceedings of IFAC/IFIP/EWICS/SRE Symposium, Trondheim, Norway, 30 Oct.-1 Nov 1991.