research-article

SHyFTA, a Stochastic Hybrid Fault Tree Automaton for the modelling and simulation of dynamic reliability problems

Authors:

Ferdinando Chiacchio,

Lucio Compagno,

Marzio Pennisi,

Francesco Pappalardo,

Gabriele MannoAuthors Info & Claims

Expert Systems with Applications: An International Journal, Volume 47, Issue C

Pages 42 - 57

https://doi.org/10.1016/j.eswa.2015.10.046

Published: 01 April 2016 Publication History

Abstract

Discussion about the state of the art of expert systems and reliability assessment.Formalisation of the Stochastic Hybrid Fault Tree Automaton modelling technique.Conception of Hybrid Basic Events.Experimental Comparison of DFT and SHyFTA model for an industrial case study.Implementation of the SHyFTA in Simulink using MatCarloRE library. Reliability assessment of industrial processes is traditionally performed with RAMS techniques. Such techniques are static in nature because they are unable to consider the multi-state operational and failure nature of systems and the dynamic variations of the environment in which they operate.Stochastic Hybrid Automaton appears to overcome this weakness coupling a deterministic and a stochastic process and integrating the features of a dynamic system with the concepts of dynamic reliability.At the state of the art, no attempts to enhance a formal RAMS technique with dynamic reliability has been tried, nor a computer-aided tool that plays as expert system has been coded yet.The aim of this paper is to fill this gap with a simulation formalism and a modelling tool able to combine the Dynamic Fault Tree technique and the Stochastic Hybrid Automaton within the Simulink environment. To this aim the MatCarloRE toolbox was adapted to interact with a Simulink dynamic system. The resulting assembly represents an important step ahead for the delivering of a user-friendly computer-aided tool for the dynamic reliability.

References

[1]

R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicollin, The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138 (1995) 3-34.

Digital Library

[2]

J.-F. Aubry, N. Brînzei, Stochastic hybrid automaton, John Wiley & Sons, Inc., Hoboken, NJ, USA, 2015.

[3]

G. Babykina, N. Brinzei, J.F. Aubry, G. Deleuze, Modelling a feed-water control system of a steam generator in the framework of the dynamic reliability, in: Proceedings of the annual conference of the European safety and reliability association, ESREL 2013, Taylor & Francis Group, Amsterdam, Netherlands, 2013, pp. 3099-3107.

[4]

P.A. Brameret, A. Rauzy, J.M. Roussel, Automated generation of partial Markov chain from high level descriptions, Reliability Engineering & System Safety, 139 (2015) 179-187.

[5]

M. Bouissou, H. Eimqvist, M. Otter, A. Benveniste, Efficient Monte Carlo simulation of stochastic hybrid systems, in: Proceedings of 10th international modelica conference, 2014.

[6]

M. Bouissou, A simple yet efficient acceleration technique for Monte Carlo simulation, in: Safety, reliability and risk analysis, beyond the horizon, 2014 Taylor and Francis Group, London, 2013.

[7]

G.A. Castañeda, J.-F. Aubry, N. Brinzei, Stochastic hybrid automata model for dynamic reliability assessment, in: Proceedings of the institution of mechanical engineers, part o: journal of risk and reliability, 225, 2011, pp. 28-41.

[8]

G.A. Castañeda, J.F. Aubry, N. Brinzei, DyRelA (dynamic reliability and assessment), in: Proceedings of the first workshop on dynamic aspects in dependability models for fault-tolerant systems, DYADEM-FTS' 10, 2010, pp. 39-40.

Digital Library

[9]

G. Ciardo, D.M. Nicol, K.S. Trivedi, Discrete-event simulation of fluid stochastic petri nets, IEEE Transactions on Software Engineering, 25 (1999) 207-217.

Digital Library

[10]

S. Chatterjee, S. Bandopadhyay, Reliability estimation using a genetic algorithm-based artificial neural network: An application to a load-haul-dump machine, Expert Systems with Applications, 39 (2012) 10943-10951.

Digital Library

[11]

F. Chiacchio, M. Cacioppo, D. D'Urso, G. Manno, N. Trapani, L. Compagno, A Weibull-based compositional approach for hierarchical dynamic fault trees, Reliability Engineering & System Safety, 109 (2013) 45-52.

[12]

F. Chiacchio, L. Compagno, D. D'Urso, G. Manno, N. Trapani, Dynamic fault tree resolution: A conscious trade-off between analytical and simulative approaches, Reliability Engineering and System Safety, 96 (2011) 1515-1526.

[13]

H. Chraibi, Dynamic reliability modeling and assessment with PyCATSHOO: Application to a test case, in: Proceedings of PSAM, 2013.

[14]

G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J.M. Doyle, The Mobius modelling tool, in: Proceedings 9th International Workshop on Petri Nets and Performance Models, Aachen, 2001.

[15]

D. Codetta-Raiteri, L. Portinale, Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks, Journal of Risk and Reliability, 228 (2014) 488-503.

[16]

D. Codetta-Raiteri, A. Bobbio, Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets, in: Proceedings of International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), 2005.

[17]

R. Cressent, V. Idasiak, F. Kratz, P. David, Mastering safety and reliability in a model based process, in: Proceedings of Annual Reliability and Maintainability Symposium (RAMS), 2011.

[18]

J. Devooght, C. Smidts, Probabilistic dynamics as a tool for dynamic PSA, Reliability Engineering & System Safety, 52 (1996) 185-196.

[19]

J. Devooght, Dynamic reliability, Springer US, 1997.

[20]

S. Di Stefano, F. Longo, K. Trivedi, Investigating dynamic reliability and availability through state-space models, Computers & Mathematics with Applications, 64 (2012) 3701-3716.

Digital Library

[21]

A.D. Domínguez-García, J.G. Kassakian, J.E. Schindall, J.J. Zinchuk, An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems, Reliability Engineering and System Safety, 93 (2008) 1628-1649.

[22]

B.J. Dugan, S.J. Bavuso, M.A. Boyd, Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, 41 (1992) 363-377.

[23]

S. Eryilmaza, A.R. Bozbulutb, An algorithmic approach for the dynamic reliability analysis of non-repairable multi-state weighted k-out-of-n: G system, Reliability Engineering & System Safety, 131 (2014) 61-65.

[24]

P. Gao, L. Xie, Fuzzy dynamic reliability models of parallel mechanical systems considering strength degradation path dependence and failure dependence, Mathematical Problems in Engineering, Hindawi Publishing Corporation, (2015), (2015).

[25]

R.S. Gaonkar, X. Min, N.K. Ming, M.S. Habibullah, Subjective operational reliability assessment of maritime transportation system, Expert Systems with Applications, 38 (2011) 13835-13846.

[26]

H. Garg, M. Ranib, S.P. Sharma, An approach for analyzing the reliability of industrial systems using soft-computing based technique, Expert Systems with Applications, 41 (2014) 489-501.

Digital Library

[27]

F. Gullo, M. van der Garde, G. Russo, M. Pennisi, S. Motta, F. Pappalardo, Computational modeling of the expansion of human cord blood CD133+ hematopoietic stem/progenitor cells with different cytokine combinations, Bioinformatics (2015).

[28]

A.G. Hawkes, L.R. Cui, Z.H. Zheng, Modeling the evolution of system reliability performance under alternative environments, IIE Transactions, 43 (2011) 761-772.

[29]

T.A. Henzinger, The theory of hybrid automata, in: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, '96, LICS, 1996, pp. 278-292.

[30]

J. Hu, J. Lygeros, S. Sastry, Towards a theory of stochastic hybrid systems, Lecture Notes in Computer Science, 1790, Berlin, Heidelberg: Springer, 2000.

[31]

Kakalis, N.M. P., Dimopoulos, G.G., & Ovrum, E. (2011). DNV COSSMOS: Complex ship systems modelling and simulation, DNV Research and Innovation, Position Paper 11.

[32]

P.E. Labeau, C. Smidts, S. Swaminathan, Dynamic reliability: Towards an integrated platform for probabilistic risk assessment, Reliability Engineering & System Safety, 68 (2000) 219-254.

[33]

P.E. Labeau, Probabilistic dynamics: Estimation of generalized unreliability through efficient Monte Carlo simulation, Annals of Nuclear Energy, 23 (1996) 1355-1369.

[34]

A. Labib, M. Read, A hybrid model for learning from failures: The Hurricane Katrina disaster, Expert Systems with Applications, 42 (2015) 7869-7881.

Digital Library

[35]

P.A. Lewis, G.S. Shedler, Simulation of non-homogeneous Poisson processes by thinning, Naval Research Logistics Quarterly, 26 (1979) 403-414.

[36]

S. Mandal, J. Maiti, Risk analysis using FMEA: Fuzzy similarity value and possibility theory based approach, Expert Systems with Applications, 41 (2014) 3527-3537.

Digital Library

[37]

G. Manno, A.S. Zymaris, F. Chiacchio, L. Compagno, D. D'Urso, Hybrid-pair modelling in dynamic reliability: Concepts, tool implementation and applications, in: Safety and Reliability of Complex Engineered Systems: ESREL 2015, Taylor & Francis Group, 2015.

[38]

G. Manno, F. Chiacchio, D. D'Urso, N. Trapani, L. Compagno, Conception of repairable dynamic fault trees and resolution by the use of RAATSS, a Matlab¿ toolbox based on the ATS formalism, Reliability Engineering and System Safety, 121 (2014) 250-262.

[39]

G. Manno, A. Zymaris, N.P. Kakalis, F. Chiacchio, F.E. Cipollone, L. Compagno, Dynamic reliability of three nonlinear aging components with different failure modes characteristics, in: Proceedings of Safety, Reliability and Risk Analysis, Beyond the Horizon, Taylor and Francis Group, London, 2014.

[40]

G. Manno, Reliability modelling of complex systems: An Adaptive Transition System approach to match accuracy and efficiency, University of Catania, 2012.

[41]

G. Manno, F. Chiacchio, D. D'Urso, N. Trapani, L. Compagno, MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree, Expert Systems with Applications, 39 (2012) 10334-10342.

Digital Library

[42]

M. Marseguerra, E. Zio, The cell-to-cell-boundary method in Monte Carlo-based dynamic PSA, Reliability Engineering and System Safety, 48 (1995) 199-204.

[43]

M. Marseguerra, E. Zio, J. Devooght, P.E. Labeau, A concept paper on dynamic reliability via Monte Carlo simulation, Mathematics and Computers in Simulation, 47 (1998) 371-382.

[44]

A. Meel, W.D. Seider, Real-time risk analysis of safety systems, Computers & Chemical Engineering, 32 (2008) 827-840.

[45]

G. Merle, J.-M. Roussel, J. Lesage, A. Bobbio, Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events, IEEE Transaction on Reliability, 59 (2010) 250-261.

[46]

MIL-HDBK-217F, Military handbook reliability prediction of electronic equipment, Department of Defense, United States of America, 1991.

[47]

Y. Papadopoulos, M. Walker, D. Parker, E. Rüde, R. Hamann, A. Uhlig, Engineering failure analysis and design optimisation with HiP-HOPS, Engineering Failure Analysis, 18 (2011) 590-608.

[48]

F. Pappalardo, F. Chiacchio, S. Motta, Cancer vaccines: State of the art of the computational modeling approaches, BioMed Research International, (2013).

[49]

D.V. Petrović, M. Tanasijević, V. Milić, N. Lilić, S. Stojadinović, I. Svrkota, Risk assessment model of mining equipment failure based on fuzzy logic, Expert Systems with Applications, 41 (2014) 8157-8164.

[50]

M. Rausand, A. Høyland, Life data analysis, John Wiley & Sons, Inc., Hoboken, NJ, USA, 1994.

[51]

N. Ravishanker, Z. Liu, B.K. Ray, NHPP models with Markov switching for software reliability, Computational Statistics and Data Analysis, 52 (2008) 3988-3999.

Digital Library

[52]

SATODEV, GRIF-Workshop (2015). Available from: http://grif-workshop.com/ (accessed 2015).

[53]

N. Sadou, H. Demmou, Reliability analysis of discrete event dynamic systems with Petri nets, Reliability Engineering & System Safety, 94 (2009) 1848-1861.

[54]

Y.E. Senol, Y.V. Aydogdu, B. Sahin, I. Kilic, Fault Tree Analysis of chemical cargo contamination by using fuzzy approach, Expert Systems with Applications, 42 (2015) 5232-5244.

Digital Library

[55]

S. Sharvia, Y. Papadopoulos, Integrating model checking with HiP-HOPS in model-based safety analysis, Reliability Engineering & System Safety, 135 (2014) 64-80.

[56]

N. Siu, Risk assessment for dynamic systems: An overview, Reliability Engineering and System Safety, 43 (1994) 43-73.

[57]

K.S. Trivedi, R. Sahner, SHARPE at the age of 22, SIGMETRICS Performance Evaluation Review, 36 (2009) 52-57.

Digital Library

[58]

M. Walter, M. Siegl, A. Bode, OpenSESAME - the simple but extensive, structured availability modeling environment, Reliability Engineering and System Safety, 93 (2008) 857-873.

[59]

F. Wang, L.Y. Ding, H.B. Luo, P.E. D. Love, Probabilistic risk assessment of tunneling-induced damage to existing properties, Expert Systems with Applications, 41 (2014) 951-961.

[60]

L.Y. Wang, L.R. Cui, M.L. Yu, Markov repairable systems with stochastic regimes switching, Journal of Systems Engineering and Electronics, 22 (2011) 773-779.

[61]

X. Yang, M.S. Mannan, The development and application of dynamic operational risk assessment in oil/gas and chemical process industry, Reliability Engineering and System Safety, 95 (2010) 806-815.

[62]

O. Yevkin, An improved Monte Carlo method in fault tree analysis, in: Proceedings of Reliability and Maintainability Symposium (RAMS), 2010.

[63]

H. Zhang, B. De Saporta, F. Dufour, G. Deleuze, Dynamic reliability by using simulink and stateflow, in: Proceedings of the Prognostics and System Health Management Conference, 33, 2013, pp. 529-534.

[64]

H. Zhang, K. Gonzales, F. Dufour, Y. Dutuit, Piecewise deterministic Markov processes and dynamic reliability, Proceedings of the Institution of Mechanical Engineers, 222 (2008) 545-551.

[65]

E. Zio, The Monte Carlo simulation method for system reliability and risk analysis, Springer Series in Reliability Engineering, Springer, 2013.

Cited By

Budde CKolb CStoelinga M(2021)Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different CurrenciesQuantitative Evaluation of Systems10.1007/978-3-030-85172-9_24(457-467)Online publication date: 23-Aug-2021
https://dl.acm.org/doi/10.1007/978-3-030-85172-9_24
Kabir S(2017)An overview of fault tree analysis and its application in model based dependability analysisExpert Systems with Applications: An International Journal10.1016/j.eswa.2017.01.05877:C(114-135)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.eswa.2017.01.058
Ayav TSzer H(2016)Identifying critical architectural components with spectral analysis of fault treesApplied Soft Computing10.1016/j.asoc.2016.06.04249:C(1270-1282)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.asoc.2016.06.042

SHyFTA, a Stochastic Hybrid Fault Tree Automaton for the modelling and simulation of dynamic reliability problems
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis

Recommendations

SHyFTOO, an object-oriented Monte Carlo simulation library for the modeling of Stochastic Hybrid Fault Tree Automaton
Highlights
- State of the art of main academic tools for the dependability assessment.
- ...
Abstract
Dependability assessment is a crucial activity to ensure the correct operation of complex systems. The output of dependability assessment activities include the quantification of reliability, availability, maintenance and safety ...
DyRelA (dynamic reliability and assessment)
DYADEM-FTS '10: Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems

In this paper we present the DyRelA tool designed to perform through a Monte Carlo simulation the assessment of the dependability parameters in the context of dynamic reliability. For that, the studied system is modeled by a stochastic hybrid automaton ...
Reliability evaluation of generalised multi-state k-out-of-n systems based on FMCI approach

Most studies on k-out-of-n systems are in the binary context. The k-out-of-n system has failed if and only if at least k components have failed. The generalised multi-state k-out-of-n: G and F system models are defined by Huang et al. [Huang, J., Zuo, ...

Comments

Information & Contributors

Information

Published In

cover image Expert Systems with Applications: An International Journal

Expert Systems with Applications: An International Journal Volume 47, Issue C

April 2016

120 pages

ISSN:0957-4174

Issue’s Table of Contents

Copyright © Elsevier Ltd.

Publisher

Pergamon Press, Inc.

United States

Publication History

Published: 01 April 2016

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Budde CKolb CStoelinga M(2021)Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different CurrenciesQuantitative Evaluation of Systems10.1007/978-3-030-85172-9_24(457-467)Online publication date: 23-Aug-2021
https://dl.acm.org/doi/10.1007/978-3-030-85172-9_24
Kabir S(2017)An overview of fault tree analysis and its application in model based dependability analysisExpert Systems with Applications: An International Journal10.1016/j.eswa.2017.01.05877:C(114-135)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.eswa.2017.01.058
Ayav TSzer H(2016)Identifying critical architectural components with spectral analysis of fault treesApplied Soft Computing10.1016/j.asoc.2016.06.04249:C(1270-1282)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.asoc.2016.06.042

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents