Abstract
This paper addresses the generation of stochastic models for dependability and performability analysis of complex systems, through automatic replication of template models inside the Möbius modeling framework. The proposed solution is tailored to systems composed by large populations of similar non-anonymous components, loosely interconnected with each other (as typically encountered in the electrical or transportation sectors). The approach is based on models that define channels shared among replicas, used to exchange the values of each state variable of a replica with the other replicas that need to use them. The goal is to improve the performance of simulation based solvers with respect to the existing state-sharing approach, when employed in the modeling of the addressed class of systems. Simulation results for the time overheads induced by both channel-sharing and state-sharing approaches for different system scenarios are presented and discussed. They confirm the expected gain in efficiency of the proposed channel-sharing approach in the addressed system context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adibi, M.: Test systems task force: IEEE 300-bus test case (1993). http://icseg.iti.illinois.edu/ieee-300-bus-system
Amari, B.M.: Handbook of Performability Engineering. Springer, London (2008). doi:10.1007/978-1-84800-131-2
Brenner, L., Fernandes, P., Sales, A., Webber, T.: A framework to decompose GSPN models. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 128–147. Springer, Heidelberg (2005). doi:10.1007/11494744_9
Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59–75 (1994)
Chiaradonna, S., Di Giandomenico, F., Masetti, G.: Efficient non-anonymus composition operator for modeling complex dependable systems. In: Tredan, G. (ed.) 12th European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings, Gothenburg, vol. abs/1608.05874, September 2016
Chiaradonna, S., Lollini, P., Di Giandomenico, F.: On a modeling framework for the analysis of interdependencies in electric power systems. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, pp. 185–195, June 2007
Chiaradonna, S., Masetti, G., Di Giandomenico, F.: A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components. Conference submission - Under review (2017)
Ciardo, G., Trivedi, K.S.: A decomposition approach for stochastic reward net models. Perform. Eval. 18(1), 37–59 (1993)
Courtney, T., Gaonkar, S., Keefe, K., Rozier, E.W.D., Sanders, W.H.: Möbius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, pp. 353–358 (2009)
Deavours, D.D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The Möbius framework and its implementation. IEEE Trans. Softw. Eng. 28(10), 956–969 (2002)
Derisavi, S., Kemper, P., Sanders, W.H.: Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Algebra Appl. 386, 137–166 (2004). Special Issue on the Conference on the Numerical Solution of Markov Chains
Flammini, F.: Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Information & Communication Technologies. WIT Press, Southampton (2012)
Hillston, J.: Compositional Markovian modelling using a process algebra. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 177–196. Springer, Boston (1995). doi:10.1007/978-1-4615-2241-6_12
Illinois Center for a Smarter Electric Grid: June 2016 texas 2000 synthetic test case. http://icseg.iti.illinois.edu/synthetic-power-cases/texas2000-june2016
Kemeny, J.G., Snell, J.L.: Finite Markov Chains, 3rd edn. Springer, New York (1983)
Lam, V.V., Buchholz, P., Sanders, W.H.: A component-level path-based simulation approach for efficient analysis of large Markov models. In: Kuhl, M.E., Steiger, N.M., Armstrong, F.B., Joines, J.A. (eds.) 37th Conference on Winter Simulation, Orlando, pp. 584–590 (2005)
Sanders, W.H., Meyer, J.F.: A unified approach for specifying measures of performance, dependability and performability. In: Avizienis, A., Laprie, J. (eds.) Dependable Computing for Critical Applications. Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215–237. Springer, Vienna (1991). doi:10.1007/978-3-7091-9123-1_10
Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts*. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001). doi:10.1007/3-540-44667-2_9
Tomek, L.A., Trivedi, K.S.: Fixed point iteration in availability modeling. In: Cin, M.D., Hohl, W. (eds.) Fault-Tolerant Computing Systems. Informatik-Fachberichte, vol. 283. Springer, Heidelberg (1991). doi:10.1007/978-3-642-76930-6_20
Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2nd edn. Wiley, Chichester (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Masetti, G., Chiaradonna, S., Di Giandomenico, F. (2017). Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. In: Reinecke, P., Di Marco, A. (eds) Computer Performance Engineering. EPEW 2017. Lecture Notes in Computer Science(), vol 10497. Springer, Cham. https://doi.org/10.1007/978-3-319-66583-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-66583-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66582-5
Online ISBN: 978-3-319-66583-2
eBook Packages: Computer ScienceComputer Science (R0)