-
公开(公告)号：CN112164481A
公开(公告)日：2021-01-01
申请号：CN202010826797.6
申请日：2020-08-17
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
Patent Agency Ranking
公开(公告)号：CN107767977B
公开(公告)日：2019-12-06
申请号：CN201711038883.5
申请日：2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
公开(公告)号：CN107767977A
公开(公告)日：2018-03-06
申请号：CN201711038883.5
申请日：2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
公开(公告)号：CN112164481B
公开(公告)日：2023-09-29
申请号：CN202010826797.6
申请日：2020-08-17
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
公开(公告)号：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验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。
-
-
-
-
-
Search Results
6
records
(took 0.03 seconds)
