DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Seong, Poong-Hyun | - |
dc.contributor.advisor | 성풍현 | - |
dc.contributor.author | Yoo, Chang-Sik | - |
dc.contributor.author | 유창식 | - |
dc.date.accessioned | 2011-12-14T08:15:38Z | - |
dc.date.available | 2011-12-14T08:15:38Z | - |
dc.date.issued | 1999 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=150479&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/49398 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 원자력공학과, 1999.2, [ v, 56 p. ] | - |
dc.description.abstract | In order to increase computer system reliability, software fault tolerance methods have been adopted to some safety critical systems including NPP. Prevention of software common mode failure is very crucial problem in software fault tolerance, but the effective method for this problem is not found yet. In our research, to find out an effective method for prevention of software common mode failure, the impact of specification language diversity on NPP software diversity was examined experimentally. Three specification languages were used to compose three requirements specifications, and programmers made twelve product codes from the specifications. From the product codes analysis, using fault diversity criteria, we concluded that diverse specification language method would enhance program diversity through diversification of requirements specification imperfections. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | N-version programming | - |
dc.subject | Specification language | - |
dc.subject | Software fault-tolerance | - |
dc.subject | Software diversity | - |
dc.subject | NPP software | - |
dc.subject | 원전 소프트웨어 | - |
dc.subject | N-version 프로그래밍 | - |
dc.subject | 명세언어 | - |
dc.subject | 소프트웨어 고장허용 | - |
dc.subject | 소프트웨어 다양성 | - |
dc.title | Experimental analysis of specification language diversity impact on NPP software diversity | - |
dc.title.alternative | 명세언어의 다양화가 원전 소프트웨어의 다양성에 미치는 영향에 대한 실험적 분석 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 150479/325007 | - |
dc.description.department | 한국과학기술원 : 원자력공학과, | - |
dc.identifier.uid | 000973431 | - |
dc.contributor.localauthor | Yoo, Chang-Sik | - |
dc.contributor.localauthor | 유창식 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.