Please use this identifier to cite or link to this item:
Title: Reliability Analysis of Non-deterministic Systems
Authors: GUI LIN
Keywords: Reliability Analysis, Non-determinism, Markov Decision Process, Probabilistic Model Checking, Hypothesis Testing
Issue Date: 1-Aug-2014
Citation: GUI LIN (2014-08-01). Reliability Analysis of Non-deterministic Systems. ScholarBank@NUS Repository.
Abstract: As software becomes more complex and often operates in dynamic environment, the usage of certain software components is hard to be determined prior to their deployment, and thus, better to be modeled nondeterministically. However, traditional reliability analysis methods are only suitable for deterministic system. In the PhD work, we propose to analyze software reliability via probabilistic model checking on Markov decision processes, as well-known automatic verification technique dealing with both probabilistic and nondeterministic behavior. On top of that, we integrate various techniques, e.g., statistical, numerical and graphical methods, to make the reliability analysis more scalable and efficient. With an implementation in a toolkit RaPiD, reliability analysis on various real-world systems has been conducted including a stock trading system and an ambient assisted living system.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
ThesisGLElectronic.pdf3.45 MBAdobe PDF



Page view(s)

checked on Feb 1, 2019


checked on Feb 1, 2019

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.