数字化反应堆保护系统的统一建模语言(UML)建模
为了保证数字化反应堆保护系统的质量和可靠性，必须对数字化反应堆保护系统的安 全软件进行验证和确认（V&V）。安全软件的V&V 需要覆盖从需求开始到最终交付的全过 程。目前，安全软件的功能需求是以自然语言或半形式化的语言（如系统框图、信号流图并 伴以说明性文字）描述的，其V&V 只能以人工走查方式进行，使得V&V 的工作量和复杂 性大大增加，并且严重依赖V&V 人员的经验和水平，使得保护系统的安全软件的质量难以 得到保证。本文采用面向对象的分析方法，使用严格的统一建模语言（UML），在IBM Rational Rhapsody 7.5.1 软件平台上，对数字化反应堆保护系统的功能需求进行了可视化的分析建模， 建立了系统功能需求、静态结构和动态行为的各种视图及规范化文档，将数字化反应堆保护 系统的功能需求用严格的形式化语言清晰、严格地描述出来，使得对保护系统安全软件功能 需求部分的V&V 可以利用自动化工具自动进行，大大简化了V&V 的工作，从而保证了数 字化反应堆保护系统功能需求描述的准确性。
面向对象技术 UML 数字化反应堆保护系统 建模
李博 黄晓津
清华大学核能与新能源技术研究院,北京,100084
国内会议
北京
中文
173-180
2011-05-26（万方平台首次上网日期，不代表论文的发表时间）