Modeling and analysis of a scheduled maintenance system: A DSPN approach

Computer Journal

Volumn 47, Issue 6, 2004, Pages 634-650

  Bondavalli, Andrea ^a   Filippini, Roberto ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b CERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AVAILABILITY; FAULT TREE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS; REDUNDANCY; SCHEDULING; SYSTEMS ANALYSIS;

DETERMINISTIC STOCHASTIC PETRI NET; MARKOV REGENERATIVE PROCESS; SCHEDULED MAINTENANCE SYSTEM;

COMPUTER SOFTWARE MAINTENANCE;

EID: 8644219817     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/47.6.634     Document Type: Article

References (23)

1. Moubray, J. (1991) Reliability Centered Maintenance. Butterworth-Heinemann, Oxford, UK.
2. Bondavalli, A., Mura, I. and Trivedi, K. S. (1999) Dependability modelling and sensitivity analysis of scheduled maintenance systems. In EDCC-3 European Dependable Computing Conf., Prague, Czech Republic, September 15-17, LNCS. 1667, pp. 7-23. Springer-Verlag.
3. Mura, I. and Bondavalli, A. (2001) Markov regenerative stochastic petri nets to model and evaluate the dependability of phased missions. IEEE Trans. Comput., 50(12), 1337-1351.
4. Mura, I., Bondavalli, A., Zang, X. and Trivedi, K. S. (1999) Dependability modelling and evaluation of phased mission systems: a DSPN approach. In DCCA-7 - 7th IFIP Int. Conf. on Dependable Computing for Critical Applications, San Jose, CA, pp. 319-337. IEEE Computer Society Press.
5. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F. and Mura, I. (2004) Dependability modeling and evaluation of multiple phased systems using DEEM. IEEE Trans. Reliab., to appear.
6. INEEL/EXT-97-00740 NUREG/CR-5500. (1999) Reliability study: combustion engineering reactor protection system, 1984-1998. Vol. 10, Idaho National Engineering and Environmental Laboratory (INEEL).
7. International Atomic Energy Agency (1980) Protection System and Related Features in Nuclear Power Plants: A Safety Guide. Technical Report STI/PUB/551, IAEA.
8. IEEE (1985) IEEE guide for general principles of reliability analysis of nuclear power generating station safety systems. IEEE 352, Nuclear Power Engineering Committee of the IEEE Power Engineering Society.
9. McDermid, J. A. (1991) Issues in developing software for safety critical systems. Rel. Engng Syst. Saf., 32, 1-24.
10. Bell, R. and Reinert, D. (1990) Risk and system integrity concepts for safety related control systems. In Redmill, F. and Anderson, T. (eds), Safety-Critical Systems, pp. 275-295. Chapman & Hall, London.
11. Powell, D. (1995) Failure mode assumptions and assumption coverage. In Randell, B., Laprie, J.-C., Kopetz, H. and Littlewood, B. (eds), Predictably Dependable Computing Systems, Esprit Basic Research Series, pp. 133-140. Springer-Verlag.
12. Murry, R. and Mitchell, B. (1994) Cost savings from a practical predictive-maintenance program. In IEEE Reliability and Maintainability Symp., Annaheim, CA, 24-27 January, pp. 206-209.
13. Reineke, D., Murdock, W.P., Jr, Pohl, E. and Rehmert, I. (1999) Improving availability and cost performance for complex systems with preventive maintenance. In IEEE Reliability and Maintainability Symposium, Washington DC, 18-21 January, pp. 383-388.
14. Esary, J. and Ziehms, H. (1975) Reliability Analysis of Phased Missions, pp. 213-236. SIAM, Philadelphia.
15. Somani, A. K. and Trivedi, K. S. (1994) Phased-mission systems using boolean algebraic methods. ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Nashville, TN, 16-20 May. Perform. Eval. Rev., 22, 98-107.
16. Alam, M. and Al-Saggaf, U. M. (1986) Quantitative reliability evaluation of repairable phased-mission systems using Markov approach. IEEE Trans. Reliab., 35, 498-503.
17. Dugan, J. B. (1991) Automated analysis of phased-mission reliability. IEEE Trans. Reliab., 40, 45-52.
18. Smotherman, M. and Zemoudeh, K. (1989) A non-homogeneous Markov model for phased-mission reliability analysis. IEEE Trans. Reliab., 38, 585-590.
19. Somani, A. K., Ritcey, J. A. and Au, S. H. L. (1992) Computationally-efficent phased-mission reliability analysis for systems with variable configurations. IEEE Trans. Reliab., 41, 504-511.
20. Ajmone Marsan, M., Balbo, G. and Conte, G. (1984) A class of generalized stochastic petri nets for the performance analysis of multiprocessor systems. ACM TOCS, 2(2), 93-122.
21. Arsenault, J. E. and Roberts, J. A. (1980) Reliability and Maintainability of Electronic Systems. Pitman, London.
22. Choi, H., Kulkarni, V. and Trivedi, K. (1993) Transient analysis of deterministic and stochastic petri nets. In Marsan, M. A. (ed.), Application and Theory of Petri Nets, 14th Int. Conf. on Application and Theory of Petri Nets, Chicago, IL, 21-25 June, pp. 166-185. Lecture Notes in Computer Science, 691, Springer.
23. Siewiorek, D. P. and Swarz, R. S. (1998) Reliable Computer Systems: Design and Evaluation (3rd edn) AK Peters Ltd, Natick, MA.