Advertisement

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.

Keywords

Markov regenerative process Semi-Markov Process concurrency 

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Buchholz, P., Telek, M.: Rational automata networks: a non-Markovian modeling approach. INFORMS J. Comput. 25(1), 87–101 (2013)MathSciNetCrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Dugan, B.J., Trivedi, S.K., Geist, R., Nicola, V.: Extended stochastic petri nets: Applications and analysis. Technical report, Durham, NC, USA (1984)Google Scholar
  7. 7.
    German, R.: Performance Analysis of Communication Systems. Wiley, United Kingdom (2000)zbMATHGoogle Scholar
  8. 8.
    Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Prog. 8(3), 231–274 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    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_3CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley, New York (1998)zbMATHGoogle Scholar
  12. 12.
    Marie, R.A., Reibman, A.L., Trivedi, K.S.: Transient analysis of acyclic Markov chains. Perform. Eval. 7(3), 175–194 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    OMNeT++: An object-oriented modular discrete event network simulation framework. http://www.omnetpp.org. Accessed 26 October 2015
  14. 14.
    Papyrus: Graphical editing tool for UML 2. http://www.eclipse.org/papyrus. Accessed 26 October 2015
  15. 15.
    Puliafito, A., Scarpa, M., Trivedi, K.: Petri nets with k simultaneously enabled generally distributed timed transitions. Perform. Eval. 32(1), 1–34 (1998)CrossRefzbMATHGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Department of Computer Science 7University Erlangen-NurembergErlangenGermany

Personalised recommendations