【摘 要】
：
为了保证数字化反应堆保护系统的质量和可靠性，必须对数字化反应堆保护系统的安 全软件进行验证和确认（V&V）。安全软件的V&V 需要覆盖从需求开始到最终交付的全过 程。目前，安全
【机 构】
：
清华大学核能与新能源技术研究院,北京,100084
【出 处】
：
第一届中国(国际)核电仪控技术大会
论文部分内容阅读
为了保证数字化反应堆保护系统的质量和可靠性，必须对数字化反应堆保护系统的安 全软件进行验证和确认（V&V）。安全软件的V&V 需要覆盖从需求开始到最终交付的全过 程。目前，安全软件的功能需求是以自然语言或半形式化的语言（如系统框图、信号流图并 伴以说明性文字）描述的，其V&V 只能以人工走查方式进行，使得V&V 的工作量和复杂 性大大增加，并且严重依赖V&V 人员的经验和水平，使得保护系统的安全软件的质量难以 得到保证。本文采用面向对象的分析方法，使用严格的统一建模语言（UML），在IBM Rational Rhapsody 7.5.1 软件平台上，对数字化反应堆保护系统的功能需求进行了可视化的分析建模， 建立了系统功能需求、静态结构和动态行为的各种视图及规范化文档，将数字化反应堆保护 系统的功能需求用严格的形式化语言清晰、严格地描述出来，使得对保护系统安全软件功能 需求部分的V&V 可以利用自动化工具自动进行，大大简化了V&V 的工作，从而保证了数 字化反应堆保护系统功能需求描述的准确性。
其他文献
钠冷快堆是实现燃料增殖保证核能可持续发展最具前途的堆型，本文以中国实验快堆 为仿真对象，开展钠冷快堆仿真技术研究，建立钠冷快堆系统仿真模型，为钠冷快堆 的运行分析、设计验
随着互联网科技不断发展的背景下,促使金融会计核算与税收管理也随之发生了改变,其二者呈现出与实体经营完全不同的特征.本文将从互联网背景下的金融入手,对会计核算及税收管
跨学科交叉是科学创新进步的重要方式.近年来,国际各知名期刊发表了大量项目管理领域的研究成果.然而,仍缺乏对项目管理跨学科发展的系统性研究.以2007—2018年Web of Scienc
夏衍是我党文化战线上的重要领导人,不仅文采卓越,口才也非常棒,他在各种不同的场合,面对各种不同身份的人,皆能风趣幽默、妙语连珠,给人留下深刻印象。1949年春的一天,夏衍
为满足高温气冷堆螺旋管式直流蒸汽发生器快速模拟仿真的需要，本文在分析原有分布参数 模型仿真程序的基础上，利用GPU 强大的并行计算能力，通过将原来模型的串行迭代求解方法改
俗话说:得控则强、失控则弱,无控则乱.只有强有力的内控措施,才能监督、约束企业的发展,而内部控制中最为重要的就是财务会计控制,所以企业想要更好地发展就要加强财务内部控
福岛核事故的发生使人们充分意识到安全地发展核能的重要性，AP1000 作为先进的第三代压 水堆比传统二代改进型压水堆具有更高的安全性和更好的经济性。同样，AP1000 数字化仪控
随着我国近几年影响力不断提升,我国旅游业呈现出了向好的发展趋势,旅游业的发展不仅有效提高了国内经济,同时还提升了我国对外经济影响力.那么在当前这一社会快速发展背景下
以CNKI为数据来源,采用文献分析和可视化分析方法,系统分析我国2009—2019年发表的EPC总承包相关研究文献.首先,通过研究单位来源和关系可知,在该领域,企业发表的文章数量远
房子,作为关系到国计民生的一件大事,一直被老百姓和政府所关注。房产经济也作为改革开放经济增长点最快的一个行业点,成为历届两会代表和委员建言的热点之一。在2006年政府