-
公开(公告)号:CN103137227A
公开(公告)日:2013-06-05
申请号:CN201310034024.4
申请日:2013-01-29
申请人: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC分类号: G21D3/06
CPC分类号: Y02E30/40
摘要: 本发明公开核电站安全级DCS的软件共模故障检测系统,包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统,其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接,优选卡与被控设备连接,所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接,共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断,然后以此为基础对硬件控制信号进行正确性判断,从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统,因此能够实时发现软件控制信号和硬件控制信号的故障,并即时切换。
-
公开(公告)号:CN105046143B
公开(公告)日:2018-05-04
申请号:CN201510472334.3
申请日:2015-08-04
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F21/44
摘要: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法,具体包括以下步骤:步骤1,数据收集;步骤2,数据分析;步骤3,功效计算;步骤4,结果分析。本方法是在深入分析以往项目软件V&V缺陷数据,研究软件V&V缺陷分布与软件可靠性变化的关系,以及现有的软件V&V效率和有效性计算方法的基础上,采用更为先进的曲线拟合及数学建模技术,而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估,而且具备时效性好,基础数据需求量小,评估结果指导性强等特点。
-
公开(公告)号:CN105046143A
公开(公告)日:2015-11-11
申请号:CN201510472334.3
申请日:2015-08-04
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F21/44
CPC分类号: G06F21/44
摘要: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法,具体包括以下步骤:步骤1,数据收集;步骤2,数据分析;步骤3,功效计算;步骤4,结果分析。本方法是在深入分析以往项目软件V&V缺陷数据,研究软件V&V缺陷分布与软件可靠性变化的关系,以及现有的软件V&V效率和有效性计算方法的基础上,采用更为先进的曲线拟合及数学建模技术,而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估,而且具备时效性好,基础数据需求量小,评估结果指导性强等特点。
-
公开(公告)号:CN115705280A
公开(公告)日:2023-02-17
申请号:CN202110913521.6
申请日:2021-08-10
申请人: 北京广利核系统工程有限公司
摘要: 本申请公开了一种核电仪控软件V&V组织独立性的确定方法及装置。其中,核电仪控软件V&V组织独立性的确定方法包括:提取用户对仪控软件的采购质保等级;根据所述采购质保等级确定对应的软件完整性级别;基于调整因子对所述软件完整性级别进行调整;根据调整后的软件完整性级别确定软件V&V组织独立性。本申请实施例的核电仪控软件V&V组织独立性的确定方法及装置,提高了工作效率,降低了人力、时间成本。
-
公开(公告)号:CN103137227B
公开(公告)日:2016-01-13
申请号:CN201310034024.4
申请日:2013-01-29
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G21D3/06
CPC分类号: Y02E30/40
摘要: 本发明公开核电站安全级DCS的软件共模故障检测系统,包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统,其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接,优选卡与被控设备连接,所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接,共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断,然后以此为基础对硬件控制信号进行正确性判断,从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统,因此能够实时发现软件控制信号和硬件控制信号的故障,并即时切换。
-
-
-
-