WO2023116110A1 - Système et procédé de vérification pour une boucle logique de système dcs de niveau autre que de sécurité d'une centrale nucléaire - Google Patents

Système et procédé de vérification pour une boucle logique de système dcs de niveau autre que de sécurité d'une centrale nucléaire Download PDF

Info

Publication number
WO2023116110A1
WO2023116110A1 PCT/CN2022/122321 CN2022122321W WO2023116110A1 WO 2023116110 A1 WO2023116110 A1 WO 2023116110A1 CN 2022122321 W CN2022122321 W CN 2022122321W WO 2023116110 A1 WO2023116110 A1 WO 2023116110A1
Authority
WO
WIPO (PCT)
Prior art keywords
logic
logic circuit
control terminal
dcs
safety level
Prior art date
Application number
PCT/CN2022/122321
Other languages
English (en)
Chinese (zh)
Inventor
陈梅
张海
谢光辉
李劲光
臧鹏
Original Assignee
中广核核电运营有限公司
中国广核集团有限公司
中国广核电力股份有限公司
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 中广核核电运营有限公司, 中国广核集团有限公司, 中国广核电力股份有限公司 filed Critical 中广核核电运营有限公司
Publication of WO2023116110A1 publication Critical patent/WO2023116110A1/fr

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
    • G05B19/41845—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM] characterised by system universality, reconfigurability, modularity
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/33—Director till display
    • G05B2219/33273—DCS distributed, decentralised controlsystem, multiprocessor
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Definitions

  • the invention relates to the technical field of nuclear power digital instrument control systems, and more specifically relates to a verification system and method for non-safety level DCS logic circuits of nuclear power plants.
  • the technical problem to be solved by the present invention is to provide a verification system and method for non-safety level DCS logic circuits of nuclear power plants in view of the defects of the prior art.
  • the technical solution adopted by the present invention to solve the technical problem is: to construct a verification system for non-safety level DCS logic circuits of nuclear power plants, including: control terminals, simulation servers, communication units and DCS control cabinets;
  • the control terminal is used to match the corresponding simulation input interface model according to the test instruction according to the logic event series and assign values in sequence, and output the verification result according to the logic circuit operation result returned by the simulation server;
  • the simulation server is connected to the control terminal, and is used to perform simulation operations according to the assignment of the control terminal and to send the input signal value of each logic event series of each non-safety level DCS logic circuit to the said communication unit sequentially.
  • the DCS control cabinet performs a non-safe DCS logic circuit operation according to the input signal value, and returns the logic circuit operation result to the simulation server through the communication unit.
  • control terminal includes: an analysis module;
  • the parsing module is used for reading and parsing the logic event series of each non-safety level DCS logic circuit in the execution script file, matching the corresponding simulation input interface model according to the logic event series and assigning values in sequence.
  • control terminal further includes: a storage module
  • the storage module is used to store the execution script file; the execution script file includes: a standard logic truth table of a non-safety level DCS logic circuit.
  • control terminal further includes: a comparison module
  • the comparison module is used to compare the operation result of the logic circuit with the standard logic truth table, and output the comparison result.
  • control terminal further includes: a report generation module;
  • the report generation module is connected with the comparison module, and is used to generate a test verification report and verification information according to the comparison result; the test verification report and verification information are the verification results.
  • control terminal further includes: a display module;
  • the display module is connected with the report generating module, and is used for displaying the verification information and the test verification report.
  • control terminal further includes: a prompt module
  • the prompt module is connected with the report generation module, and is used to output a first prompt signal when the operation result of the logic circuit is the same as the series of standard values corresponding to the standard logic truth table, and output the first prompt signal when the operation result of the logic circuit is Outputting a second prompt signal when it is different from the corresponding series of standard values in the standard logic truth table.
  • described emulation server comprises: a plurality of event series modules
  • Each event series module includes: multiple simulation input interface models and a simulation output interface model;
  • the multiple simulation input interface models are used to perform simulation operations according to the assignment of the control terminal and sequentially send the input signal values of each non-safety level DCS logic circuit and each logic event series to the DCS control through the communication unit Cabinet;
  • the simulation output interface is used to receive the logical operation result returned by the DCS control cabinet through the communication unit and send it to the control terminal.
  • the communication unit is a PCL communication module.
  • the DCS control cabinet includes: a logic circuit operation module;
  • the logic circuit calculation module is used to perform calculations on each non-safe DCS logic circuit according to the input signal value, and return the logic circuit calculation results to the simulation server through the communication unit.
  • the present invention also provides a method for verifying the non-safety level DCS logic circuit of a nuclear power plant, comprising the following steps:
  • the control terminal receives the test instruction input by the user, and according to the test instruction, matches the corresponding simulation input interface model according to the logic event series and assigns values in sequence;
  • the simulation server performs simulation operations according to the assignment of the control terminal, and sequentially sends the input signal value of each logic event series of each non-safety level DCS logic circuit;
  • the DCS control cabinet performs calculations on the logic event series of each non-safety level DCS logic circuit according to the input signal value, and outputs the logic circuit operation results;
  • the simulation server returns the operation result of the logic circuit to the control terminal
  • the control terminal outputs a verification result according to the operation result of the logic circuit.
  • the method also includes:
  • the simulation server sends the input signal value of each logic event series of each non-safety level DCS logic circuit to the DCS control cabinet through the communication unit.
  • the method also includes:
  • the control terminal analyzes and compiles a standard logic truth table according to the non-safety level DCS logic circuit design drawings to be tested and verified;
  • the control terminal compiles the standard logic truth table to generate an execution script file
  • the control terminal stores the execution script file.
  • the output of the verification result by the control terminal according to the operation result of the logic loop includes:
  • the control terminal compares the operation result of the logic loop with the standard logic truth table, and outputs the comparison result
  • test verification report and verification information are generated according to the comparison result; the test verification report and verification information are the verification results.
  • the method also includes:
  • the control terminal displays the test verification report and the verification information.
  • the method also includes:
  • the control terminal judges whether the operation result of the logic loop is the same as the corresponding series of standard values in the standard logic truth table
  • Implementing the verification system and method of the non-safety level DCS logic circuit of the nuclear power plant of the present invention has the following beneficial effects: it includes a control terminal, a simulation server, a communication unit and a DCS control cabinet; the control terminal matches the corresponding simulation input according to the test instruction according to the logic event series The interface model is assigned in sequence, and the verification results are output; the simulation server performs simulation operations according to the assignment of the control terminal and sends the input signal value of each non-safety DCS logic circuit and each logic event series in turn through the communication unit; the DCS control cabinet according to the input The signal value is subjected to non-safety level DCS logic loop calculation, and the logic loop calculation result is returned to the simulation server through the communication unit.
  • the invention realizes the comprehensive verification of the non-safety DCS logic circuit, solves the problem of lack of verification and omission, and can also solve the problem that a large number of logical circuit combination tests cannot be carried out manually, greatly improves the test efficiency and reliability, and has a high degree of automation .
  • Fig. 1 is the structural representation of the verification system of the non-safety level DCS logic circuit of the nuclear power plant provided by the embodiment of the present invention
  • Fig. 2 is a schematic flowchart of a verification method for a non-safety level DCS logic circuit of a nuclear power plant provided by an embodiment of the present invention.
  • FIG. 1 it is a structural schematic diagram of an alternative embodiment of a verification system for a non-safety level DCS logic circuit of a nuclear power plant provided by the present invention.
  • the verification system of the non-safety DCS logic circuit of the nuclear power plant includes: a control terminal 10 , a simulation server 20 , a communication unit 30 and a DCS control cabinet 40 .
  • the control terminal 10 is used to match the corresponding simulation input interface model according to the logic event series according to the test instruction and assign values in sequence, and to output the verification result according to the logic circuit operation result returned by the simulation server 20 .
  • the simulation server 20 is connected with the control terminal 10, and is used to perform simulation calculations according to the assignment of the control terminal 10 and send the input signal values of each non-safety level DCS logic circuit and each logic event series to the DCS control cabinet 40 sequentially through the communication unit 30.
  • the DCS control cabinet 40 performs non-safe DCS logic circuit calculations according to the input signal value, and returns the logic circuit calculation results to the simulation server 20 through the communication unit 30 .
  • control terminal 10 includes: an analysis module.
  • the analysis module is used to read and analyze the logic event series of each non-safety level DCS logic circuit in the execution script file, match the corresponding simulation input interface model according to the logic event series and assign values in sequence.
  • the analysis module can read and analyze the logic event series of each non-safety level DCS logic circuit in the execution script file, and match the corresponding simulation in the simulation server 20 according to the logic event series. Input the interface model, and assign values to the matching simulation input interface models in sequence.
  • control terminal 10 further includes: a storage module.
  • the storage module is used to store the execution script file; the execution script file includes: a standard logic truth table of the non-safety level DCS logic circuit.
  • the standard logic truth table can be compiled and analyzed according to the non-safety level DCS logic circuit design drawings to be tested and verified.
  • the standard logic truth table can be compiled into an execution script file and stored in the storage module.
  • the compiled execution script file may be stored in a preset script folder in the storage module.
  • control terminal 10 further includes: a comparison module.
  • the comparison module is used to compare the operation result of the logic circuit with the standard logic truth table, and output the comparison result.
  • control terminal 10 further includes: a report generation module.
  • the report generation module is connected with the comparison module, and is used to generate a test verification report and verification information according to the comparison result; the test verification report and verification information are verification results.
  • control terminal 10 further includes: a display module.
  • the display module is connected with the report generating module, and is used for displaying the verification information and the test verification report.
  • control terminal 10 further includes: a prompt module.
  • the prompting module is connected with the report generating module, and is used for outputting the first prompting signal when the logic circuit operation result is the same as the corresponding series standard value in the standard logic truth table, and the corresponding series in the logic circuit operation result and the standard logic truth table When the standard values are different, a second prompt signal is output.
  • the simulation server 20 includes: a plurality of event series modules.
  • each event series module includes: multiple simulation input interface models and one simulation output interface model.
  • Simulation input interface models are used to perform simulation operations according to the assignment of the control terminal 10 and sequentially send the input signal values of each non-safety DCS logic circuit and each logic event series to the DCS control cabinet 40 through the communication unit 30 .
  • the simulation output interface is used to receive the logical operation result returned by the DCS control cabinet 40 through the communication unit 30 and send it to the control terminal 10 .
  • the communication unit 30 may be a PLC communication module.
  • the DCS control cabinet 40 includes: a logic circuit operation module.
  • the logic circuit calculation module is used to perform calculations on each non-safety DCS logic circuit according to the input signal value, and return the logic circuit calculation result to the simulation server 20 through the communication unit 30 .
  • the analysis module in the control terminal 10 reads and analyzes the logic event series of each non-safety level DCS logic circuit in the execution script file, it matches the corresponding simulation input interface model in the simulation server 20 according to the logic event series, and Assign values to the matched simulation input interface models in sequence, and then, the assigned simulation input interface models perform simulation operations according to the obtained assignments, and input each logic event series of each non-safety level DCS logic circuit through the communication unit 30
  • the signal values are sequentially sent to the DCS control cabinet 40 .
  • the DCS control cabinet 40 performs logic circuit operations on each event series of the corresponding non-safety level DCS logic circuit according to the input signal value sent by the simulation input interface model of the simulation server 20, and returns the logic circuit operation results to the corresponding through the communication unit 30.
  • the matching simulation input interface model is simulation input interface model 1, simulation input interface model 2, ..., simulation input interface model n in event series 1, then after assignment, event series 1
  • the corresponding input signal value is sent to the DCS control cabinet 40 through the communication unit 30, and the DCS control cabinet 40
  • the event series 1 in the corresponding non-safety level DCS logic circuit is subjected to a logic circuit operation, and the logic circuit operation result is returned to the simulation output interface model of the event series 1 through the communication unit 30, and the event series 1
  • the simulation output interface model of the simulation output interface model returns the logic circuit operation result to the control terminal 10, and the comparison module in the control terminal 10 compares the returned logic circuit operation result with the corresponding series of standard values in the standard logic truth table, and
  • the comparison result is sent to the report generation module, and the report generation module generates a test verification report and verification information according to the comparison result.
  • the display module also displays the test verification report and verification information generated by the report generation module. Further, the prompting module also prompts the verification information. Specifically, when the operation result of the logic circuit is the same as the corresponding series of standard values in the standard logic truth table, the first prompt signal is output, and when they are different, the second prompt signal is output.
  • the first prompt signal may be a green light
  • the second prompt signal may be a red light
  • the present invention realizes the design of the non-safety DCS logic circuit by adopting the standard logic truth table representing all possible states between the input and the output of the logic event of the non-safety level DCS logic circuit as the test and verification standard of the non-safety level DCS logic circuit , configuration design and all verifications of the correctness of DCS actual logic operations solve the problem of lack of non-safety DCS verification standards.
  • the present invention can perform automatic testing, which solves the problem that human beings cannot carry out the logical combination test in the standard logical truth table. For example, if a logic circuit has n inputs, it needs to test ( 2n +1) series, and the number of input variables of some circuits is as high as 235 times, which is impossible to complete for manual testing, and the present invention can be based on the non-safety of the nuclear power plant. Level DCS logic circuit verification system automatic test verification.
  • the present invention can greatly improve the test reliability and efficiency, and can repeat the test for multiple rounds, realizing the goal of moving the debugging forward, and has great applicability to the logic circuit test of the new nuclear power unit and the DCS transformation of the nuclear power unit in service sex.
  • FIG. 2 it is a schematic flowchart of an alternative embodiment of a verification method for a non-safety level DCS logic circuit of a nuclear power plant provided by the present invention.
  • the method for verifying the non-safety level DCS logic circuit of a nuclear power plant can be realized by the verification system for the non-safety level DCS logic circuit of a nuclear power plant disclosed in the embodiment of the present invention.
  • the verification method of the non-safety level DCS logic circuit of the nuclear power plant includes the following steps:
  • Step S201 the control terminal 10 receives the test instruction input by the user, matches the corresponding simulation input interface model according to the test instruction according to the logic event series, and assigns values in sequence.
  • Step S202 the simulation server 20 performs a simulation operation according to the value assigned by the control terminal 10 , and sequentially sends the input signal value of each logic event series of each non-safety DCS logic circuit.
  • Step S203 the DCS control cabinet 40 performs calculations on the logic event series of each non-safety level DCS logic circuit according to the input signal value, and outputs the operation result of the logic circuit.
  • Step S204 the simulation server 20 returns the logic circuit operation result to the control terminal 10 .
  • Step S205 the control terminal 10 outputs a verification result according to the logic circuit operation result.
  • the method for verifying the non-safety level DCS logic loop of the nuclear power plant further includes: the simulation server 20 sequentially sends each logic event series of each non-safety level DCS logic loop to the DCS control cabinet 40 through the communication unit 30 Enter the signal value.
  • the verification method of the non-safety level DCS logic circuit of the nuclear power plant also includes: the control terminal 10 analyzes and compiles a standard logic truth table according to the design drawings of the non-safety level DCS logic circuit to be tested and verified; the control terminal 10 Compile the standard logic truth table to generate an execution script file; the control terminal 10 stores the execution script file.
  • control terminal 10 outputting the verification result according to the logic loop operation result includes: the control terminal 10 compares the logic loop operation result with the standard logic truth table, and outputs the comparison result; generates a test verification report according to the comparison result and verification information; the test verification report and verification information are verification results.
  • the method for verifying the non-safety level DCS logic circuit of the nuclear power plant further includes: the control terminal 10 displays the test verification report and verification information.
  • the method for verifying the non-safety level DCS logic loop of the nuclear power plant further includes: the control terminal 10 judges whether the operation result of the logic loop is the same as the corresponding series of standard values in the standard logic truth table; if they are the same, output The first prompt signal; if not the same, output the second prompt signal.
  • each embodiment in this specification is described in a progressive manner, each embodiment focuses on the difference from other embodiments, and the same and similar parts of each embodiment can be referred to each other.
  • the description is relatively simple, and for relevant details, please refer to the description of the method part.
  • RAM random access memory
  • ROM read-only memory
  • EEPROM electrically programmable ROM
  • EEPROM electrically erasable programmable ROM
  • registers hard disk, removable disk, CD-ROM, or any other Any other known storage medium.

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Manufacturing & Machinery (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Automation & Control Theory (AREA)
  • Testing And Monitoring For Control Systems (AREA)

Abstract

La présente invention concerne un système et un procédé de vérification pour une boucle logique de système DCS de niveau autre que de sécurité d'une centrale nucléaire. Le système comprend un terminal de commande (10), un serveur de simulation (20), une unité de communication (30) et une armoire de commande de système DCS (40). Le terminal de commande (10) correspond, selon une instruction de test, à un modèle d'interface d'entrée de simulation correspondant selon une série d'événements logiques, effectue une attribution de valeur en séquence et délivre en sortie un résultat de vérification. Le serveur de simulation (20) effectue une opération de simulation en fonction de l'attribution de valeur du terminal de commande (10) et envoie de manière séquentielle une valeur de signal d'entrée de chaque série d'événements logiques de chaque boucle logique de système DCS de niveau autre que de sécurité au moyen de l'unité de communication (30). L'armoire de commande de système DCS (40) effectue une opération de boucle logique de système DCS de niveau autre que de sécurité en fonction de la valeur de signal d'entrée et renvoie un résultat d'opération de boucle logique au serveur de simulation (20) au moyen de l'unité de communication (30). Une vérification complète de la boucle logique de système DCS de niveau autre que de sécurité est obtenue, les problèmes de manque et d'omission de vérification sont résolus, en outre, le problème selon lequel un grand nombre de tests de combinaison de boucles logiques ne peut pas être réalisé manuellement peut également être résolu, l'efficacité et la fiabilité de test sont considérablement améliorées et le degré d'automatisation est élevé.
PCT/CN2022/122321 2021-12-24 2022-09-28 Système et procédé de vérification pour une boucle logique de système dcs de niveau autre que de sécurité d'une centrale nucléaire WO2023116110A1 (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
CN202111602054.1 2021-12-24
CN202111602054.1A CN114442570B (zh) 2021-12-24 2021-12-24 一种核电站非安全级dcs逻辑回路的验证系统和方法

Publications (1)

Publication Number Publication Date
WO2023116110A1 true WO2023116110A1 (fr) 2023-06-29

Family

ID=81363576

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/CN2022/122321 WO2023116110A1 (fr) 2021-12-24 2022-09-28 Système et procédé de vérification pour une boucle logique de système dcs de niveau autre que de sécurité d'une centrale nucléaire

Country Status (2)

Country Link
CN (1) CN114442570B (fr)
WO (1) WO2023116110A1 (fr)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114442570B (zh) * 2021-12-24 2023-12-12 中广核核电运营有限公司 一种核电站非安全级dcs逻辑回路的验证系统和方法

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR101030589B1 (ko) * 2009-10-30 2011-04-21 한국전력공사 통합된 ｄｃｓ를 검증하기 위한 시스템 및 방법
CN102412003A (zh) * 2011-09-20 2012-04-11 中广核工程有限公司 一种核电站dcs调试系统和方法
CN104809932A (zh) * 2015-04-22 2015-07-29 北京广利核系统工程有限公司 一种核电厂数字化安全级控制系统模拟装置
CN104898633A (zh) * 2015-06-16 2015-09-09 中广核工程有限公司 一种核电厂非安全级dcs组态测试方法及系统
CN107885097A (zh) * 2017-10-24 2018-04-06 中广核核电运营有限公司 一种核电站模拟仪控系统dcs改造闭环验证系统及方法
CN109765860A (zh) * 2018-12-17 2019-05-17 中广核研究院有限公司 核反应堆dcs的验证方法、验证装置及验证系统
CN111427781A (zh) * 2020-03-19 2020-07-17 北京广利核系统工程有限公司 一种兼容仿真和实体的逻辑功能测试方法及平台
CN114442570A (zh) * 2021-12-24 2022-05-06 中广核核电运营有限公司 一种核电站非安全级dcs逻辑回路的验证系统和方法

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102024504B (zh) * 2010-10-21 2013-04-24 中广核工程有限公司 一种适于反应堆保护系统的逻辑测试方法及装置
CN103869801A (zh) * 2012-12-13 2014-06-18 中广核工程有限公司 核电站仪控逻辑功能块的测试方法和系统
CN106774224B (zh) * 2017-02-21 2019-10-15 中广核工程有限公司 核电站数字化控制系统的测试装置
CN111665818B (zh) * 2020-05-29 2023-10-20 中核武汉核电运行技术股份有限公司 一种核电厂数字化仪控验证系统及其方法
CN111812998B (zh) * 2020-06-08 2023-07-14 中核武汉核电运行技术股份有限公司 核电厂双机组数字化仪控验证系统及其方法

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR101030589B1 (ko) * 2009-10-30 2011-04-21 한국전력공사 통합된 ｄｃｓ를 검증하기 위한 시스템 및 방법
CN102412003A (zh) * 2011-09-20 2012-04-11 中广核工程有限公司 一种核电站dcs调试系统和方法
CN104809932A (zh) * 2015-04-22 2015-07-29 北京广利核系统工程有限公司 一种核电厂数字化安全级控制系统模拟装置
CN104898633A (zh) * 2015-06-16 2015-09-09 中广核工程有限公司 一种核电厂非安全级dcs组态测试方法及系统
CN107885097A (zh) * 2017-10-24 2018-04-06 中广核核电运营有限公司 一种核电站模拟仪控系统dcs改造闭环验证系统及方法
CN109765860A (zh) * 2018-12-17 2019-05-17 中广核研究院有限公司 核反应堆dcs的验证方法、验证装置及验证系统
CN111427781A (zh) * 2020-03-19 2020-07-17 北京广利核系统工程有限公司 一种兼容仿真和实体的逻辑功能测试方法及平台
CN114442570A (zh) * 2021-12-24 2022-05-06 中广核核电运营有限公司 一种核电站非安全级dcs逻辑回路的验证系统和方法

Also Published As

Publication number Publication date
CN114442570B (zh) 2023-12-12
CN114442570A (zh) 2022-05-06

Similar Documents

Publication Publication Date Title
CN105786695B (zh) 数据测试方法及系统
CN107797928B (zh) 仪控系统平台逻辑算法块测试装置和方法
WO2023116110A1 (fr) Système et procédé de vérification pour une boucle logique de système dcs de niveau autre que de sécurité d'une centrale nucléaire
CN111965530A (zh) 一种基于jtag的fpga芯片自动化测试方法
CN115656792B (zh) 芯片可测性设计的测试方法及测试平台
KR101935105B1 (ko) 오류 모의 함수를 이용한 자동화 기반 강건성 검증 장치 및 방법
CN112306861A (zh) 一种基于Unittest和Jenkins工具的接口自动化测试体系及方法
WO2023082886A1 (fr) Système et procédé de vérification automatique de logiciel dsc à base de technologie de simulation numérique
CN111814354B (zh) 仪器性能的模拟测试方法、系统、介质及电子设备
CN111680463A (zh) 一种文件检查方法和装置
US8543368B1 (en) Method and system for testing
CN112860587B (zh) Ui自动测试方法和装置
Villalobos-Arias et al. Evaluation of a model‐based testing platform for Java applications
US20050223281A1 (en) Transaction logging and intelligent error reporting in an expectation-based memory agent checker
CN115684894B (zh) 芯片可测性设计的测试方法及测试平台
CN111190786A (zh) 基于uvm的测试构架、测试平台及测试方法
CN116956801A (zh) 芯片验证方法、装置、计算机设备和存储介质
CN115684895B (zh) 芯片可测性设计测试方法、测试平台及其生成方法及装置
CN114661615B (zh) 一种fpga软件测试方法和设备
CN106919748B (zh) 提高fpga原型验证效率的装置及方法
CN112799956B (zh) 资产识别能力测试方法、装置及系统装置
CN110795338B (zh) 一种基于前后端交互的自动化测试方法、装置及电子设备
Santoso et al. Real-time software testing for microprocessor-based protective relays
CN110795142A (zh) 一种配置文件的生成方法及装置
CN111752823A (zh) 一种车载电源应用软件的测试方法、装置及设备

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 22909428

Country of ref document: EP

Kind code of ref document: A1