-
公开(公告)号：CN103559125B
公开(公告)日：2015-12-09
申请号：CN201310512437.9
申请日：2013-10-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开一种利用图同构验证编译器的方法，包括待处理的源程序和将源程序生成目标程序的编译器，在选定环境下建立一个反编译器，通过反编译器将目标程序反编译成对比程序，验证对比程序和源程序之间的语义一致性，并在此基础上，分别建立源程序和对比程序的控制流图相关结点信息后进行同构判定，从而得到编译器是否安全的结论。本发明通过判断对比程序与源程序的控制流图是否同构，来验证编译器的安全性。该方法直接将反编译后的代码与源代码进行语义比较，避免了验证过程中由于源代码信息丢失导致验证不全面的问题，该算法不需要再次遍历控制流图，使得图同构判断算法简单，易于实现。
-
公开(公告)号：CN114327488A
公开(公告)日：2022-04-12
申请号：CN202210005759.3
申请日：2022-01-04
Applicant: 北京广利核系统工程有限公司 , 广东核电合营有限公司
Abstract: 本发明公开了一种实时操作系统的生成方法及装置，确定核电领域对实时操作系统的功能需求，基于功能需求对实时操作系统进行整体架构设计得到初始实时操作系统，对初始实时操作系统进行对应编码得到中间实时操作系统，对中间实时操作系统进行集成调试，对通过集成调试的中间实时操作系统进行功能需求确认测试，并将通过功能需求确认测试的中间实时操作系统确定为适用核电领域的目标实时操作系统。由此可以看出，本发明公开的目标实时操作系统是针对核电领域设计的，因此，核电仪控系统使用本发明生成的目标实时操作系统，无需再进行测试、验证和商业级调查活动，从而大大节省了人力和物力，降低了核电厂的建设成本。
-
公开(公告)号：CN116089315A
公开(公告)日：2023-05-09
申请号：CN202310209950.4
申请日：2023-03-07
Applicant: 北京广利核系统工程有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口测试需求，生成用于对核电站实时操作系统进行接口测试的接口测试设计信息；针对信号量变化详情，基于信号量变化详情构建模型；从所构建的模型中提取路径节点序列；基于路径节点序列，生成用于对核电站实时操作系统进行功能测试的功能测试设计信息，从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
-
公开(公告)号：CN115904329A
公开(公告)日：2023-04-04
申请号：CN202211605659.0
申请日：2022-12-14
Applicant: 广东核电合营有限公司 , 北京广利核系统工程有限公司
Inventor： 李明利 , 李刚 , 周飞 , 李萌 , 马忠刚 , 莫昌瑜 , 王晓伟 , 石桂连 , 张智慧 , 李幼媛 , 首云旭 , 窦维维 , 王纪坤 , 刘建刚 , 张晓冬 , 马建新 , 况德军 , 杨晶
IPC: G06F8/20 , G06F18/241 , G06F16/25
Abstract: 本发明公开了一种应用于软件设计的可靠性指标确定方法及装置，包括：对软件设计阶段的设计特征进行分析，获得与所述设计特征对应的故障类型；基于所述故障类型，确定待生成的每一软件设计阶段的可靠性指标对应的涵盖设计缺陷信息以及指导设计措施信息；基于所述涵盖设计缺陷信息以及所述指导设计措施信息，生成软件设计阶段的可靠性指标。本发明能够对软件设计阶段的特征进行充分分析，基于可靠性指标指导软件设计及时定位和修正设计过程中的错误，降低了软件的设计风险，进而提升了整个软件的可靠性。
-
公开(公告)号：CN103559125A
公开(公告)日：2014-02-05
申请号：CN201310512437.9
申请日：2013-10-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开一种利用图同构验证编译器的方法，包括待处理的源程序和将源程序生成目标程序的编译器，在选定环境下建立一个反编译器，通过反编译器将目标程序反编译成对比程序，验证对比程序和源程序之间的语义一致性，并在此基础上，分别建立源程序和对比程序的控制流图相关结点信息后进行同构判定，从而得到编译器是否安全的结论。本发明通过判断对比程序与源程序的控制流图是否同构，来验证编译器的安全性。该方法直接将反编译后的代码与源代码进行语义比较，避免了验证过程中由于源代码信息丢失导致验证不全面的问题，该算法不需要再次遍历控制流图，使得图同构判断算法简单，易于实现。
-
Patent Agency Ranking
公开(公告)号：CN116701167A
公开(公告)日：2023-09-05
申请号：CN202310280881.6
申请日：2023-03-21
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可能的函数调用方式；通过比对所有函数调用方式对应的运行时间，得到最坏执行时间。可见，本申请利用汇编程序中函数起始位置构建调用关系树，进一步建立函数调用点阵图，即可遍历得到函数中所有可能的调用方式，与现有技术中单独的静态分析技术和动态分析技术相比，同时具有了高精确度和低复杂度。
-
公开(公告)号：CN114792182A
公开(公告)日：2022-07-26
申请号：CN202110104003.X
申请日：2021-01-26
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种核电仪控系统的实时操作系统的评估方法和装置，具体为确定待评估实时操作系统所应用于的仪控系统所执行功能的安全等级；根据安全等级确定待评估实时操作系统的适用标准；根据设计需求确定待评估实时操作系统的功能要求与性能要求；根据适用标准、功能要求和性能要求确定所使用的评估模型；对待评估实时操作系统进行分析计算，得到分析结果；利用评估模型对分析结果进行量化评估，得到待评估实时操作系统的量化评价结果。通过评估可以不经试用得到相应实时操作系统的效果，尽早发现其是否适用，从而避免对核电仪控系统的研发进度和成本造成损失。
-
公开(公告)号：CN101847113B
公开(公告)日：2012-05-30
申请号：CN201010178954.3
申请日：2010-05-21
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F11/267 , G05B23/02 , G21D3/00 , G21C17/00
CPC classification number: Y02E30/40
Abstract: 一种系统测试确认装置及方法，包括测试系统和被测系统，测试系统包括一计算机模块，PLC模块组；所述的计算机模块是用于发布测试指令，显示收集被测系统处理后的信息并与测试指令进行校验，验证被测系统的安全性和正常运行；所述的PLC模块包括一中央处理器、至少两个I/O模块，多路分配模块和多路复用模块；PLC模块的中央处理器分别与测试系统的计算机和I/O模块连接，多路分配模块和多路复用模块分别与PLC模块连接和被测系统上的硬接线连接。通过采用本发明的多路复用和多路分配模块，在不影响测试效果的前提下有效降低了PLC模块中的I/O模块数量，降低了测试系统的成本。
-
公开(公告)号：CN101847113A
公开(公告)日：2010-09-29
申请号：CN201010178954.3
申请日：2010-05-21
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F11/267 , G05B23/02 , G21D3/00 , G21C17/00
CPC classification number: Y02E30/40
Abstract: 一种系统测试确认装置及方法，包括测试系统和被测系统，测试系统包括一计算机模块，PLC模块组；所述的计算机模块是用于发布测试指令，显示收集被测系统处理后的信息并与测试指令进行校验，验证被测系统的安全性和正常运行；所述的PLC模块包括一中央处理器、至少两个I/O模块，多路分配模块和多路复用模块；PLC模块的中央处理器分别与测试系统的计算机和I/O模块连接，多路分配模块和多路复用模块分别与PLC模块连接和被测系统上的硬接线连接。通过采用本发明的多路复用和多路分配模块，在不影响测试效果的前提下有效降低了PLC模块中的I/O模块数量，降低了测试系统的成本。
-
公开(公告)号：CN201336157Y
公开(公告)日：2009-10-28
申请号：CN200820177025.9
申请日：2008-11-07
Applicant: 北京广利核系统工程有限公司
IPC: G21C17/00
Abstract: 本实用新型涉及反应堆保护系统过程仪表测试的试验装置。机柜内底部前方的机架上设置有打印机盒，内放置有一台激光打印机，后侧底部设置有一外接交流电源与隔离变压器，交流电源通过空气开关与外界连接，隔离变压器输出三路电源，隔离变压器与机柜顶部中间的线性电源模块连接，机柜顶部后侧设置有信号调理板，机柜中部后侧有自检、定期校验接口板，这两块板卡与线性电源间有电源线缆连接，信号调理板与机柜背面的试验用插座连接，自件、定期校验接口板与机柜背面的自检用插座、定期校验插座、定期校验用对外连接测孔相连接，试验电缆用于连接现场被测设备。打印机上方的机架上固定有一体化输入输出设备，一体化输入输出设备的上方通过机架固定有工控机，一体化输入输出设备使用电缆连接到工控机的视频输出与键盘鼠标端口上。该装置提供一种满足移动要求、功能强大，维护方便的试验装置。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.026 seconds)
