DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.advisor | Cha, Sung-Deok | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.advisor | 차성덕 | - |
dc.contributor.author | Jee, Eun-Kyoung | - |
dc.contributor.author | 지은경 | - |
dc.date.accessioned | 2011-12-13T06:01:37Z | - |
dc.date.available | 2011-12-13T06:01:37Z | - |
dc.date.issued | 2001 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=165881&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34441 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2001.2, [ v, 50 p.: ] | - |
dc.description.abstract | Fault Tree Analysis(FTA) is a means for analyzing causes of hazards. The result of the analysis is a set of combinations of component failures that can result in a specific malfunction. FTA is useful to analyze safety of systems. However, it is a manual process and was not supported by systematic construction process, so fault tree can be inconsistent or insufficient. Unfortunately, there have not been appropriate methods to verify or assure correctness of fault trees. Model-checking is one of the most successful techniques for automatic verification of concurrent finite-state systems and has been usually used to verify whether system design satisfies some properties. In this paper, we propose the way of correcting a fault tree using model checking. To compensate a fault tree, we make formulas for nodes in fault tree and then, verify the formulas with real-time model checker UPPAAL. We analyze the result of verification and reflect the result to the fault tree. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Real-time model checker | - |
dc.subject | Verification | - |
dc.subject | 폴트 트리 | - |
dc.subject | 실시간 모델 체커 | - |
dc.subject | Fault Tree | - |
dc.subject | 검증 | - |
dc.title | Systematic evaluation of fault trees using real-time model checker | - |
dc.title.alternative | 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 165881/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000993544 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
dc.contributor.localauthor | Cha, Sung-Deok | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.localauthor | 차성덕 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.