-
公开(公告)号：CN118916275A
公开(公告)日：2024-11-08
申请号：CN202410958442.0
申请日：2024-07-17
Applicant: 北京广利核系统工程有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种工程应用软件的验证方法及相关装置，可以获得工程应用软件的编译标识码、编译时间戳和算法库编译信息，其中，编译标识码为工程应用软件在编译过程生成的标识码，编译时间戳为工程应用软件在编译过程生成的时间戳，算法库编译信息为工程应用软件编译后产生的算法库信息；根据编译标识码和所述编译时间戳，验证工程应用软件的编译过程是否正常，其中，工程应用软件的编译过程包括工程应用软件的控制站的编译过程和工程应用软件的环网站的编译过程；根据算法库编译信息，验证工程应用软件的算法库版本是否正确。本发明自动获取信息并验证工程应用软件的编译过程和算法库版本是否正常，无需人工参与，效率高且不易出错，验证效果好。
-
公开(公告)号：CN108229182A
公开(公告)日：2018-06-29
申请号：CN201711222623.3
申请日：2017-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。
-
公开(公告)号：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功效进行量化评估，而且具备时效性好，基础数据需求量小，评估结果指导性强等特点。
-
公开(公告)号：CN107767977A
公开(公告)日：2018-03-06
申请号：CN201711038883.5
申请日：2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
公开(公告)号：CN109597763B
公开(公告)日：2022-02-25
申请号：CN201811473774.0
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
-
Patent Agency Ranking
公开(公告)号：CN108229182B
公开(公告)日：2021-11-23
申请号：CN201711222623.3
申请日：2017-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。
-
公开(公告)号：CN107767977B
公开(公告)日：2019-12-06
申请号：CN201711038883.5
申请日：2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
公开(公告)号：CN114185781A
公开(公告)日：2022-03-15
申请号：CN202111489064.9
申请日：2021-12-07
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种基于控制逻辑图的逻辑测试用例自动生成方法和装置，方法包括：获取由基础算法块组成的控制逻辑图和基础算法块对应的说明文件；利用解析函数对控制逻辑图进行解析，生成仿真任务文件；将基础算法块对应的说明文件编译成与基础算法块对应的算法函数以及用于记载算法函数存储地址的算法块动态链接库文件；根据仿真任务文件记载的调用顺序以及算法块动态链接库文件记载的存储地址，调用算法函数，以对仿真任务文件对应的控制逻辑图进行仿真运算；根据测试输入和控制逻辑图仿真运算模型，生成测试输出结果，最终生成测试用例。该方法和装置能够根据控制逻辑图自动化生成测试用例，有效提高测试用例的构建速度，降低人因造成的错误。
-
公开(公告)号：CN109634854B
公开(公告)日：2022-03-15
申请号：CN201811473776.X
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种检测软件工程算法组态异常的方法，属于软件技术领域，解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤：对软件工程算法组态进行分类检测，获得分类检测结果中每一类包含的算法组态总数；识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数，并分析获得上述不一致对应的严重性等级权重；根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数，以及不一致对应的严重性等级权重，获得综合组态异常发生率。该方法通过拆分组态图元素，达到了将组态逻辑量化的效果，并且更新了组态异常发生率的计算方法。
-
公开(公告)号：CN112164481A
公开(公告)日：2021-01-01
申请号：CN202010826797.6
申请日：2020-08-17
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.036 seconds)
