-
公开(公告)号：CN105046143A
公开(公告)日：2015-11-11
申请号：CN201510472334.3
申请日：2015-08-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F21/44
CPC classification number: G06F21/44
Abstract: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法，具体包括以下步骤：步骤1，数据收集；步骤2，数据分析；步骤3，功效计算；步骤4，结果分析。本方法是在深入分析以往项目软件V&V缺陷数据，研究软件V&V缺陷分布与软件可靠性变化的关系，以及现有的软件V&V效率和有效性计算方法的基础上，采用更为先进的曲线拟合及数学建模技术，而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估，而且具备时效性好，基础数据需求量小，评估结果指导性强等特点。
-
Patent Agency Ranking
公开(公告)号：CN103137227A
公开(公告)日：2013-06-05
申请号：CN201310034024.4
申请日：2013-01-29
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/06
CPC classification number: Y02E30/40
Abstract: 本发明公开核电站安全级DCS的软件共模故障检测系统，包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统，其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接，优选卡与被控设备连接，所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接，共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断，然后以此为基础对硬件控制信号进行正确性判断，从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统，因此能够实时发现软件控制信号和硬件控制信号的故障，并即时切换。
-
公开(公告)号：CN111414440B
公开(公告)日：2023-08-08
申请号：CN202010195050.5
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
IPC: G06F16/28 , G06F16/245 , G06Q10/20 , G06Q50/06
Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。
-
公开(公告)号：CN111414440A
公开(公告)日：2020-07-14
申请号：CN202010195050.5
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
IPC: G06F16/28 , G06F16/245 , G06Q10/00 , G06Q50/06
Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。
-
公开(公告)号：CN103137227B
公开(公告)日：2016-01-13
申请号：CN201310034024.4
申请日：2013-01-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G21D3/06
CPC classification number: Y02E30/40
Abstract: 本发明公开核电站安全级DCS的软件共模故障检测系统，包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统，其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接，优选卡与被控设备连接，所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接，共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断，然后以此为基础对硬件控制信号进行正确性判断，从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统，因此能够实时发现软件控制信号和硬件控制信号的故障，并即时切换。
-
公开(公告)号：CN105046143B
公开(公告)日：2018-05-04
申请号：CN201510472334.3
申请日：2015-08-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F21/44
Abstract: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法，具体包括以下步骤：步骤1，数据收集；步骤2，数据分析；步骤3，功效计算；步骤4，结果分析。本方法是在深入分析以往项目软件V&V缺陷数据，研究软件V&V缺陷分布与软件可靠性变化的关系，以及现有的软件V&V效率和有效性计算方法的基础上，采用更为先进的曲线拟合及数学建模技术，而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估，而且具备时效性好，基础数据需求量小，评估结果指导性强等特点。
-
-
-
-
-
Search Results
6
records
(took 0.028 seconds)
