-
公开(公告)号：CN113075911B
公开(公告)日：2023-01-06
申请号：CN202110313958.6
申请日：2021-03-24
申请人： 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G05B19/418
摘要： 本发明涉及核电厂安全级数字化仪控系统软件自动验证方法和系统，包括：获取输入信息；根据输入信息，建立系统控制功能与仪控平台的转换对应追溯表，并定义信号接口；建立逻辑块库；根据转换对应追溯表、信号接口和逻辑块库，生成追溯路径；对追溯路径进行分析，获得追溯性分析结果。本发明建立了基于路径的自动化的图纸可追溯性分析方法，提高核电厂安全级数字化仪控系统应用软件的验证与确认工作的工作效率，减少验证人员的人力投入，提升软件的安全性和可靠性。
-
公开(公告)号：CN109189039A
公开(公告)日：2019-01-11
申请号：CN201810711572.9
申请日：2018-07-03
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G05B23/02
摘要： 本发明公开了一种用于核电站的系统可靠性测试方法以及系统，方法包括：通过故障注入的方式使待测系统在不同的加速应力水平下运行；获取待测系统在不同的加速应力水平下运行时的失效数据，并将获取的失效数据还原为正常应力水平下的失效数据；根据正常应力水平下的失效数据获取待测系统的可靠性信息。本发明加速了失效过程，将长时间的可靠性测试缩短到可接受的水平；进一步地，故障模式库包括与待测系统的层级架构对应的几种层级故障，因此可选的故障模式囊括了各种层级故障，可以引发系统各层级协同失效，克服单一应力不足以表征系统失效机理的弊端；通过危害度刻画应力水平，所选取的故障模式的危害度累加符合加速应力水平所对应的危害度要求。
-
公开(公告)号：CN107480051B
公开(公告)日：2020-07-17
申请号：CN201710597261.X
申请日：2017-07-20
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司
IPC分类号： G06F11/36
摘要： 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法，包括：概率分配组件，用于对参数生成组件的多个选择模块进行的概率进行分配，并用于对每一所述选择模块的下一步的分支选择进行概率分配；参数生成组件，包括多个选择模块并分别与部分所述概率分配组件连接，用于生成每一轮次测试的期望值以及运行参数值；数据分析组件，与所述参数生成组件连接，用于对每一轮次的所述期望值以及运行参数值进行分析对比，自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性，对参数的取值范围进行全面覆盖，实现测试环境对核电厂运行状态的充分模拟。
-
公开(公告)号：CN107480051A
公开(公告)日：2017-12-15
申请号：CN201710597261.X
申请日：2017-07-20
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司
IPC分类号： G06F11/36
摘要： 本发明公开了一种核电厂数字化反应堆保护系统软件测试系统及方法，包括：概率分配组件，用于对参数生成组件的多个选择模块进行的概率进行分配，并用于对每一所述选择模块的下一步的分支选择进行概率分配；参数生成组件，包括多个选择模块并分别与部分所述概率分配组件连接，用于生成每一轮次测试的期望值以及运行参数值；数据分析组件，与所述参数生成组件连接，用于对每一轮次的所述期望值以及运行参数值进行分析对比，自定义统计并导出多轮次的测试结果。本发明提供的核电厂数字化反应堆保护系统软件测试系统及方法具有操作剖面的随机特性，对参数的取值范围进行全面覆盖，实现测试环境对核电厂运行状态的充分模拟。
-
公开(公告)号：CN113010152B
公开(公告)日：2024-09-20
申请号：CN202110313444.0
申请日：2021-03-24
申请人： 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G06F8/20 , G06F8/38 , G06Q10/0631
摘要： 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。
-
公开(公告)号：CN109542787B
公开(公告)日：2022-06-07
申请号：CN201811389281.9
申请日：2018-11-21
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G06F11/36
摘要： 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。
-
公开(公告)号：CN113010152A
公开(公告)日：2021-06-22
申请号：CN202110313444.0
申请日：2021-03-24
申请人： 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
摘要： 本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。
-
公开(公告)号：CN109542787A
公开(公告)日：2019-03-29
申请号：CN201811389281.9
申请日：2018-11-21
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G06F11/36
摘要： 本发明提供了一种核电厂安全级软件测试方法，包括:根据被测对象的核电厂软件分级，从测试任务库中选取与被测对象安全分级相对应的测试任务；根据测试任务库选择的任务，对软件需求进行与测试任务相适用的分解，定位软件需求；根据测试任务库选择的任务以及对应的软件安全等级，通过专家支持库给出每个测试任务对应的测试项；根据软件需求和测试项，确定软件测试策略，生成测试说明，并执行测试工作，记录测试结果并对所述执行结果进行分析。本发明以较少的测试用例实现核电厂安全级软件的测试，提升测试的充分性和完备性，提升测试效率。同时通过缺陷分析模块可快速定位缺陷原因以及更新专家支持模块，增强平台的准确性和适用性。
-
公开(公告)号：CN113075911A
公开(公告)日：2021-07-06
申请号：CN202110313958.6
申请日：2021-03-24
申请人： 中广核工程有限公司 , 深圳中广核工程设计有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G05B19/418
摘要： 本发明涉及核电厂安全级数字化仪控系统软件自动验证方法和系统，包括：获取输入信息；根据输入信息，建立系统控制功能与仪控平台的转换对应追溯表，并定义信号接口；建立逻辑块库；根据转换对应追溯表、信号接口和逻辑块库，生成追溯路径；对追溯路径进行分析，获得追溯性分析结果。本发明建立了基于路径的自动化的图纸可追溯性分析方法，提高核电厂安全级数字化仪控系统应用软件的验证与确认工作的工作效率，减少验证人员的人力投入，提升软件的安全性和可靠性。
-
公开(公告)号：CN109271306A
公开(公告)日：2019-01-25
申请号：CN201811154960.8
申请日：2018-09-30
申请人： 深圳中广核工程设计有限公司 , 中广核工程有限公司 , 中国广核集团有限公司 , 中国广核电力股份有限公司
IPC分类号： G06F11/34
摘要： 本发明适用于核电技术领域，提供了一种基于故障注入的寿命试验方法、装置、设备及介质。所述方法包括：试验平台接收用户的试验指令；生成失效模拟命令；将所述失效模拟命令发送到所述嵌入式计算平台；嵌入式计算平台采用在被测软件中预先注册的Kprobes接口，执行所述失效模拟命令，并将所述被测软件的输出保存到预设的输出文件中；根据所述输出文件判断所述失效模拟命令的执行结果，并将所述执行结果发送给试验平台；试验平台根据所述执行结果执行相应的操作，并将所述执行结果记录在日志中。本发明的技术方案实现了基于故障注入的软件加速寿命试验，能够在有限的时间内收集到充分的数据进行可靠性评估，缩短试验时间，提高试验效率。
-
-
-
-
-
-
-
-
-
搜索结果
20 条记录 (耗时 0.095 秒)
