(A) method of formal requirement analysis for NPP I&C systems based on object-oriented UML modeling with software cost reduction = 객체지향 UML 모델링과 SCR 기반의 원전계측제어계통 요구사항에 대한 정형적 분석 방법에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 268
  • Download : 0
In this work, a formal requirement analysis method for Nuclear Power Plant (NPP) I&C systems is suggested. This method uses Unified Modeling Language (UML) for modeling systems visually and Software Cost Reduction (SCR) for checking the system models formally. Since object-oriented methods enable us to analyze problems in terms of the objects in a real system, the UML models are useful for understanding the problems and communicating with people involved in a project. In order to analyze problems more formally, SCR is used and the UML models are converted into the SCR tabular notations. T his work tries to acquire the flow-through from UML models to SCR specifications by suggesting additional syntactic extensions for UML notation and a converting procedure in this work. The proposed method has been applied to the Dynamic Safety System (DSS) and the Inadequate Core Cooling Monitor ing System (ICCMS). Through these applications, some errors have been detected in the existing system requirements. Furthermore, through the comparison of our proposed method with the conventional inspection, we conclude that our method can complement the limitations of the inspection, which has lack of detectability. The potential errors like completeness, consistency, and logical errors of requirement, were scarcely detected through the conventional software inspection. These limitations can be more serious in safety critical systems such as nuclear pow er plants. Therefore, formal requirement analysis methods are strongly recommended in the requirement engineering.
Advisors
Seong, Poong-Hyunresearcher성풍현researcher
Description
한국과학기술원 : 원자력공학과,
Publisher
한국과학기술원
Issue Date
2000
Identifier
158108/325007 / 000983032
Language
eng
Description

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

Keywords

Formal analysis; SCR; UML; Object-oriented; 원전 계측제어 소프트웨어; 정형적 분석 방법론; 요구사항 분석; 객체지향; Requirement analysis

URI
http://hdl.handle.net/10203/49411
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=158108&flag=dissertation
Appears in Collection
NE-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