需求建模方法在核电需求分析中的应用

由于缺乏有效的需求收集和管理方法、无法进行早期需求验证和需求变化演进等问题，核电设计产品越来越难满足用户期望。针对上述问题，本文以安注系统为例，将需求建模方法应用于需求分析:通过需求用例建模、需求场景建模和需求逻辑建模等手段实现安注系统的需求收集和管理，通过状态图的执行确保顶层设计满足用户需求，通过时序图的比较检查遗漏或不一致的需求等。借助需求建模实现需求的早期验证，确保设计产品符合用户需求，为需求建模在核电设计中的进一步应用提供参考。 

Application of Requirement Modeling in Nuclear Requirements Analysis

At present, it is increasingly difficult for the nuclear power design products to meet user expectations for there is no effective method to collect and manage the requirement information, and it is unable to perform early the requirement verification and to change the requirements in the research and development process. In view of the above problems, this paper takes the safety injection system as an example and applies the requirement modeling to the requirement analysis process. The collection of requirements is achieved through requirement use case modeling, requirement scenario modeling and requirement logic modeling. the state diagram is implemented to ensure that the top-level design proposal meets user requirements, and the timing diagrams are compared to check for the missing and inconsistent requirements. Therefore, the early validation of requirements is realized by means of requirements modeling, ensuring that the design products meet the user requirements, and at the same time providing a reference for the further application of requirements modeling in nuclear power design.