Hybrid statistical model checking technique for reliable safety critical systems신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 568
  • Download : 0
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...
Advisors
Kim, Moon-Zooresearcher김문주
Description
한국과학기술원 : 전산학과,
Publisher
한국과학기술원
Issue Date
2013
Identifier
515117/325007  / 020113125
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 2013.2, [ vi, 48 p. ]

Keywords

software reliability validation; model checking; statistical model checking; safety engineering process; 소프트웨어 신뢰성 검증; 모델체킹; 통계적모델체킹; 소프트웨어 공학 프로세스; 안전필수시스템; safety critical systems

URI
http://hdl.handle.net/10203/180452
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=515117&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0