Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/113299
DC Field | Value | |
---|---|---|
dc.title | Reliability Analysis of Non-deterministic Systems | |
dc.contributor.author | GUI LIN | |
dc.date.accessioned | 2014-11-30T18:00:56Z | |
dc.date.available | 2014-11-30T18:00:56Z | |
dc.date.issued | 2014-08-01 | |
dc.identifier.citation | GUI LIN (2014-08-01). Reliability Analysis of Non-deterministic Systems. ScholarBank@NUS Repository. | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/113299 | |
dc.description.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. | |
dc.language.iso | en | |
dc.subject | Reliability Analysis, Non-determinism, Markov Decision Process, Probabilistic Model Checking, Hypothesis Testing | |
dc.type | Thesis | |
dc.contributor.department | NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG | |
dc.contributor.supervisor | DONG JIN SONG | |
dc.description.degree | Ph.D | |
dc.description.degreeconferred | DOCTOR OF PHILOSOPHY | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Ph.D Theses (Open) |
Show simple item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
ThesisGLElectronic.pdf | 3.45 MB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.