核安全级软件验证与确认独立性探讨

来源 :自动化仪表 | 被引量 : 0次 | 上传用户:sadiori1383
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须进行鉴定。软件验证与确认是核安全级软件通过鉴定的关键环节,软件验证与确认必须具备独立性的特征。对于核安全级软件验证与确认如何满足当前核安全监管要求的研究,是软件厂商和监管当局共同关注的主要问题之一。核安全级软件验证与确认独立性要求的明确,有利于开发成本的控制和监管的规范化,从管理方面为保证核安全级数字设备安全水平打好基础。
其他文献
将国家创新体系分解成科学研究网络、技术开发网络和技术扩散网络,从网络结构-要素行为-创新绩效的视角,选择具有代表性并且能够获取完整序列数据的指标构建国家创新体系国际
中药品质是决定其临床疗效的关键,对其进行质量控制是临床应用的前提。在传统中医药为全世界做出更大贡献的同时,一些质量问题仍在影响其健康发展。例如中成药掺假、夹杂及含
文中借助于某市地铁线路一区间隧道下穿该市火车站国铁站场的工程实例,剖析了盾构法施工造成地面沉降的主要原因,以及盾构隧道下穿国铁线路股道可能出现的风险因素及影响,提
本文对北京市平谷区西柏店村现有沼气站进行了财务盈利能力分析,并对扩建改造后的沼气生产进行了财务盈利能力预测。当现有沼气站满负荷生产(日产气220m3)情况下,在项目投资
廉政风险防范管理是加强高校预防腐败工作的重要措施和具体实践,内涵丰富、意义重要、特点鲜明。推进高校廉政风险防范管理工作的对策,概括为:着力抓好统一思想,提高认识环节
通过考察展开模型和优势模型在症状自评量表(SCL-90)强迫量表上的拟合程度,以探讨症状自评量表(SCL-90)强迫量表的模型适应性。使用症状自评量表(SCL-90)强迫量表对某大学201
企业家哲学理念对企业可持续发展有着根本性的影响。企业家哲学理念包括 :企业家的使命 ,对财富的态度 ,对权力的态度 ,经营的原则。真正优秀的企业家应该以社会的繁荣昌盛为
作为一个后发国家,中国法制建设一直走的是一条政府推进型的道路,在面临民族国家建立和现代化的双重压力下,法律往往成为社会变革的先驱,推动社会其他方面的变革。受此影响,
社会主义核心价值观和体育精神有着内在的契合性,他们都对人的精神世界产生着重要的影响,因而必须科学考量社会主义核心价值观与高校体育教学工作的内在关系,在体育教学工作中培
随着嵌入式技术的日益进步以及信息技术的快速发展,语音交互技术在嵌入式上的应用成为目前的研究热点,包括语音交互设备、语音识别、语音合成以及说话者识别等相关技术。同时