DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Moon-Zoo | - |
dc.contributor.advisor | 김문주 | - |
dc.contributor.author | Kim, Young-Joo | - |
dc.contributor.author | 김영주 | - |
dc.date.accessioned | 2013-09-12T01:49:05Z | - |
dc.date.available | 2013-09-12T01:49:05Z | - |
dc.date.issued | 2013 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=515117&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/180452 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 2013.2, [ vi, 48 p. ] | - |
dc.description.abstract | Reliability of safety critical systems such as nuclear power plants and automobiles has become a significant issue to our society. As more computing systems are utilized in these safety critical systems, there are high demands for verification and validation (V&V) techniques to assure the reliability of such complex computing systems. However, as the complexity of computing systems increases, conventional V&V techniques such as testing and model checking have limitations, since such systems often control highly complex continuous dynamics. To improve the reliability of such systems, statistical model checking (SMC) techniques have been proposed. SMC techniques can check if a target system satisfies given requirements through statistical methods. In this thesis, first, we have emperically evaluated four state-of-the-art SMC techniques in the automobile domain to see the applicability of SMC for assuring the reliability of safety critical systems and compare pros and cons of the four different SMC techniques. Second, we propose a new hybrid SMC technique that integrates sequential probability ratio test (SPRT) technique and Bayesian interval estimation testing (BIET) technique to achieve precise verification results quickly. In our experiment, the new hybrid SMC was around 4 times faster than BIET. In addition, we demonstrate the effectiveness and efficiency of this hybrid SMC technique by applying the hybrid SMC technique to three safety critical systems in the automobile domain. Finally, as a solution for validating software reliability at an early stage, we propose a methodology utilizing statistical model checking (SMC) techniques. Reliability validation is performed by comparing the allocated reliability goal with the calculated reliability using the probabilities and the relative weight values for the safety functional requirements. By conducting reliability validation early, we can prevent the propagation of the reliability allocation errors and design er... | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | software reliability validation | - |
dc.subject | model checking | - |
dc.subject | statistical model checking | - |
dc.subject | safety engineering process | - |
dc.subject | 소프트웨어 신뢰성 검증 | - |
dc.subject | 모델체킹 | - |
dc.subject | 통계적모델체킹 | - |
dc.subject | 소프트웨어 공학 프로세스 | - |
dc.subject | 안전필수시스템 | - |
dc.subject | safety critical systems | - |
dc.title | Hybrid statistical model checking technique for reliable safety critical systems | - |
dc.title.alternative | 신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 515117/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 020113125 | - |
dc.contributor.localauthor | Kim, Moon-Zoo | - |
dc.contributor.localauthor | 김문주 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.