SOFTWARE FAILURE PROBABILITY ASSESSMENT BY BAYESIAN INFERENCE
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Park, Gee-Yong | ko |
| dc.contributor.author | Eom, Heung-Seop | ko |
| dc.contributor.author | Jang, Seung Cheol | ko |
| dc.contributor.author | Kang, Hyun Gook | ko |
| dc.date.accessioned | 2013-08-22T02:22:12Z | - |
| dc.date.available | 2013-08-22T02:22:12Z | - |
| dc.date.created | 2012-10-11 | - |
| dc.date.created | 2012-10-11 | - |
| dc.date.issued | 2013-07 | - |
| dc.identifier.citation | NUCLEAR TECHNOLOGY, v.183, no.1, pp.107 - 118 | - |
| dc.identifier.issn | 0029-5450 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/175498 | - |
| dc.description.abstract | This paper describes a method of estimating the probability of failure for trip-functioning software of a fully digitalized reactor protection system. The Bayesian inference is used to estimate and update the probability of software failure along the software development life cycle. At the requirements and design phases, the probability of software failure is estimated from qualitative quality information based on a specific verification and validation process. This probability of failure is updated at the implementation/testing phases, based on the test data for trip functions implemented by software. | - |
| dc.language | English | - |
| dc.publisher | AMER NUCLEAR SOC | - |
| dc.subject | CODE | - |
| dc.title | SOFTWARE FAILURE PROBABILITY ASSESSMENT BY BAYESIAN INFERENCE | - |
| dc.type | Article | - |
| dc.identifier.wosid | 000321413600009 | - |
| dc.identifier.scopusid | 2-s2.0-84881145233 | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 183 | - |
| dc.citation.issue | 1 | - |
| dc.citation.beginningpage | 107 | - |
| dc.citation.endingpage | 118 | - |
| dc.citation.publicationname | NUCLEAR TECHNOLOGY | - |
| dc.contributor.localauthor | Kang, Hyun Gook | - |
| dc.contributor.nonIdAuthor | Park, Gee-Yong | - |
| dc.contributor.nonIdAuthor | Eom, Heung-Seop | - |
| dc.contributor.nonIdAuthor | Jang, Seung Cheol | - |
| dc.type.journalArticle | Article | - |
| dc.subject.keywordAuthor | software reliability | - |
| dc.subject.keywordAuthor | Bayesian modeling | - |
| dc.subject.keywordAuthor | software verification and validation | - |
| dc.subject.keywordPlus | CODE | - |
- Appears in Collection
- NE-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 1 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.