Paper Info
Title
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction
Abstract
In this work, a formal requirement analysis method for Nuclear Power Plant (NPP) instrumentation and control (I&C) systems is suggested. This method uses unified modeling language (UML) for modeling a system visually and software cost reduction (SCR) for formally verifying the system. Since object-oriented methods enable us to analyze problems in terms of the objects in a real system, 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 SCR tabular notations. This 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. The proposed method has been applied to a dynamic safety system (DSS) and inadequate core cooling monitoring system (ICCMS), which are parts of a NPP I&C system. Through these applications, some errors have been detected in the existing system requirements. Furthermore, in this work, through the comparison of our proposed method with the conventional inspection, we conclude that our method can complement the limitations of the inspection, which suffers from lack of detectability.
Year
DOI
Venue
2003
10.1016/S0164-1212(02)00131-0
Journal of Systems and Software
Keywords
Field
DocType
object-oriented method,existing system requirement,real system,monitoring system,uml model,uml notation,formal requirement analysis method,software cost reduction,uml modeling,c system,dynamic safety system,requirement analysis,unified modeling language
Notation,Programming language,UML tool,Systems engineering,Unified Modeling Language,Computer science,Requirements analysis,Real-time computing,Applications of UML,Nuclear power plant,System requirements,Syntax
Journal
Volume
Issue
ISSN
67
3
The Journal of Systems & Software
Citations 
PageRank 
References 
2
0.40
2
Authors
3
Name
Order
Citations
PageRank
Seo Ryong Koo141.63
Hanseong Son2515.54
Poong-hyun Seong311524.53