Seminar: Efficient Parametric Model Checking Techniques Using Domain Knowledge

23 Aug 2019 11:00 AM - 12:00 PM
Presenter/Speaker: Kenneth Johnson, Auckland University of Technology
Location: G.1.15

In this talk I present an efficient parametric model checking (ePMC) method for analysing reliability, performance and other QoS properties of service-based systems (SBSs). ePMC speeds up the analysis of parametric Markov chains modelling SBSs by exploiting domain-specific service invocation patterns of operations using functionally-equivalent services. ePMC precomputes closed-form expressions for QoS properties of such patterns to use in the analysis of whole-system models, substantially reducing analysis time compared to state of the art parametric model checking methods.