Automated generation of partial Markov chain from high level descriptions

Reliability Engineering and System Safety

Volumn 139, Issue , 2015, Pages 179-187

  Brameret, P A ^a   Rauzy, A ^b   Roussel, J M ^a  

^a Ecole Normale Superieure de Cachan   (France)

^b ECOLE CENTRALE PARIS   (France)

Author keywords

AltaRica; Assessment; Based; Markov chains; Model; Safety; State space build

Indexed keywords

ACCIDENT PREVENTION; CHAINS; GRAPH THEORY; MODELS;

ALTARICA; ASSESSMENT; AUTOMATED GENERATION; BASED; HIGH LEVEL DESCRIPTION; NOTION OF DISTANCE; SHORTEST PATH; TWO-COMPONENT;

MARKOV PROCESSES;

EID: 84949796703     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2015.02.009     Document Type: Article

References (29)

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 John Wiley and Sons West Sussex, England
2. M. Boiteau, Y. Dutuit, A. Rauzy, and J.-P. Signoret The altarica data-flow language in use assessment of production availability of a multistates system Reliab Eng Syst Saf 91 7 2006 747 755
3. J.-L. Bon, and M. Bouissou Fiabilité des grands systèmes séquentiels résultats thèoriques et applications dans le cadre du logiciel gsi Rev Stat Appl 39 2 1992 45 54
4. Collet J, Renault I. Path probability evaluation with repeated rates. In: Proceedings of annual reliability and maintainability symposium, RAMS97. Philadelphia, PA, USA: IEEE; 1997. p. 184-7.
5. Bouissou M, Lefebvre Y. A path-based algorithm to evaluate asymptotic unavailability for large Markov models. In: Proceedings of annual reliability and maintainability symposium, RAMS2002. Seattle, USA: IEEE; 2002. p. 32-9.
6. E.W. Dijkstra A note on two problems in connexion with graphs Numerische Mathematik 1 1 1959 269 271
7. L.G. Valiant Probably approximately correct: natures algorithms for learning and prospering in a complex world 2013 Basic Books New York, NY, USA
8. Prosvirnova T, Batteux M, Brameret P-A, Cherfi A, Friedlhuber T, Roussel J-M, et al. The altarica 3.0 project for model-based safety assessment. In: Proceedings of 4th IFAC workshop on dependable control of discrete systems, DCDS2013. Great Britain: International Federation of Automatic Control, York; 2013. p. 127-32, iSBN: 978-3-902823-49-6, ISSN: 1474-6670.
9. A. Rauzy Guarded transition systems a new states/events formalism for reliability studies J Risk Reliab 222 4 2008 495 505
10. M. Bouissou, and J.-L. Bon A new formalism that combines advantages of fault-trees and Markov models Boolean logic-driven Markov processes Reliab Eng Syst Saf 82 2 2003 149 163
11. J.-M. Fourneau, and B. Plateau A methodology for solving Markov models of parallel systems J Parallel Distrib Comput 12 1991 370 387
12. P. Fernandes, B. Plateau, and W.J. Stewart Efficient descriptor-vector multiplications in stochastic automata networks J Assoc Comput Mach 45 3 1998 381 414
13. Pribadi Y, Voeten JPM, Theelen BD. Reducing markov chains for performance evaluation. In: Proceedings of PROGRESS01, STW Technology Foundation; 2001. p. 173-9.
14. Fourneau J-M, Pekergin N, Younès S. Censoring Markov chains and stochastic bounds. In: Formal methods and stochastic models for performance evaluation. Lecture notes in computer science, vol. 4748; 2007. p. 213-27.
15. Busic A, Djafri H, Fourneau J-M. Bounded state space truncation and censored markov chains. In: Proceedings of IEEE 51st annual conference on decision and control (CDC). Maui, HI, USA: IEEE; 2012. p. 5828-33.
16. S. Mercier Bounds and approximations for continuous-time Markovian transition probabilities and large systems Eur J Oper Res 185 1 2008 216 234
17. J.A. Carrasco Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization Comput Oper Res 30 7 2003 1005 1035
18. R.R. Muntz, E. de Souza e Silva, and A. Goyal Bounding availability of repairable computer systems SIGMETRICS Perform. Eval. Rev. 17 1 1989 29 38 10.1145/75372.75376
19. Brace KS, Rudell RL, Bryant RS. Efficient Implementation of a BDD Package. In: Proceedings of the 27th ACM/IEEE design automation conference. Orlando, FL, USA: IEEE; 1990. p. 40-5.
20. T.H. Cormen, C.E. Leiserson, and R.L. Rivest Introduction to algorithms 1990 The MIT Press Cambridge, MA, USA
21. M.D. Atkinson, J.-R.W. Sack, N. Santoro, and T.E. Strothotte Min-max heaps and generalized priority queues Program Tech Data Struct 29 10 1986 996 1000
22. L.G. Valiant The complexity of enumeration and reliability problems SIAM J Comput 8 3 1979 410 421
23. C.H. Papadimitriou Computational complexity 1994 Addison Wesley Boston, MA 02116, USA
24. M. Malhotra, and K.S. Trivedi Dependability modeling using petri-nets IEEE Trans Reliab 44 3 1995 428 440
25. Montani S, Luigi Portinale AB, Varesio M, Codetta-Raiteri D. A tool for automatically translating dynamic fault trees into dynamic bayesian networks. In: Proceedings of annual reliability and maintainability symposium, RAMS06. Newport Beach, CA, USA: IEEE; 2006. p. 434-41.
26. Bobbio A, Raiteri DC. Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the annual reliability and maintainability symposium (RAMS2004). Los Angeles, CA, USA: IEEE; 2004. p. 459-65.
27. J.B. Dugan, K.J. Sullivan, and D. Coppit Developing a low-cost high-quality software tool for dynamic fault-tree analysis IEEE Trans Reliab 49 1 2000 49 59
28. Gondran M, Pagès A. Fiabilité des systèmes, Collection de la Direction des Études et Recherches d'Électricité de France, Eyrolles, vol. 39; 1980.
29. A. Rauzy An experimental study on six algorithms to compute transient solutions of large Markov systems Reliab Eng Syst Saf 86 1 2004 105 115