Abstract
Gas networks comprise a special class of infrastructure, with relevant implications on safety and availability of universal services. In this context, the ongoing deregulation of network operation gives relevance to modeling and evaluation techniques supporting predictability of dependability metrics. We propose a modeling approach that represents maintenance procedures as a multi-phased system, with parameters depending on physical and geographical characteristics of the network, working hours, and evolution of loads over the day. The overall model is cast into a non-Markovian variant of stochastic Petri nets, which allows concurrent execution of multiple generally distributed transitions but maintains a complexity independent of network size and topology. Solution is achieved through an interleaved execution of fluid-dynamic analysis of the network and analytic solution of the stochastic model of the procedure. Solution provides availability measures for individual sections of the network as well as global quality of service parameters.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bobbio, A., Horváth, A., Telek, M.: Phfit: A general phase-type fitting tool. In: Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, p. 543. IEEE (2002)
Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Int. Computer Performance and Dependability Symp., IPDS 1995, pp. 124–133 (1995)
Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. International Journal on Software Tools for Technology Transfer 12(5), 391–403 (2010)
Carnevali, L., Grassi, L., Vicario, E.: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. on SW Eng. 35(2), 178–194 (2009)
Carnevali, L., Paolieri, M., Tarani, F., Vicario, E.: Quantitative evaluation of availability measures of gas distribution networks. In: VALUETOOLS (September 2013)
Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 409–422. Springer, Heidelberg (2011)
Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1-3), 337–357 (1994)
Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic petri net. IEEE Transactions on Software Engineering 20(7), 506–515 (1994)
Colebrook, C.: Turbulent flow in pipes, with particular reference to the transition region between smooth and rough pipe laws. Journal of the Institution of Civil Engineers (London) (1939)
Costa, A., de Medeiros, J., Pessoa, F.: Steady-state modeling and simulation of pipeline networks for compressible fluids. Brazilian Journal of Chemical Engineering 15(4), 344–357 (1998)
Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN), pp. 353–358 (2009)
Glynn, P.W.: A GSMP formalism for discrete-event systems. Proceedings of the IEEE 77, 14–23 (1989)
Herrán-González, A., Cruz, J.D.L., Andrés-Toro, B.D., Risco-Martín, J.: Modeling and simulation of a gas distribution pipeline network. Applied Mathematical Modelling 33(3), 1584–1600 (2009)
Horváth, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. In: Performance Evaluation (2012)
Koeppel, G., Andersson, G.: Reliability modeling of multi-carrier energy systems. Energy 34(3), 235–244 (2009)
Li, T., Eremia, M., Shahidehpour, M.: Interdependency of natural gas network and power system security. IEEE Transactions on Power Systems 23(4), 1817–1824 (2008)
Martínez-Mares, A., Fuerte-Esquivel, C.: Integrated energy flow analysis in natural gas and electricity coupled systems. In: North American Power Symposium (NAPS), pp. 1–7. IEEE (2011)
Munoz, J., Jimenez-Redondo, N., Perez-Ruiz, J., Barquin, J.: Natural gas network modeling for power systems reliability studies. In: Power Tech Conf. Proc., IEEE Bologna, vol. 4, p. 8 (2003)
Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Transactions on Computers 50(12), 1337–1351 (2001)
Reinecke, P., Krauss, T., Wolter, K.: Hyperstar: Phase-type fitting made easy. In: QEST, pp. 201–202 (2012)
Smart Grids Task Force of the European Commission. Mission and work programme. Technical report (2012)
Szoplik, J.: The Gas Transportation in a Pipeline Network. In: Al-Megren, H. (ed.) Advances in Natural Gas Technology. InTech (2012) ISBN: 978-953-51-0507-7
Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. SW Eng. 35(5), 703–719 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Carnevali, L., Paolieri, M., Tarani, F., Vicario, E., Tadano, K. (2014). Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham. https://doi.org/10.1007/978-3-319-10557-4_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_34
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)