Stepwise construction and refinement of dependability models

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 515-524

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

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY MODELS; GENERALIZED STOCHASTIC PETRI NETS; STEPWISE MODELING;

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS; CONTROL SYSTEMS; PETRI NETS; POWER PLANTS; RANDOM PROCESSES;

COMPUTER SIMULATION;

EID: 0036931235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028944     Document Type: Conference Paper

References (13)

1. M.A. Ajmone Marsan and G. Chiola. On Petri Nets with Deterministic and Exponentially Distributed Firing Time. LNCS 266:132-145, 1987.
2. M.A. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franchescinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing, Wiley, 1995.
3. C. Betous-Almeida and K. Kanoun. Dependability Evaluation: From Functional to Structural Modelling. Proc. 20th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2001), LNCS 2187:227-237, 2001.
4. C. Béounes and al. SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), 668-673, 1993.
5. A. Bondavalli, I. Mura and K.S. Trivedi. Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. Proc. 3rd European Dependable Computing Conf. (EDCC-3), LNCS 1667:7-23, 1999.
6. P. Chen, S.C. Bruell and G. Balbo. Alternative Methods for Incorporating Non-Exponential Distributions into Stochastic Timed Petri Net. Proc. of the 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89), IEEE Computer Society Press: 187-197, December 1989.
7. D.R. Cox and H.D. Miller The Theory of Stochastic Processes. Chapman and Hall Ltd., 1965.
8. M. Felder, A. Gargantini and A. Morzenti. A Theory of Implementation and Refinement in Timed Petri Net. Theoretical Computer Science, 202(1-2):127-161, 1998.
9. N. Fota, M. Kâaniche and K. Kanoun. Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling. Statistical and Probabilistic Models in Reliability (D.C. Ionescuand N. Limnios, Eds.): 321-335, Birkhäuser, 1999.
10. K. Kanoun, M. Borrel, T. Morteveille and A. Peytavin. Availability of CAUTRA, A Subset of the French Air Traffic Control System. IEEE Trans. on Computers, 48(5):528-535, May 1999.
11. M. Rabah, and K. Kanoun. Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. Proc. 3rd European Dependable Computing Conf. (EDCC-3), LNCS 1667:42-59, 1999.
12. I. Suzuki and T. Murata. A Method for Stepwise Refinement and Abstraction of Petri Net. Journal of Computer and System Sciences, 27:51-76, 1983.
13. R. Valette. Analysis of Petri Nets by Stepwise Refinement. Journal of Computer and System Sciences, 18(1):35-46, February 1979.