Hybrid-pair modelling in dynamic reliability: Concepts, tool implementation and applications

Safety and Reliability of Complex Engineered Systems - Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015

Volumn , Issue , 2015, Pages 713-723

  Manno, G ^a   Zymaris, A S ^a   Chiacchio, F ^b   Compagno, L ^b   D'Urso D ^b  

^a DNV GL   (Norway)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MATLAB; RELIABILITY; RELIABILITY THEORY; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

DEPENDABILITY ANALYSIS; DYNAMIC FAULT TREES; DYNAMIC RELIABILITY; OPERATIONAL CHANGES; SEPARATION OF CONCERNS; SIMULATION ENVIRONMENT; TRADITIONAL TECHNIQUES; USER-FRIENDLY SOFTWARE TOOLS;

SOFTWARE RELIABILITY;

EID: 84958968236     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1201/b19094-97     Document Type: Conference Paper

References (37)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X., Olivero A., Sifakis J. & Yovine S. (1995). The algorithmic analysis of hybrid systems, Theoretical Computer Science.
2. Babykina G., Brinzei N., Aubry, J.-F. & Pérez Castañeda G.A. (2012). Reliability assessment for complex systems operating in dynamic environment. Advances in Safety, Reliability & Risk Management, ISBN 978-0415-68379-1.
3. Babykina G., Brinzei N., Aubry J.F. & Deleuze G. (2013). Modelling a feed-water control system of a steam generator in the framework of the dynamic reliability. ESREL 2013, Amsterdam, Netherkands.
4. Brameret P.A., Rauzy A. & Roussel J.M. (2015). Automated generation of partial Markov chain from high level descriptions. Reliability Engineering & System Safety, 139, 179-187.
5. Cassandras C.G. & Lafortune S. (2008). Discrete Event Systems. Springer.
6. Chiacchio F., Manno G., Compagno L., D’Urso D. & Trapani N. (2011a). Dynamic Fault Tree Resolution, a conscious trade-off between analytical and simulation approaches, Reliability Engineering and System Safety 96: 1515-1526.
7. Chiacchio F., Manno G., Compagno L., D’Urso D. & Trapani N. (2011b). An open-source application to model and solve dynamic fault tree of real industrial systems, SKIMA 2011-5th International Conference on Software, Knowledge Information, Industrial Management and Applications.
8. Chiacchio F., Cacioppo M., D’Urso D., Manno G., Trapani N. & Compagno L. (2012). A Weibull-based compositional approach for hirerchical dynamic fault trees. Reliability Engineering & System Safety, 109, 45-52.
9. Ciardo G., Nicol D.M. & Trivedi K.S. (1999). DiscreteEvent Simulation of Fluid Stochastic Petri Nets. Software Engineering, IEEE Transactions on 25(2): 207-217.
10. Clark G., Courtney T., Daly D., Deavours D., Derisavi S., Doyle J.M., Sanders W.H. & Webster P. (2001). The Mobius modelling tool. Proceedings 9th International Workshop on Petri Nets and Performance Models, Aachen.
11. Devooght J. (1997). Dynamic reliability, Adv. in Nuclear Science and Technology, Springer US, 215-278.
12. Dimopoulos, G.G. and N.M.P. Kakalis. (2010) An integrated modelling framework for the design, operation and control of marine energy systems in Proceedings of 26th CIMAC World Congress.2010. Bergen, Norway.
13. Dimopoulos G.G., Georgopoulou C.A., Stefanatos I.C., Zymaris A.S. & Kakalis N.M.P. (2014). A general-purpose process modelling framework for marine energy systems. Energy Conversion and Management 86 (2014) 325-339.
14. Distefano S., Longo F. & Trivedi K.S. (2012). Investigating dynamic reliability and availability through state-space models. Computers and Mathematics with Applications 64 (2012) 3701-3716.
15. Henzinger T.A. (1996). The theory of hybrid automata, 1996, In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS ‘96: 278-292.
16. Labeau P.E., Smidts C. & Swaminathan S. (2000). Dynamic reliability: towards an integrated platform for probabilistic risk assessment, Reliability Engineering and System Safety, 68, 219-254.
17. Lewis P. A.W. & Shedler G.S. (1979). Simulation of Nonhomogeneous Poisson Processes by Thinning, Naval Research Logistics Quarterly, vol. 26, pp. 403-414.
18. Malhotra M. & Reibman A. (1993), Selecting and implementing phase approximations for semi-Markov models, Stochastic Models 9 (4) (1993) 473-506.
19. Manno G. (2011). Reliability modelling of complex systems: an Adaptive Transition System approach to match accuracy and efficiency, PhD Thesis.
20. Manno G., Chiacchio F., Manno G., Compagno L., D’Urso D. & Trapani N. (2012a). MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree, Expert Systems with Applications Volume 39, Issue 12, 15 September 2012, Pages 10334-10342.
21. Manno G., Chiacchio F., Compagno L. D’Urso D. & Trapani N. (2012b). RAATSS, an extensible Matlab tool for the evaluation of repairable dynamic fault trees. Proceedings of ESREL&PSAM, Helsinki.
22. Manno G., Zymaris A., Kakalis N.P., Chiacchio F., Cipollone F.E., Compagno L., D’Urso D. & Trapani N. (2013). Dynamic reliability of three nonlinear aging components with different failure modes characteristics, Safety, Reliability and Risk Analysis, Beyond the Horizon, Amsterdam.
23. Manno G., Zymaris A. & Kakalis N.M.P. (2014a). Automatic Synthesis of Fault Trees from Process Modelling with Application in Ship Machinery Systems. PSAM 12, Honolulu.
24. Manno G., Knutsen K.E. & Vartdal B.J. (2014b). An Importance Measure approach to System level Condition Monitoring. MFPT 2014, Manchester.
25. ® toolbox based on the ATS formalism, Reliability Engineering & System Safety, Volume 121, January 2014, Pages 250-262.
26. Marsan M.A., Balbo G., Conte G. & Donatelli S. (1995). Modelling with Generalized Stochastic Petri Nets. J. Wiley.
27. Marseguerra, M., et al. (1998). A concept paper on dynamic reliability via Monte Carlo simulation. Mathematics and Computers in Simulation, 1998. 47: p. 371-382.
28. Marseguerra, M. & Zio, E. (1995). The cell-to-cellboundary method in Monte Carlo-based dynamic PSA. Reliability Engineering and System Safety, 1995, 48, 199-204.
29. Mercurio, D., et al. (2009). Identification and classification of dynamic event tree scenarios via possibilistic clustering: Application to a steam generator tube rupture event. Accident Analysis and Prevention, 2009. 41: p. 1180-1191.
30. Pérez Castañeda G.A., Aubry J.-F. & Brinzei N. (2010). Stochastic hybrid automata model for dynamic reliability assessment. Proc. IMechE Vol. 225 Part O: J. Risk and Reliability.
31. Rauzy A. & Bleriot-Fabre (2015). Towards a sound semantics for dynamic fault trees. Reliability Engineering and System Safety, in press.
32. SATODEV, GRIF-Workshop. (2015). Available from: http://grif-workshop.com/
33. Sanders W.H. & Meyer, J.F. (2002). Stochastic Activity Net-works: Formal Definition and Concepts. Lectures on Formal Methods and Performance Analysis. Springer Verlag.
34. Trivedi K.S. & Sahner R. (2009). SHARPE at the age of 22. SIGMETRICS Perform. Eval Rev. 36(4), 52-57.
35. Walter M., Siegl M. & Bode A. (2008). OpenSESAME—the simple but extensive, structured availability modeling environment, Reliability Engineering and System Safety 93(6): 857-873.
36. Zio E. (2013). The Monte Carlo Simulation Method for System Reliability and Risk Analysis. Springer Series in Reliability Engineering, (2013).
37. Zhang H., Gonzales K., Dufour F. & Dutuit Y. (2008). Piecewise Deterministic Markov Processes and Dynamic Reliability, Proocedings of the Institution of Mechanical Engineers 222(4): 545-551.