-
公开(公告)号：CN114697237A
公开(公告)日：2022-07-01
申请号：CN202210393741.5
申请日：2022-04-15
Applicant: 北京广利核系统工程有限公司
IPC: H04L43/08 , H04L12/40 , H04L69/164 , H04L61/00 , H04L101/622 , H04L101/695
Abstract: 本申请公开了一种总线通信周期的测试系统、方法。其中，该系统包括：通信协议，用于上位机装置和下位机装置的通信；下位机装置，用于接收启动监测请求时，对总线通信周期进行测试，并将测试结果以数据包形式发送至上位机装置；上位机装置，用于发送启动监测的请求和接收下位机装置发送的测试结果，并根据测试结果确定总线通信周期。使得总线通信周期的测试系统安装更加灵活，实现了可自动测试总线通信周期，同时提高了通信的可靠性。
-
公开(公告)号：CN109542510B
公开(公告)日：2021-11-23
申请号：CN201811369114.8
申请日：2018-11-16
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及一种基于贝叶斯理论的软件V&V有效性度量方法，属于软件V&V技术领域，解决了现有软件V&V有效性度量方法不可靠且效果度量值不准确的问题。该方法包括如下步骤：获得历史V&V活动中每一预设分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率；建立V&V有效性预测模型，根据上述概率分析获得V&V有效性预测模型参数中的V&V能力因素；根据V&V有效性预测模型获得当前V&V对象存在缺陷全部被V&V活动发现的概率，判断软件V&V有效性；建立V&V有效性度量模型，计算在满足需求的上述分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率。该方法结合经验数据和实际测试数据，基于贝叶斯理论进行数据融合，综合地给出V&V活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN106776295B
公开(公告)日：2020-09-22
申请号：CN201611081851.9
申请日：2016-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
-
公开(公告)号：CN111343184A
公开(公告)日：2020-06-26
申请号：CN202010125475.9
申请日：2020-02-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。
-
公开(公告)号：CN115081032B
公开(公告)日：2025-04-04
申请号：CN202210688391.5
申请日：2022-06-17
Applicant: 北京广利核系统工程有限公司
IPC: G06F21/71 , G06F21/85 , G06F16/2458
Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于按照固定周期运行所述组态文件，并与所述工程师站和所述显示设备通信交互数据；显示设备用于显示报警信息和基于用户输入消除报警。上述方案中，闭锁报警基于形式化开发方法实现，可进行图形化的闭锁报警算法的逻辑架构搭建，可相对于传统开发方法，具有更高的逻辑精确性，这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性，且支持在线监控，满足企业的应用需求。
-
Patent Agency Ranking
公开(公告)号：CN114697237B
公开(公告)日：2023-12-26
申请号：CN202210393741.5
申请日：2022-04-15
Applicant: 北京广利核系统工程有限公司
IPC: H04L43/08 , H04L12/40 , H04L69/164 , H04L61/00 , H04L101/622 , H04L101/695
Abstract: 本申请公开了一种总线通信周期的测试系统、方法。其中，该系统包括：通信协议，用于上位机装置和下位机装置的通信；下位机装置，用于接收启动监测请求时，对总线通信周期进行测试，并将测试结果以数据包形式发送至上位机装置；上位机装置，用于发送启动监测的请求和接收下位机装置发送的测试结果，并根据测试结果确定总线通信周期。使得总线通信周期的测试系统安装更加灵活，实现了可自动测试总线通信周期，同时提高了通信的可靠性。
-
公开(公告)号：CN116701167A
公开(公告)日：2023-09-05
申请号：CN202310280881.6
申请日：2023-03-21
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可能的函数调用方式；通过比对所有函数调用方式对应的运行时间，得到最坏执行时间。可见，本申请利用汇编程序中函数起始位置构建调用关系树，进一步建立函数调用点阵图，即可遍历得到函数中所有可能的调用方式，与现有技术中单独的静态分析技术和动态分析技术相比，同时具有了高精确度和低复杂度。
-
公开(公告)号：CN109597763B
公开(公告)日：2022-02-25
申请号：CN201811473774.0
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
-
公开(公告)号：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、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.031 seconds)
