CAJ | 학술논문

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.
핵사고평개계통침대핵사고발생후제일시간대기진행평개화예측분석,연건가고성요구고.형식화방법구유엄격수학기출,시연건개발최위중요적이론공구.본문수선용UML대계통진행분석건모,채용형식화어언대계통공능진행엄격규약묘술,제고계통개발적가고성.
Evaluation system for nuclear accident aimed to evaluate and predict the nuclear accident immediately after it happened .The requirement of software reliabil‐ity is high .Formal method based on the strict mathematic is the important tool of theory in the software development .This paper used the UML to analyse and mode‐le the system ,then formulated specification describe function of system strictly with the specification language ,and advanced the reliability of the system development .