Verification and validation environment construction based on colored Petri Nets for NPP I&C software = 색깔있는 페트리 네트 기반의 원전 계측제어계통 소프트웨어 확인 및 검증 환경 구축에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 254
  • Download : 0
The use of digital systems is on increase in nuclear industry in recent years. Therefore, the importance of system verification and validation (V/V) is more emphasized in view of the nuclear safety. There is, however, no generally applicable software design process and software failure model that is sufficiently accurate to enable reliability or safety predictions to be made for safety critical systems. In addition, until nearly a decade ago, there was a lack of emphasis on V/V in the earlier stages of software development, thus consequently heavy reliance was placed upon testing. Therefore, we have a lot of difficulty in performing V/V practically and effectively though there trends to be more emphasis upon introducing V/V activities earlier and throughout the software development process. In order to overcome the difficulty, many researchers have proposed various software V/V techniques and software quality control methods. The main objective of this research is to construct an environment for V/V of safety critical software at the early development stages. The V/V environment consists of two V/V techniques and a V/V guideline. The two V/V techniques are software requirements analysis, software hazard analysis, and the V/V guideline is software safety classification. V/V techniques provide tools for performing V/V activities and V/V guideline offers facility to a V/V team. The V/V environment tries to resolve the following weak points that the existing V/V techniques or V/V guidelines have: - To integrate formal methods into traditional methods in one methodology. - To formally analyze software hazards at the early development stage. - To support quality control in a rigorous manner with a formal V/V guideline. As V/V techniques, this study has proposed Combined Colored Petri Nets and Prototype Verification System (Combined CPN and PVS) and CPN based Software Fault Tree Analysis (CPN-SFTA) as requirements analysis method and hazard analysis method, respec...
Advisors
Seong, Poong-Hyunresearcher성풍현researcher
Description
한국과학기술원 : 원자력공학과,
Publisher
한국과학기술원
Issue Date
2000
Identifier
157973/325007 / 000955188
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 원자력공학과, 2000.2, [ viii, 158 p. ]

URI
http://hdl.handle.net/10203/48905
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157973&flag=dissertation
Appears in Collection
NE-Theses_Ph.D.(박사논문)
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