DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Seong, Poong-Hyun | - |
dc.contributor.advisor | 성풍현 | - |
dc.contributor.author | Kim, Yun-Goo | - |
dc.contributor.author | 김윤구 | - |
dc.date.accessioned | 2013-09-12T04:53:43Z | - |
dc.date.available | 2013-09-12T04:53:43Z | - |
dc.date.issued | 2012 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=511867&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/182218 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2012.8, [ vii, 117p ] | - |
dc.description.abstract | The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. CPS displays procedure on the computer screen in the form of a flow chart and displays plant operating information along with procedure in-structions. It also supports operator decision making by providing a system decision. A pro-cedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for CPS that enables formal veri-fication based on Petri nets. The proposed State Token Petri Net(STPN) also support model-ing of a procedure flow that has various interruptions by the operator according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation method of CP with STPN increase the safety of nuclear power plant and provide digital quali-ty assurance means that is needed when the role and function of CPS is increasing. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | state token petri net | - |
dc.subject | coloured petri net | - |
dc.subject | formal verification | - |
dc.subject | computerized procedure system | - |
dc.subject | 상태토큰페트리넷 | - |
dc.subject | 색깔페트리넷 | - |
dc.subject | 정형검증 | - |
dc.subject | 전산화절차서시스템 | - |
dc.subject | 절차서검증 | - |
dc.subject | procedure verification | - |
dc.title | State Token petri net modeling method for formal verification of computerized procedure execution flow | - |
dc.title.alternative | 전산화절차서 수행 흐름 정형 검증을 위한 상태 토큰 페트리넷 모델링 방법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 511867/325007 | - |
dc.description.department | 한국과학기술원 : 원자력및양자공학과, | - |
dc.identifier.uid | 020015816 | - |
dc.contributor.localauthor | Seong, Poong-Hyun | - |
dc.contributor.localauthor | 성풍현 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.