PH.D DEFENCE - PUBLIC SEMINAR
Quantitative Model Checking of Distributed Probabilistic Systems
Speaker
Mr Ratul SahaAdvisor
Dr David S. Rosenblum, Provost'S Chair Professor, School of Computing27 Oct 2017 Friday, 02:00 PM to 03:30 PM
Executive Classroom, COM2-04-02
COM2 Level 4
Executive Classroom, COM2-04-02
Abstract:
We study formal models for distributed probabilistic systems to facilitate quantitative analysis using simulation-based techniques. Real-life systems are inherently large, distributed in nature and exhibit quantifiable aspects such as time and cost. Their dynamics also include uncertainty, which can be measurable or non-measurable. It is very hard to analyze such systems at scale. In this thesis, we present Distributed Stochastic Model (DSM), a framework for modeling real-life distributed systems, with an analysis paradigm of simulation-based model checking techniques.