Parametric NdRFT for the derivation of optimal repair strategies

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 399-408

  Beccuti, Marco ^a   Franceschinis, Giuliana ^a   Codetta Raiteri, Daniele ^a   Haddad, Serge ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Fault trees; Markov decision process; Optimal repair strategy; Symmetries; Well formed nets

Indexed keywords

ANALYSIS METHOD; ANALYSIS TECHNIQUES; FAULT-TREES; MARKOV DECISION; MARKOV DECISION PROCESSES; MODELING FORMALISMS; REDUCED-STATE; REPAIR STRATEGY; WELL-FORMED NETS;

FAILURE ANALYSIS; MARKOV PROCESSES; OPTIMIZATION; PETRI NETS;

REPAIR;

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

References (15)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995.
2. A. Anand and A. K. Somani. Hierarchical Analysis of Fault Trees with Dependencies, Using Decomposition. In Annual Reliability and Maintainability Symposium, pages 69-75, 1998.
3. M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and S. Haddad. Non deterministic repairable fault trees for computing optimal repair strategy. In Int. Conf. on Performance Evaluation, Methodologies and Tools, Athens, Greece, October 2008.
4. M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, and S. Haddad. Non deterministic Repairable Fault Trees for computing optimal repair strategy. Dip. Informatica, Univ. Piemonte Orientale. Tech. Rep. TR-INF-2008-07-05, 2008.
5. M. Beccuti, G. Franceschinis, and S. Haddad. Markov Decision Petri Net and Markov DecisionWell-Formed Net Formalisms. Lecture Notes in Computer Science, 4546:43-62, 2007.
6. A. Bobbio, G. Franceschinis, R. Gaeta, and G. Portinale. Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Transactions on Software Engineering, 29(3):270-287, March 2003.
7. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, nov 1993.
8. D. Codetta-Raiteri, G. Franceschinis, M. Iacono, and V. Vittorini. Repairable Fault Tree for the automatic evaluation of repair policies. In Int. Conf. on Dependable Systems and Networks, pages 659-668, Florence, Italy, June 2004.
9. S. Contini. ASTRA - Advanced Software Tool for Reliability Analysis, Theoretical Manual. European Commission Joint Research Centre (JRC), Ispra, Italy, http://www.jrc.ec.europa.eu, 1999. EUR 18727en.
10. G. Krishnamurthi, A. Gupta, and A. K. Somani. HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques. Lecture Notes in Computer Science, 1469:348-351, 1998.
11. R. Manian, D.W. Coppit, K.J. Sullivan, and J.B. Dugan. Bridging the Gap Between Systems and Dynamic Fault Tree Models. In Annual Reliability and Maintainability Symposium, pages 105-111, 1999.
12. M. Puterman. Markov decision processes : Discrete Stochastic Dynamic Programming. John Wiley & Sons, 1994.
13. A. Rauzy. New Algorithms for Fault Trees Analysis. Reliability Engineering and System Safety, 05(59):203-211, 1993.
14. R. A. Sahner, K. S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic, 1996.
15. W.G. Schneeweiss. The Fault Tree Method. LiLoLe Verlag, 1999.