Construction and stepwise refinement of dependability models

Performance Evaluation

Volumn 56, Issue 1-4, 2004, Pages 277-306

  Betous Almeida, Cláudia ^a   Kanoun, Karama ^a  

^a LAAS CNRS   (France)

Author keywords

Dependability modeling; Functional level model; Generalized stochastic Petri net; Model refinement

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; FAULT TREE ANALYSIS; MATHEMATICAL MODELS; POWER PLANTS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

DEPENDABILITY MODELING; FUNCTIONAL-LEVEL MODEL; GENERALIZED STOCHASTIC PETRI NET; MODEL REFINEMENT;

RANDOM PROCESSES;

EID: 1042265752     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2003.07.012     Document Type: Conference Paper

References (24)

1. M.A. Ajmone Marsan, G. Chiola, On Petri nets with deterministic and exponentially distributed firing time, Lecture Notes in Computer Science, vol. 266, Springer, Berlin, 1987, pp. 132-145.
2. M.A. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franchescinis, Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley, New York, 1995.
3. Ammar H.H., Huang Y.F., Liu R.-W., Hierarchical models for systems reliability, maintainability, and availability. IEEE Trans. Circ. Syst. 34(6):1987;629-638.
4. Bechta Dugan J., Sullivan K.J., Coppit D., Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49(1):1987;49-59.
5. C. Béounes, et al., SURF-2: a program for dependability evaluation of complex hardware and software systems, in: Proceedings of the 23rd International Symposium on Fault-tolerant Computing (FTCS-23), 1993, pp. 668-673.
6. C. Betous-Almeida, K. Kanoun, Dependability evaluation: from functional to structural modelling, in: Proceedings of the 20th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2001), Lecture Notes in Computer Science, vol. 2187, Springer, Berlin, 2001, pp. 227-237.
7. C. Betous-Almeida, Construction and refinement of dependability models - application to instrumentation and control systems, Ph.D. Dissertation, LAAS-CNRS Report 02275, 2002 (in French).
8. C. Betous-Almeida, K. Kanoun, Stepwise construction and refinement of dependability models, in: Proceedings of the International Conference on Dependable Systems and Networks (IPDS), 2002, pp. 515-524.
9. C. Betous-Almeida, K. Kanoun, Dependability modelling of instrumentation and control systems: a comparison of competing architectures, LAAS-CNRS Report 02204, 2002.
10. Bobbio A., Trivedi K.S., An aggregation technique for the transient analysis of stiff Markov chains. IEEE Trans. Comput. 35(9):1986;803-814.
11. A. Bobbio, E. Ciancamerla, G. Franceschinis, R. Gaeta, M. Minichino, L. Portinale, Methods of increasing modelling power for safety analysis applied to a turbine digital control system, in: Proceedings of the 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2002), Lecture Notes in Computer Science, vol. 2434, Springer, Berlin, 2002, pp. 212-223.
12. A. Bondavalli, I. Mura, K.S. Trivedi, Dependability modelling and sensitivity analysis of scheduled maintenance systems, in: Proceedings of the Third European Dependable Computing Conference (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer, Berlin, 1999, pp. 7-23.
13. G. Chiola, S. Donatelli, GSPN versus SPNs: what is the actual role of immediate transitions? in: Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM'91), IEEE Computer Society Press, 1991, pp. 20-30.
14. P. Chen, S.C. Bruell, G. Balbo, Alternative methods for incorporating non-exponential distributions into stochastic timed Petri net, in: Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM'89), IEEE Computer Society Press, December 1989, pp. 187-197.
15. D.R. Cox, H.D. Miller, The Theory of Stochastic Processes, Chapman & Hall, London, 1965.
16. A. Cumani, ESP - a package for the evaluation of stochastic Petri nets with phase-type distributed transition times, in: Proceedings of the International Workshop on Petri Nets and Performance Models (PNPM'85), vol. 684, IEEE Computer Society Press, 1985, pp. 144-151.
17. Felder M., Gargantini A., Morzenti A., A theory of implementation and refinement in timed Petri net. Theor. Comput. Sci. 202(1-2):1998;127-161.
18. N. Fota, M. Kaâniche, K. Kanoun, Incremental approach for building stochastic Petri nets for dependability modeling, in: D.C. Ionescuand, N. Limnios (Eds.), Statistical and Probabilistic Models in Reliability, Birkauser, Basel, 1999, pp. 321-335.
19. Kanoun K., Borrel M., Morteveille T., Peytavin A., Availability of CAUTRA, a subset of the French air traffic control system. IEEE Trans. Comput. 48(5):1999;528-535.
20. M. Rabah, K. Kanoun, Dependability evaluation of a distributed shared memory multiprocessor system, in: Proceedings of the Third European Dependable Computing Conference (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer, Berlin, 1999, pp. 42-59.
21. R. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package, Kluwer Academic Publishers, Dordrecht, 1996.
22. M. Scarpa, A. Bobbio, Kronecker representation of stochastic Petri nets with discrete PH distributions, in: Proceedings of the International Computer Performance and Dependability Symposium (IPDS98), IEEE Computer Society Press, 1998, pp. 52-61.
23. Suzuki I., Murata T., A method for stepwise refinement and abstraction of Petri net. J. Comput. Syst. Sci. 27:1983;51-76.
24. Valette R., Analysis of Petri nets by stepwise refinement. J. Comput. Syst. Sci. 18(1):1979;35-46.