Scalable Stochastic Modelling for Resilience

  • Jeremy T. Bradley
  • Lucia Cloth
  • Richard A. Hayden
  • Leïla Kloul
  • Philipp Reinecke
  • Markus Siegle
  • Nigel Thomas
  • Katinka Wolter
Chapter

Abstract

This chapter summarises techniques that are suitable for performance and resilience modelling and analysis of massive stochastic systems. We will introduce scalable techniques that can be applied to models constructed using DTMCs and CTMCs as well as compositional formalisms such as stochastic automata networks, stochastic process algebras and queueing networks. We will briefly show how techniques such as mean value analysis, mean-field analysis, symbolic data structures and fluid analysis can be used to analyse massive models specifically for resilience in networks, communication and computer architectures.

Keywords

Label Transition System Tensor Representation Binary Decision Diagram Negative Customer State Space Explosion Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgments

Jeremy Bradley, Richard Hayden and Nigel Thomas are supported by the UK Engineering and Physical Sciences Research Council on the AMPS project (reference EP/G011737/1). Leïla Kloul is supported by the European Celtic project HOMESNET [8], Philipp Reinecke and Katinka Wolter are supported by the German Research Council under grant Wo 898/3-1.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jeremy T. Bradley
    • 1
  • Lucia Cloth
    • 2
  • Richard A. Hayden
    • 1
  • Leïla Kloul
    • 3
  • Philipp Reinecke
    • 4
  • Markus Siegle
    • 5
  • Nigel Thomas
    • 6
  • Katinka Wolter
    • 4
  1. 1.Imperial CollegeLondonUK
  2. 2.Department of Applied Information TechnologyGU TechOman Muscat
  3. 3.Laboratoire PRiSM, Université de VersaillesVersaillesFrance
  4. 4.Institute of Computer ScienceFree University BerlinBerlinGermany
  5. 5.Department of Computer ScienceUniversität der Bundeswehr MünchenNeubibergGermany
  6. 6.School of Computing ScienceNewcastle UniversityNewcastleUK

Personalised recommendations