Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/113299
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
Source: 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.
URI: http://scholarbank.nus.edu.sg/handle/10635/113299
Appears in Collections:Ph.D Theses (Open)

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

OPEN

NoneView/Download

Page view(s)

114
checked on Jan 12, 2018

Download(s)

121
checked on Jan 12, 2018

Google ScholarTM

Check


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