-
公开(公告)号：CN115473837B
公开(公告)日：2024-03-22
申请号：CN202210163861.6
申请日：2022-02-22
申请人： 北京广利核系统工程有限公司
IPC分类号： H04L43/50 , H04L43/12 , H04L43/0805
摘要： 本申请公开了一种可配置协议的通讯测试工具和基于其的通讯测试方法，其中，方法包括：接收对通讯测试工具的配置信息，所述配置信息包括通讯模式和第一通讯数据；响应于所述通讯模式，与待测试的核电系统建立通讯连接并按照所述通讯模式与所述待测试的核电系统进行通讯；获取所述待测试的核电系统基于所述通讯模式生成的第二通讯数据；根据所述第一通讯数据和所述第二通讯数据，确定并展示所述通讯模式的测试结果，能够进行自动化的通讯测试，从而实现在测试阶段的通讯测试，提高整体测试效率。
-
公开(公告)号：CN111343184B
公开(公告)日：2022-08-23
申请号：CN202010125475.9
申请日：2020-02-27
申请人： 北京广利核系统工程有限公司
摘要： 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。
-
公开(公告)号：CN109634854B
公开(公告)日：2022-03-15
申请号：CN201811473776.X
申请日：2018-12-04
申请人： 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号： G06F11/36
摘要： 本发明涉及一种检测软件工程算法组态异常的方法，属于软件技术领域，解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤：对软件工程算法组态进行分类检测，获得分类检测结果中每一类包含的算法组态总数；识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数，并分析获得上述不一致对应的严重性等级权重；根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数，以及不一致对应的严重性等级权重，获得综合组态异常发生率。该方法通过拆分组态图元素，达到了将组态逻辑量化的效果，并且更新了组态异常发生率的计算方法。
-
公开(公告)号：CN112164481A
公开(公告)日：2021-01-01
申请号：CN202010826797.6
申请日：2020-08-17
申请人： 北京广利核系统工程有限公司
摘要： 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
公开(公告)号：CN111766848A
公开(公告)日：2020-10-13
申请号：CN202010607873.4
申请日：2020-06-29
申请人： 北京广利核系统工程有限公司
IPC分类号： G05B23/02
摘要： 本说明书提供一种仪控系统中子系统的拒动率验证方法和装置，包括：根据子系统的故障严重度权重和故障概率权重计算对应的子权重和调整系数；根据调整系数和平均分配拒动率计算子系统的调整分配拒动率；在子系统的理论计算拒动率小于调整分配拒动率的情况下，对子系统进行测试试验而获得实际故障次数，以及根据测试试验数量、理论计算拒动率和测试置信度获得计算故障次数；根据实际故障次数和计算故障次数判断子系统的理论计算拒动率是否满足要求。因为调整系数体现了各个子系统的故障严重度权重和故障概率权重的特性，所以采用此系数和平均拒动率相乘得到的调整分配拒动率体现了各个子系统的差异。
-
公开(公告)号：CN106529303A
公开(公告)日：2017-03-22
申请号：CN201610941338.6
申请日：2016-10-25
申请人： 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC分类号： G06F21/575 , G06F9/4401
摘要： 本发明属于核电厂仪控系统的技术领域，提供了一种更加安全启动核电厂仪控系统的启动装置和方法；所述装置包括：引导程序存储单元，设置成存储有所述核电厂仪控系统的引导程序；启动控制单元，设置有控制核电厂仪控系统启动运行的启动控制器和与启动控制器连接的校验电路；其中，引导程序存储单元内至少一个预定地址还设置成存储引导程序校验码，校验电路读取到所述引导程序后，根据校验电路内部的逻辑运算模块计算当前引导程序对应的第一校验码；启动控制器根据引导程序存储单元内的引导程序校验码与所述校验电路计算得到的第一校验码是否一致，判断所述引导程序是否被修改；因此，能有提高系统启动的安全性，并缩短启动时间。
-
公开(公告)号：CN102520984B
公开(公告)日：2013-09-04
申请号：CN201110386640.7
申请日：2011-11-29
申请人： 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC分类号： G06F9/445
摘要： 本发明涉及一种目标软件在指定硬件环境中最差时间的计算方法，包括：步骤1、读取目标文件并对目标文件进行解析及反汇编；步骤2、模拟目标软件使用的虚拟硬件环境，包括：步骤3、在虚拟硬件环境中执行汇编后的目标文件，其中：步骤4、把每一个程序分支的运行时间横向比较后，计算并输出目标文件中最差运行时间的程序路径。本发明能够预估目标软件在控制系统中的最差运行时间，从而在目标软件下装之前确定是否超时，以满足系统的时间确定性要求。
-
公开(公告)号：CN101996147A
公开(公告)日：2011-03-30
申请号：CN200910249912.1
申请日：2009-12-04
申请人： 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC分类号： G06F13/16 , G06F15/167
摘要： 本发明涉及一种双口RAM互斥访问的实现方法，所述一种双口RAM互斥访问的实现方法包括如下操作步骤：1)采用地址分区方式，将共享数据区划分成多个数据区，并制定相应软件协议；2)软件分区处理时，按照交换数据的类型将RAM的共享存储区从起始单元开始分成若干个大的数据区，数据区大小由实际的传输数据确定，每个大数据区又细分为一个数据接收区和一个数据发送区，且每个区都定义有相应的数据存取地址和控制标识；3)在本系统中，所有对外部系统的通信工作均由从机来完成，主机只需对双口RAM中相应的数据缓冲区写入要发送的数据或读取需要的数据即可。
-
公开(公告)号：CN116089315A
公开(公告)日：2023-05-09
申请号：CN202310209950.4
申请日：2023-03-07
申请人： 北京广利核系统工程有限公司
IPC分类号： G06F11/36
摘要： 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口测试需求，生成用于对核电站实时操作系统进行接口测试的接口测试设计信息；针对信号量变化详情，基于信号量变化详情构建模型；从所构建的模型中提取路径节点序列；基于路径节点序列，生成用于对核电站实时操作系统进行功能测试的功能测试设计信息，从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
-
公开(公告)号：CN115473837A
公开(公告)日：2022-12-13
申请号：CN202210163861.6
申请日：2022-02-22
申请人： 北京广利核系统工程有限公司
IPC分类号： H04L43/50 , H04L43/12 , H04L43/0805
摘要： 本申请公开了一种可配置协议的通讯测试工具和基于其的通讯测试方法，其中，方法包括：接收对通讯测试工具的配置信息，所述配置信息包括通讯模式和第一通讯数据；响应于所述通讯模式，与待测试的核电系统建立通讯连接并按照所述通讯模式与所述待测试的核电系统进行通讯；获取所述待测试的核电系统基于所述通讯模式生成的第二通讯数据；根据所述第一通讯数据和所述第二通讯数据，确定并展示所述通讯模式的测试结果，能够进行自动化的通讯测试，从而实现在测试阶段的通讯测试，提高整体测试效率。
-
-
-
-
-
-
-
-
-
搜索结果
48 条记录 (耗时 0.044 秒)
