Abstract
We consider state charts with generally distributed state sojourn times and with parallel regions in composite states. This corresponds to semi-Markov processes (SMPs) with parallel regions consisting again of SMPs. The concept of parallel regions significantly extends the modeling power: it allows for the specification of non-memoryless activities that take place in parallel on many nested hierarchy levels. Parallel regions can be left either by final states or by exit states, corresponding to the maximum and the minimum of the sojourn times in the regions, respectively. Therefore, concurrent activities with synchronization and competition can easily be modeled. An SMP with parallel regions cannot simply be analyzed by flattening the state space. We propose an analysis based on a steady-state analysis of an embedded Markov chain (EMC) at the top level and by a transient analysis at the composite state level with a limited computational effort. An expression for the asymptotic complexity of the analysis is also provided. An example SMP containing all modeling features with parallel regions is illustrated. We carry out experiments on basis of this model and confirm the results by simulations.
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
Bradley, J.T., Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. 22(7), 828–837 (2006)
Bradley, J., Dingle, N., Harrison, P., Knottenbelt, W.: Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, IL, USA, pp. 62–71 (2003)
Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12(5), 391–403 (2010)
Buchholz, P., Telek, M.: Rational automata networks: a non-Markovian modeling approach. INFORMS J. Comput. 25(1), 87–101 (2013)
Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of Markov reward models using stochastic reward nets. In: Linear Algebra, Markov Chains, and Queueing Models. The IMA Volumes in Mathematics and its Applications, vol. 48, pp. 145–191. Springer, New York (1993)
Dugan, B.J., Trivedi, S.K., Geist, R., Nicola, V.: Extended stochastic petri nets: Applications and analysis. Technical report, Durham, NC, USA (1984)
German, R.: Performance Analysis of Communication Systems. Wiley, United Kingdom (2000)
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Prog. 8(3), 231–274 (1987)
Homm, D., Eckert, J., German, R.: Combining time and concurrency in model-based statistical testing of embedded real-time systems. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 22–31. Springer, Heidelberg (2015). doi:10.1007/978-3-662-49224-6_3
Homm, D., Eckert, J., German, R.: Concurrent streams in Markov chain usage models for statistical testing of complex systems. In: Proceedings of the 30th ACM Symposium on Applied Computing (SAC 2015), Salamanca, Spain (2015)
Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley, New York (1998)
Marie, R.A., Reibman, A.L., Trivedi, K.S.: Transient analysis of acyclic Markov chains. Perform. Eval. 7(3), 175–194 (1987)
OMNeT++: An object-oriented modular discrete event network simulation framework. http://www.omnetpp.org. Accessed 26 October 2015
Papyrus: Graphical editing tool for UML 2. http://www.eclipse.org/papyrus. Accessed 26 October 2015
Puliafito, A., Scarpa, M., Trivedi, K.: Petri nets with k simultaneously enabled generally distributed timed transitions. Perform. Eval. 32(1), 1–34 (1998)
Schneider, V., German, R.: Integration of test-driven agile simulation approach in service-oriented tool environment. In: Proceedings of the 46th Annual Simulation Symposium (ANSS 2013), San Diego, CA, USA, pp. 11: 1–11: 7 (2013)
Siegl, S., Dulz, W., German, R., Kiffe, G.: Model-driven testing based on Markov chain usage models in the automotive domain. In: Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France (2009)
Siegl, S., German, R.: Model-driven testing with timed usage models in the automotive domain. In: Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), Mysuru, India (2009)
Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703–719 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Homm, D., German, R. (2016). Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. In: Remke, A., Haverkort, B.R. (eds) Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. MMB&DFT 2016. Lecture Notes in Computer Science(), vol 9629. Springer, Cham. https://doi.org/10.1007/978-3-319-31559-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-31559-1_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-31558-4
Online ISBN: 978-3-319-31559-1
eBook Packages: Computer ScienceComputer Science (R0)