Systems Dependability Assessment: Modeling with Graphs and Finite State Automata

Systems Dependability Assessment: Modeling with Graphs and Finite State Automata

Volumn , Issue , 2015, Pages 1-182

  Aubry, Jean François ^a   Brînzei, Nicolae ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; STOCHASTIC SYSTEMS;

DEPENDABILITY ASSESSMENTS; LANGUAGE THEORY; PROBABILISTIC ASSESSMENTS;

STOCHASTIC MODELS;

EID: 85017364925     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9781119053996     Document Type: Book

References (86)

1. ABRAHAM J.-A., "Smaller sum of disjoint products by subproduct inversion", IEEE Transactions on Reliability, vol. 38, no. 3, pp. 305-311, August 1989.
2. ACOSTA C., SIU N., "Dynamic event trees in accident sequence analysis: application to steam generator tube rupture", Reliability Engineering & System Safety, vol. 41, pp. 135-154, Elsevier, 1993.
3. ALDEMIR S., "A survey of dynamic methodologies for probabilistic safety assessment of nuclear power plants", Annals of Nuclear Energy, vol. 52, pp. 113-124, Elsevier, 2013.
4. ARNOLD A., GUESSARIAN I., Mathématique pour l'Informatique, Masson, 1997.
5. AUBRY J.-F., BABYKINA G., BRINZEI N., et al., "The APPRODYN project: dynamic reliability approaches to modeling critical systems", MATTA N., VANDENBOOMGAERDE Y., ARLAT J., (eds.), Supervision and Safety of Complex Systems, pp. 181-222, ISTE, London and John Wiley & Sons, New York, August 2012.
6. AUBRY J.-F., BABYKINA G., BARROS A., et al., Rapport final du projet APPRODYN: APPROches de la fiabilité DYNamique pour modéliser des systèmes critiques, Report, collaboration CRAN, EDF R&D, INRIA-CQFD, UTT-ICD, 2012. Available at http://hal.archivesouvertes. fr/hal-00740181 /PDF/Rapport_final_APPRODYN_v7a_NB.pdf.
7. BABYKINA G., BRINZEI N., AUBRY J.-F., et al., "Modélisation des systèmes complexes critiques en fiabilité dynamique par automates stochastiques hybrides, évaluation de leur comportement", 18è Congrès de maîtrise des risques et sûreté de fonctionnement λμ 18, October 2012.
8. BABYKINA G., BRINZEI N., AUBRY J.-F.,et al., "Modeling a feed-water control system of a steam generator in the framework of the dynamic reliability", STEENBERGEN R., VAN GELDER P., MIRAGLIA S., et al., (eds.), Safety, Reliability and Risk Analysis: Beyond the Horizon, CRC Press/Balekama -Proceedings and Monographs in Engineering, Water and Earth Sciences, Amsterdam, Pays-Bas, Taylor & Francis Group, pp. 3099-3107, 2013.
9. BABYKINA G., BRINZEI N., AUBRY J.-F., et al., "Modeling and simulation of a controlled steam generator in the context of dynamic reliability using a Stochastic Hybrid Automaton", Reliability Engineering and System Safety, Elsevier, forthcoming.
10. BOLLING B., WEGENER H., "Improving the variable ordering in BDD is NP complete", IEEE Transactions on Computers, vol. 45, no. 9, September 1996.
11. BOUISSOU M., VILLATE N., LUCAS J.-Y., et al., "Présentation de l'atelier FIGARO d'études de fiabilité des systèmes 91", Congrès IA, Avignon, 1991.
12. BOUISSOU M., "The FIGARO dependability evaluation workbench in use: case studies for fault-tolerant computer systems", FTCS'23, Toulouse, June 1993.
13. BOUISSOU M., BON J.-L., "A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes", Reliability Engineering and System Safety, vol. 82, pp. 149-163, 2003.
14. BOUDALI H., CROUZEN P., STOELINGA M., "Dynamic fault tree analysis using input/output interactive Markov chains", 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK., 2007.
15. BOUISSOU M., "A generalization of dynamic fault trees through Boolean logic Driven Markov Processes (BDMP)®", ESREL 2007, 2007.
16. CAMPBELL S., CHANCELIER J., NIKOUKHAH R., Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4, Springer, 2010.
17. CASSANDRAS C., LAFORTUNE S., Introduction to Discrete Event Systems, Kluwer, 1999.
18. CASSANDRAS C., LAFORTUNE S., Introduction to Discrete Event Systems, Springer Verlag, 2008.
19. CEPIN M., MAVKO B., "A dynamic fault trees", Reliability Engineering and System Safety, vol. 75, pp. 83-91, 2002.
20. CHâTELET E., DUTUIT Y., RAUZY A., et al., "An optimized procedure to generate sums of disjoint products", Reliability Engineering and System Safety, vol. 65, pp. 289-294, September 1999.
21. CHAUX P.Y., Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques réparables, PhD thesis, Ecole Normale Supérieure de Cachan, 2013.
22. CIARAMBINO I., CONTINI S., DEMICHELA M., et al., "How to avoid the generation of loops in the construction of fault trees", Proceedings Annual Reliability and Maintainability Symposium, pp. 178-185, 2002.
23. COCOZZA-THIVENT C., Processus stochastique et fiabilité des systèmes, Springer, 1997.
24. COJAZZI G., "The DYLAM approach for the dynamic reliability analysis of systems", Reliability Engineering & System Safety, vol. 52, pp. 279-296, Elsevier, 1996.
25. CSENKI A., "Flowgraph models in reliability and finite state automata", IEEE Transactions on Reliability, vol. 57, no. 2, pp. 355-359, June 2008.
26. DAVIS M., "Piecewise-deterministic Markov processes: a general class of non-diffusion stochastic models", Journal of the Royal Statistical Society. Series B (Methodological), pp. 353-388, JSTOR, 1984.
27. DISTEFANO S., LONGO F., TRIVEDI K., "Investigating dynamic reliability and availability through state-space models", Computers & Mathematics with Applications, vol. 64, pp. 3701-3716, 2012.
28. DUFOUR F., DUTUIT Y., "Dynamic reliability: a new model", Proceedings of 15ème Colloque National de Fiabilité et maintenabilité -λμ 13 -ESREL 2002, Lyon, France, pp. 350-353, 2002.
29. DUGAN J.-B., BAVUSO S.-J., BOYD M.-A., "Dynamic fault tree models for fault-tolerent computer systems", IEEE Transactions on Reliability, vol. 41, no. 3, pp. 363-377, September 1992.
30. ERCILBENGOA A.-E., SCHOENIG R., HUTINET T., "Analyse dysfonctionnelle sous l'outil safety designer d'une boucle de pilotage du lanceur Ariane 5", Proceedings of 17ème Colloque National de Fiabilité et maintenabilité -λμ 17 -La Rochelle, France, vol. 4C-7, pp. 1-11, 2010.
31. EVERDIJ M., BLOOM H., "Hybrid petri nets with diffusion that have into-mapping with generalised stochastic hybrid processes", BLOOM H., LYGEROS J., (eds.), Stochastic Hybrid Systems. Theory and Safety Critical Applications, pp. 31-63, Springer, 2006.
32. FUSSEL J.-B., ABER E.-F., RAHL R.-G., "On the quantitative analysis of priority-AND failure logic", IEEE Transactions on Reliability, vol. R, no. 25, pp. 324-326, December 1976.
33. GARG V.-K., KUMAR R., MARCUS S., "A probabilistic language formalism for stochastic discrete-event systems", IEEE Transactions on Automatic Control, vol. 44, no. 2, pp. 280-293, 1999.
34. HEIDTMANN K.-D., "Sums of disjoint products by sub products inversion", IEEE Transactions on Reliability, vol. 38, no. 3, pp. 305-311, 1989.
35. HOWARD R., Dynamic Probabilistic Systems, Vol. 1: Markov Models, John Wiley and Sons, 1971.
36. HOWARD R., Dynamic Probabilistic Systems, Vol. 2: Semi-Markov and Decision Processes, John Wiley & Sons, 1971.
37. HSUEH K., MOSLEH A., "The development and application of the accident dynamic simulator for probabilistic risk assessment of nuclear power plants", Reliability Engineering & System Safety, vol. 52, pp. 279-296, Elsevier, 1996.
38. IDDIR O., "Le noeud papillon: une méthode de quantification du risque majeur", Sécurité et gestion des risques / Référence TI112, no. se4055, Les Techniques de l'Ingénieur, 2008.
39. IEC 60050-191 International Electrotechnical Vocabulary Chapter 191: Dependability and quality of service, December 1990.
40. IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems, December 1998.
41. IEC 60812: Analysis techniques for systems reliability, procedure for failure mode and effects analysis (FMEA), November 2006.
42. IEC 31010: Risk management. Risk assessment techniques, November 2009.
43. INRIA, Scicos: Block diagram modeler/simulator, 2014. Available at http://www.scicos.org//.
44. KAUFMANN A., GROUCHKO G., CRUON R., Modèles mathématiques pour l'étude de fiabilité des systèmes, Masson et Cie, 1975.
45. KERMISCH C., LABEAU P.-E., Approche dynamique de la fiabilité des systèmes. Rapport de projet ISdF, Report, 2000.
46. LABEAU P., SMIDTS C., SWAMINATHAN S., "Dynamic reliability: towards an integrated platform for probabilistic risk assessment", Reliability Engineering & System Safety, vol. 68, no. 3, pp. 219-254, Elsevier, 2000.
47. LACOMME P., PRINS C., SEVAUX M., Algorithmes de graphes, Eyrolles, 2003.
48. LAGASSE J., Logique combinatoire et séquentielle, Dunod, 1969.
49. LAPRIE J.-C., Guide de la sûreté de fonctionnement, Cépadues édition, 1995.
50. LIMNIOS N., Arbres de défaillances, Hermès, 1991.
51. MARSEGUERRA M., ZIO E., "The cell-to-cell boundary method in Monte Carlo-based dynamic PSA", Reliability Engineering & System Safety, vol. 48, pp. 199-204, Elsevier, 1995.
52. MATOUSEK J., NESETRIL J., Invitation to Discrete Mathematics, Oxford University Press, 1998.
53. MEEKER W., ESCOBAR L., Statistical Methods for Reliability Data, Chichester & al., New York, 1998.
54. MERLE G., ROUSSEL J.-M., LESAGE J.-M., et al., "Algebraic expression of the structure function of a subclass of Dynamic Fault Trees", 2nd IFAC Workshop on Dependable Control of Discrete Systems DCDS'09 Bari Italy, 2009.
55. MERLE G., ROUSSEL J.-M., LESAGE J.-M., et al., "Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events", IEEE Transactions on Reliability, vol. 59, no. 1, pp. 250-261, March 2010.
56. MESHKAT L., DUGAN J.-B., ANDREWS J.-D., "Dependability analysis of systems with on demand and active failure modes, using dynamic fault trees", IEEE Transactions on Reliability, vol. 51, no. 2, pp. 240-251, June 2002.
57. MICHIGAN UNIVERSITY, DESUMA Software, 2005. Available at http://www.eecs.umich.edu/umdes/toolboxes.html.
58. MIL-STD 1629A -Military standard: procedure for performing a failure mode effect and critical analysis, November 1980.
59. MODARRES M., KAMINSKIY M., KRIVTSOV V., Reliability Engineering and Risk Analysis, M. Decker Inc., 1993.
60. MODARRES M., HU Y.-S., "Evaluating system behavior through Dynamic Master Logic Diagram (DMLD) modeling", Reliability Engineering & System Safety, vol. 64, no. 2, pp. 241-269, Elsevier, 1999.
61. MONTANI S., PORTINALE L., BOBBIO A., et al., "RADYBAN: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks", Reliability Engineering and System Safety, vol. 93, no. 7, pp. 922-932, July 2008.
62. MORTUREUX Y., "La sûreté de fonctionnement méthode pour maîtriser les risques", Traité Entreprise industrielle AG4 670, Les Techniques de l'Ingénieur, pp. 1-17, 2001.
63. NAJAFI M., NIKOUKHAH R., "Modeling hybrid automata in Scicos", Proceedings of Multi-conference on Systems and Control (MSC), Singapore, pp. 1-3, 2007.
64. NELSON E., Digital Circuit Analysis and Design, Prentice Hall, 1995.
65. PAGÈS A., GONDRAN M., Fiabilité des systèmes, Eyrolles, 1980.
66. PéREZ CASTAñEDA G.A., Evaluation par simulation de la sûreté de fonctionnement de système en contexte dynamique hybride, PhD thesis, Institut National Polytechnique de Lorraine, France, 2009.
67. PéREZ CASTAñEDA G.A.G., AUBRY J.-F., BRINZEI N., "Modélisation d'un système par automate stochastique hybride pour l'évaluation de la fiabilité dynamique", Journal Européen des Systèmes Automatisés, Hermes-Lavoisier, vol. 44, no. 2, pp. 231-255, 2010.
68. PéREZ CASTAñEDA G.A.G., AUBRY J.-F., BRINZEI N., "Stochastic hybrid automata model for dynamic reliability assessment", Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Sage Publications, vol. 225, no. 1, pp. 28-41, 2011.
69. RAUZY A., "Modes automata and their compilation into fault trees", Reliability Engineering and System Safety, vol. 78, pp. 1-12, 2002.
70. RAUZY A., CHâTELET E., DUTUIT Y., et al., "A practical comparison of methods to assess sums of products", Reliability Engineering and System Safety, vol. 79, pp. 33-42, January 2003.
71. RAUZY A., "Sequence algebra, sequence decision diagrams and dynamic fault trees", Reliability Engineering and System Safety, vol. 96, no. 7, pp. 785-792, July 2011.
72. RELIASOFT, Dependability assessment software, 2014. Available at: www.reliasoft.com/.
73. RISKSPECTRUM, Dependability assessment software, 2014. Available at: www.riskspectrum.com/.
74. ROZANOV Y., Processus aléatoires, Editions de Moscou, 1975.
75. SATODEV, Dependability assessment software, 2014. Available at: www.grif-workshop.com/.
76. SAUD Y.-E., ISRANI K., GODDARD J., "Bow-tie diagrams in downstream hazard identification and risk assessment", Process Safety Progress, Wiley Online Library, vol. 33, no. 1, pp. 26-35, 2013.
77. SMIDTS C., DEVOOGHT J., "Probabilistic reactor dynamics. II: a Monte Carlo study of a fast reactor transient", Nuclear Science and Engineering, American Nuclear Society, vol. 111, no. 3, pp. 241-256, 1992.
78. SULLIVAN K.J., DUGAN J.B., "Formal semantics of models for computational engineering: a case study on dynamic fault trees", Proceedings of the International Symposium on Software Reliability Engineering, pp. 270-282, 2000.
79. THOMAS P., Contribution à l'approche Booléenne de la sûreté de fonctionnement: l'atelier logiciel Aralia Wokshop, PhD thesis, University of Bordeaux 1, France, 2002.
80. TOMBUYSES B., ALDEMIR T., "Continuous cell-to-cell mapping and dynamic PSA", Proceedings of the International Conference on Nuclear Engineering, vol. 3, 1996.
81. TOMBUYSES B., ALDEMIR T., "Computational efficiency of the continuous cell-to-cell mapping technique as a function of integration schemes", Reliability Engineering and System Safety, pp. 215-223, 1997.
82. VELU J., Méthodes mathématiques pour l'informatique, Dunod, 2005.
83. VILLEMEUR A., Sûreté de fonctionnement des systèmes industriels, Eyrolles, 1988.
84. VILLEMEUR A., Reliability, Availability, Maintainability and Safety Assessment, Methods and Techniques, John Wiley & Sons, 1992.
85. ZHANG H., GONZALEZ K., DUFOUR F., et al., "Piecewise deterministic Markov processes and dynamic reliability", Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 222, no. 4, pp. 545-551, 2008.
86. ZWINGELSTEIN G., "Sûreté de fonctionnement des systèmes industriels complexes", Les techniques de l'ingénieur, 2008.