CN109639520A - A kind of Computer Aided Measurement of reactor protection system network communication - Google Patents
A kind of Computer Aided Measurement of reactor protection system network communication Download PDFInfo
- Publication number
- CN109639520A CN109639520A CN201811436647.3A CN201811436647A CN109639520A CN 109639520 A CN109639520 A CN 109639520A CN 201811436647 A CN201811436647 A CN 201811436647A CN 109639520 A CN109639520 A CN 109639520A
- Authority
- CN
- China
- Prior art keywords
- network
- inventory
- point
- communication
- variable
- Prior art date
- Legal status (The legal status 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 status listed.)
- Granted
Links
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/50—Testing arrangements
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
The present invention relates to a kind of Computer Aided Measurement methods of reactor protection system network communication; belong to nuclear-power reactor protection system safety strategy instrument control the field of test technology, solves the problems, such as that low efficiency present in Nuclear Safety grade I&C system network communication test process in the prior art, a large amount of manpowers of consumption, human-equation error rate are high.The described method includes: the grid variable inventory according to reactor protection system network communication, generates data search deck watch corresponding with grid variable inventory；Respective point item information in the engineer application software of point item information and the completion of engineering design configuration in grid variable inventory is tested automatically and generates test record according to the data search deck watch.Nuclear Safety grade I&C system network communication test is realized, testing efficiency is improved, has saved manpower, reduced human-equation error rate.
Description
Technical field
The present invention relates to nuclear-power reactor protection system safety strategy instrument control the field of test technology more particularly to a kind of reactors
Protect the Computer Aided Measurement of grid communication.
Background technique
Nuclear plant digital I&C system (referred to as " DCS ") is nuclear power station " nerve center ", controls nuclear power station more than 260
The operation and all kinds of operating condition treatment processes of a system, nearly ten thousand equipment, for guaranteeing that nuclear plant safety, reliable, stable operation are sent out
Wave important function.Nuclear power plant reactor protects system (Reactor Protection System, abbreviation RPS system) conduct
Nuclear power station security level control system, major function are that the safety of nuclear reactor is protected under accident conditions.Reactor protection system
Whether network communicating function can satisfy design requirement, directly influence the safety of reactor；Therefore, it is necessary to reactor protection
Grid communication function is verified, to ensure that reactor protection system can execute defencive function under accident conditions.
Existing reactor protection system network communication test forces test method, process are as follows: (1) according to defeated to be artificial
Enter file and finds network communication point upstream and point downstream；(2) it is separately connected corresponding engineering teacher station；(3) from upstream, engineer station is strong
Whether normal system carries out observation confirmation communication at downstream engineering teacher station.However in reactor protection system network communication test,
It needs to detect the information such as about more than 20000 variables and variable name type, variable offset, while generating more than 1000 page test records.
This method needs to consume a large amount of manpower, and there are problems that can not reusing, low efficiency, human-equation error.
Summary of the invention
In view of above-mentioned analysis, the present invention is intended to provide a kind of area of computer aided of reactor protection system network communication is surveyed
Method for testing, to solve low efficiency present in Nuclear Safety grade I&C system network communication test process in the prior art, disappear
Consume the high problem of a large amount of manpowers, human-equation error rate.
The present invention provides a kind of Computer Aided Measurements of reactor protection system network communication, include:
According to the grid variable inventory of reactor protection system network communication, generate and grid variable inventory phase
Corresponding data search deck watch；
According to the data search deck watch, in grid variable inventory point item information and engineering design configuration it is complete
At engineer application software in respective point item information, tested automatically and generate test record.
Above-mentioned technical proposal, which has the beneficial effect that, realizes Nuclear Safety grade I&C system net by computer assisted method
Network communication test improves testing efficiency, has saved manpower, reduced human-equation error rate.
Further, according to the grid variable inventory of reactor protection system network communication, generation and grid
The corresponding data search deck watch of variable inventory, specifically includes: according to the system network in reactor protection system network communication
Network variable inventory, statistics need the point item information checked, according to the point item information of required inspection, generate and grid variable
The corresponding data search deck watch of inventory.
Having the beneficial effect that for above-mentioned further technical solution generates data search deck watch by the above method, guarantees
The integrality for the point item information for needing to check improves the subsequent effect for comparing, checking.
Further, according to the data search deck watch, to the point item information and engineering in grid variable inventory
Respective point item information in the engineer application software that configuration is completed is designed, is tested automatically, comprising:
According to the point item information in grid variable inventory and respective point item information in engineer application software lookup and
It compares；
The data of " point-to-point " communication type are carried out logical between the inspection and network variable inventory of messaging parameter setting
Believe consistency check；
The data of " looped network " communication type are carried out with the communication consistency check between network variable inventory.
Further, the engineer application according to point item information and the completion of engineering design configuration in grid variable inventory
The lookup and comparison of respective point item information in software, specifically include:
Standardized network variable inventory is converted by the grid variable inventory, engineering design configuration is completed
Engineer application software is converted into network variable data library csv file, according to data search deck watch, by the standardized network
Variable inventory is searched and is compared with network variable data library csv file.
Above-mentioned further technical solution has the beneficial effect that the above method improves grid variable inventory and engineering is set
Count the efficiency of the engineer application software lookup that configuration is completed and comparison.
Further, the grid variable inventory includes other system institutes in this system and reactor protection system
There is the communication information of network variable.
Further, according to data search deck watch, by the standardized network variable inventory and network variable data
Library csv file is searched and is compared, and is specifically included: according to data search deck watch, by standardized network variable inventory and
The point item information of same point variable name in the csv file of network variable data library is searched and is compared, wherein the point variable
The title of Content of Communication in entitled network communication.
Further, to " point-to-point " communication type data carry out messaging parameter setting inspection and network variable inventory it
Between communication consistency check, specifically include: for point-to-point communication categorical data, being carried out according to " source/whereabouts of signal "
Sequence carries out the inspection of messaging parameter setting, to the point item information of each network variable inventory, becomes in the network being different from
It is searched in amount inventory, and extracts an item information data and inspection is compared to the data search deck watch, accordingly checked
As a result.
Having the beneficial effect that for above-mentioned further technical solution improves the setting of " point-to-point " communication type data messaging parameter
Inspection and network variable inventory between communication consistency check accuracy and efficiency.
Further, the communication consistency check between network variable inventory, tool are carried out to " looped network " communication type data
Body includes: that looped network communication type data is ranked up according to " source/whereabouts of signal ", clear to each network variable
Single point item information, is searched, and extract an item information data to the data search in the network variable inventory being different from
Inspection is compared in deck watch, obtains corresponding inspection result.
The having the beneficial effect that of above-mentioned further technical solution improve " looped network " communication type data network variable inventory it
Between communication consistency check accuracy and efficiency.
Further, the point item information specifically includes, and roll-call, cabinet No., communication type, interface type, comes station number
Source, whereabouts, cabinet number, slot number and network interface card number.
Further, corresponding inspection result is obtained, is specifically included, if the point item information data extracted and the data search
Deck watch is consistent, then display is correct, otherwise shows mistake.
It in the present invention, can also be combined with each other between above-mentioned each technical solution, to realize more preferred assembled schemes.This
Other feature and advantage of invention will illustrate in the following description, also, certain advantages can become from specification it is aobvious and
It is clear to, or understand through the implementation of the invention.The objectives and other advantages of the invention can by specification, claims with
And it is achieved and obtained in specifically noted content in attached drawing.
Detailed description of the invention
Attached drawing is only used for showing the purpose of specific embodiment, and is not to be construed as limiting the invention, in entire attached drawing
In, identical reference symbol indicates identical component.
Fig. 1 is the flow diagram of the method for the embodiment of the present invention；
Fig. 2 is the test record schematic diagram of the method for the embodiment of the present invention.
Specific embodiment
Specifically describing the preferred embodiment of the present invention with reference to the accompanying drawing, wherein attached drawing constitutes the application a part, and
Together with embodiments of the present invention for illustrating the principle of the present invention, it is not intended to limit the scope of the present invention.
Embodiment
A specific embodiment of the invention, the area of computer aided for disclosing a kind of reactor protection system network communication are surveyed
The flow diagram of method for testing, the method is as shown in Figure 1, comprising the following steps:
Step S1, it according to the grid variable inventory of reactor protection system network communication, generates and becomes with grid
Measure the corresponding data search deck watch of inventory；
Specifically, statistics needs the point checked according to the grid variable inventory of reactor protection system network communication
Item information generates data search deck watch corresponding with grid variable inventory according to the point item information of required inspection；
It should be noted that each grid wiring diagram describes the specific reality that this system is communicated with other grids
Existing mode and with hardware arrangement (such as channel number, slot number, board number, board type, mode of connection information)；Each grid
Variable inventory has counted other systems and all network variable communication information (such as points of this system in reactor protection system
The information such as name, point description, communication type)；It is described point item information include roll-call, station number, cabinet No., communication type, interface type,
The information such as source, whereabouts, cabinet number, slot number, network interface card number；
Illustratively, know that the hardware that its respective side is CCMS-A is logical according to the grid variable inventory of a certain variable point
Taoist monastic name is No. 29 cabinets, and No. 2 cabinets, No. 5 slots, 3, No. 4 network interface cards, the signal that respective side CCNS-A is received is from this side CCMS-B
Communication type be SN3 network signal；In such processes, data search deck watch is formd, as shown in table 1, sequence in table 1
It number is CCMS-A → CCMS-B for 1 communication mode, communication type SN3, hardware corridor number is No. 29 cabinets, No. 2 cabinets, 5
Number slot, 3, No. 4 network interface cards；Wherein, the variable point is the specific Content of Communication of network communication.
Table 1
| Serial number | Type | Cabinet No. | Cabinet number | Slot number | Network interface card number | Source/whereabouts | Station number | Interface type |
| 1 | RECV | 29 | 2 | 5 | 3,4 | CCMS-B | CCMS-A | SN3 |
| 2 | SEND | 29 | 2 | 5 | 1,2 | CCMS-B | CCMS-A | SN3 |
| 3 | RECV | 58 | 2 | 5 | 3,4 | CCMS-A | CCMS-B | SN3 |
| 4 | SEND | 58 | 2 | 5 | 1,2 | CCMS-A | CCMS-B | SN3 |
| 5 | RECV | 30 | 2 | 4 | 1,2 | P1C1 | DTC-A1 | SN3 |
| 6 | SEND | 30 | 2 | 4 | 5,6 | P1C1 | DTC-A1 | SN3 |
| 7 | RECV | 30 | 2 | 11 | 1,2 | P1C1 | DTC-A2 | SN3 |
| 8 | SEND | 30 | 2 | 11 | 5,6 | P1C1 | DTC-A2 | SN3 |
Step S2, according to the data search deck watch, in grid variable inventory point item information and engineering set
Respective point item information in the engineer application software that configuration is completed is counted, is tested automatically and generates test record；
According to the data search deck watch, in grid variable inventory point item information and engineering design configuration it is complete
At engineer application software in respective point item information, tested automatically, comprising: according to the point item in grid variable inventory
The lookup and comparison of respective point item information in information and engineering data base；Communication ginseng is carried out to the data of " point-to-point " communication type
The inspection of consistency is communicated between the inspection and network variable inventory of number setting；Network is carried out to the data of " looped network " communication type
Consistency check is communicated between variable inventory；
Wherein, the engineer application software according to point item information and the completion of engineering design configuration in grid variable inventory
The lookup and comparison of middle respective point item information, specifically include: converting standardized net for network variable inventory (input file)
Network variable inventory (that is, manually deleting format and rule, the formula etc. in network variable inventory Excel table, only retains text envelope
Breath)；Manually (export of engineer application software) net is converted by the engineer application software (output file) that engineering design configuration is completed
Network variable data library csv file；Then, by the standardized network variable inventory and network variable data library csv file into
Row is searched and is compared；Specifically, according to data search deck watch, by standardized network variable inventory and network variable data library
The point item information of same point variable name in csv file is searched and is compared；
It should be noted that the engineer application software that the engineering design configuration is completed is developer according to network variable
What inventory was independently completed, as input file, network communication point item information there may be with input file network communication point item
The inconsistent situation of information, it is therefore desirable to which uniformity test is carried out to the two；
When specific embodiment, the respective point item for extracting the same variable point in database is used as with " column " of " _ DB " name
Information, with realize the same variable point input point entry value and database network variable data library csv file in group state value same
The arrangement of a line adjacent column, the comparison after facilitating data search to extract；
By upstream document-network variable inventory and downstream document-engineering data base (network variable data library csv file)
Comparison, to the point item information of each network variable inventory, be different from network variable to ensure that upstream and downstream file is consistent
Searched in inventory, and extract corresponding point item information data such as: roll-call, station number, cabinet No., communication type, interface type,
Inspection is compared into data search deck watch for the information such as source, whereabouts, cabinet number, slot number, network interface card number；
When specific embodiment, using engineering data base homepage as current operation page, in the current sheet page head row of database
The point item information (specifically referring to communication type) of middle inquiry comparison to be found, judge current sheet page of database whether there is to
It searches the point item information compared then to stop operation if it does not exist, and if it exists, then carry out network variable inventory and compare to check net
The comparison of network variable data library csv file is searched.
It should be noted that communication type is divided into two major classes according to heterogeneous networks traffic diagram, it is point to point network respectively
Communication type and looped network network communication type need respectively to check different types of network variable；
The data of " point-to-point " communication type are carried out to communicate between the inspection and network variable inventory of messaging parameter setting
The inspection of consistency, specifically includes:
In order to reduce calculation amount, search efficiency is improved, same class communication point is put together lookup；To " point-to-point " communication
Categorical data is ranked up according to " source/whereabouts of signal "；(such as serial number 1, communication mode are arranged to network variable messaging parameter
For CCMS-A → CCMS-B, communication type SN3, hardware corridor number is No. 29 network interface cards of slot 3,4 of cabinet 5 of cabinet 2；)
It checks, to the point information of each network variable inventory, is searched in the network variable inventory being different from, and mention
Take corresponding point information data such as: roll-call, station number, cabinet No., communication type, interface type, source, whereabouts, cabinet number, slot
Number, the information such as network interface card number into data search deck watch, inspection is compared to the point item information, obtains corresponding inspection result；
When it is implemented, being seeking scope with current sheet pages of database, the lookup of " variable name " is carried out, it is specific to search
When, input function=INDEX (array, match (lookup_value, lookup_array, [match_type]))；Wherein,
Array, lookup_array are the range that point variable to be found during database is sheet pages specified ranks, lookup_value
For point variable name to be found in grid variable inventory, match_type is set as 0 (i.e. accurate matching), the point variable
The title of the entitled specific Content of Communication of network communication；
The data of " looped network " communication type are carried out to communicate consistency check between network variable inventory, are specifically included:
" looped network " communication type data is ranked up according to " signal source/whereabouts " and (same class communication point is placed on one
It rises and searches, to reduce calculation amount, improve search efficiency)；To the point item information of each network variable inventory, it is being different from net
It is searched in network variable inventory, (such as 1 communication mode of serial number is CCMS-A → CCMS-B, communication type SN3, hardware corridor
Number be No. 29 network interface cards of slot 3,4 of cabinet 5 of cabinet 2；) and extract corresponding point information, corresponding point item information includes:
The information such as roll-call, station number, cabinet No., communication type, interface type, source, whereabouts, cabinet number, slot number, network interface card number are looked into data
It looks in deck watch, inspection is compared to reference point item information, obtains corresponding inspection result；
It is specific when searching, same input function=INDEX (array, match (lookup_value, lookup_array,
[match_type])) it is searched.
Wherein, it if the point item information data extracted is consistent with the data search deck watch, is shown in inspection result
Correctly (√) is shown wrong (×) if inconsistent, and area of computer aided automatically generates test record, the test record signal
Figure, as shown in Figure 2.
The present invention provides a kind of Computer Aided Measurements of reactor protection system network communication, can be realized peace
The quick lookup and comparison of corresponding data in full grade network variable inventory and engineering data base；Network variable parameter setting inspection；
The functions such as the consistency check communicated between network variable inventory.Data search deck watch once models completion, can be at one section
Rapidly the similar soft project of different releases is calculated in time, relative to manually checking, this method has height
Effect accurately the features such as high degree of automation, is greatly saved the testing time, improves testing efficiency.
It will be understood by those skilled in the art that realizing all or part of the process of above-described embodiment method, meter can be passed through
Calculation machine program is completed to instruct relevant hardware, and the program can be stored in computer readable storage medium.Wherein, institute
Stating computer readable storage medium is disk, CD, read-only memory or random access memory etc..
The foregoing is only a preferred embodiment of the present invention, but scope of protection of the present invention is not limited thereto,
In the technical scope disclosed by the present invention, any changes or substitutions that can be easily thought of by anyone skilled in the art,
It should be covered by the protection scope of the present invention.
Claims (10)
1. a kind of Computer Aided Measurement of reactor protection system network communication characterized by comprising
According to the grid variable inventory of reactor protection system network communication, generate corresponding with grid variable inventory
Data search deck watch；
According to the data search deck watch, in grid variable inventory point item information and engineering design configuration complete
Respective point item information, is tested automatically and generates test record in engineer application software.
2. the method according to claim 1, wherein the grid according to reactor protection system network communication
Variable inventory generates data search deck watch corresponding with grid variable inventory, specifically includes: according to reactor protection
Grid variable inventory in grid communication, statistics need the point item information checked, the point item according to required inspection
Information generates data search deck watch corresponding with grid variable inventory.
3. the method according to claim 1, wherein being become according to the data search deck watch to grid
Respective point item information in the engineer application software that point item information and engineering design configuration in inventory are completed is measured, is surveyed automatically
Examination, comprising:
According to the lookup and comparison for putting respective point item information in item information and engineer application software in grid variable inventory；
The communication carried out between the inspection and network variable inventory of messaging parameter setting to " point-to-point " communication type data is consistent
Property inspection；
Communication consistency check between network variable inventory is carried out to " looped network " communication type data.
4. the method according to claim 1, wherein according to point item information and work in grid variable inventory
Journey designs the lookup and comparison of respective point item information in the engineer application software that configuration is completed, and specifically includes:
Standardized network variable inventory, the engineering that engineering design configuration is completed are converted by the grid variable inventory
Application software is converted into network variable data library csv file, according to data search deck watch, by the standardized network variable
Inventory is searched and is compared with network variable data library csv file.
5. the method according to claim 1, wherein the grid variable inventory includes this system and react
The communication information of other system all-network variables in heap protection system.
6. according to the method described in claim 3, it is characterized in that, according to data search deck watch, by the standardized net
Network variable inventory is searched and is compared with network variable data library csv file, is specifically included: foundation data search deck watch,
The point item information of same point variable name in standardized network variable inventory and network variable data library csv file is looked into
It looks for and compares, wherein the title of Content of Communication in the entitled network communication of point variable.
7. according to the method described in claim 3, being set it is characterized in that, carrying out messaging parameter to " point-to-point " communication type data
Communication consistency check between the inspection set and network variable inventory, specifically includes: for point-to-point communication categorical data, pressing
It is ranked up according to " source/whereabouts of signal ", the inspection of messaging parameter setting is carried out, to the point item of each network variable inventory
Information is searched in the network variable inventory being different from, and extract an item information data to the data search deck watch into
Row, which compares, to be checked, corresponding inspection result is obtained.
8. according to the method described in claim 3, it is characterized in that, carrying out network variable inventory to " looped network " communication type data
Between communication consistency check, specifically include: for looped network communication type data, being carried out according to " source/whereabouts of signal "
Sequence, to the point item information of each network variable inventory, is searched, and extract an item in the network variable inventory being different from
Inspection is compared to the data search deck watch in information data, obtains corresponding inspection result.
9. according to the method described in claim 8, it is characterized in that, it is described point item information specifically include, roll-call, station number, cabinet
Number, communication type, interface type, source, whereabouts, cabinet number, slot number and network interface card number.
10. method according to claim 7 or 8, which is characterized in that obtain corresponding inspection result, specifically include, if extracting
Point item information data it is consistent with the data search deck watch, then display is correct, otherwise shows mistake.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201811436647.3A CN109639520B (en) | 2018-11-28 | 2018-11-28 | Computer-aided test method for network communication of reactor protection system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201811436647.3A CN109639520B (en) | 2018-11-28 | 2018-11-28 | Computer-aided test method for network communication of reactor protection system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN109639520A true CN109639520A (en) | 2019-04-16 |
| CN109639520B CN109639520B (en) | 2020-12-04 |
Family
ID=66070093
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201811436647.3A Active CN109639520B (en) | 2018-11-28 | 2018-11-28 | Computer-aided test method for network communication of reactor protection system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN109639520B (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114995314A (en) * | 2022-06-15 | 2022-09-02 | 中国核动力研究设计院 | Automatic statistical method and system for variable use information in nuclear power plant DCS (distributed control System) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102024504A (en) * | 2010-10-21 | 2011-04-20 | 中广核工程有限公司 | Logic test method and device suitable for reactor protection system |
| CN104200397A (en) * | 2014-08-27 | 2014-12-10 | 北京广利核系统工程有限公司 | Method for verifying consistence of designed input file and variable information database of DCS (Distributed Control System) of nuclear power station |
| CN105159275A (en) * | 2015-08-16 | 2015-12-16 | 中国科学院合肥物质科学研究院 | Closed-loop test platform used for instrument and control system of nuclear reactor and driven by real-time simulation data |
-
2018
- 2018-11-28 CN CN201811436647.3A patent/CN109639520B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102024504A (en) * | 2010-10-21 | 2011-04-20 | 中广核工程有限公司 | Logic test method and device suitable for reactor protection system |
| CN104200397A (en) * | 2014-08-27 | 2014-12-10 | 北京广利核系统工程有限公司 | Method for verifying consistence of designed input file and variable information database of DCS (Distributed Control System) of nuclear power station |
| CN105159275A (en) * | 2015-08-16 | 2015-12-16 | 中国科学院合肥物质科学研究院 | Closed-loop test platform used for instrument and control system of nuclear reactor and driven by real-time simulation data |
Non-Patent Citations (1)
| Title |
|---|
| 康礼鸿等: "反应堆保护系统应用软件集成测试方法", 《核电子学与探测技术》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114995314A (en) * | 2022-06-15 | 2022-09-02 | 中国核动力研究设计院 | Automatic statistical method and system for variable use information in nuclear power plant DCS (distributed control System) |
Also Published As
| Publication number | Publication date |
|---|---|
| CN109639520B (en) | 2020-12-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN109145579A (en) | Intelligent network joins automobile information secure authentication testing method and system | |
| CN105956410B (en) | A kind of Universal-purpose quick detection method of IEC61850 full models | |
| CN100492032C (en) | Power distribution network fault testing method based on topology picture | |
| CN102331967A (en) | Method for managing chip verification test cases | |
| CN104794059A (en) | Defect positioning method and device based on function calling records | |
| CN112052172B (en) | Rapid test method and device for third-party channel and electronic equipment | |
| CN105005015A (en) | Circuit fault simulation system based on hardware circuit fault injection | |
| US10101388B2 (en) | Method for enhanced semiconductor product diagnostic fail signature detection | |
| CN103514092A (en) | Method for automatic testing of software system of ATM | |
| CN115630036A (en) | Error information processing method, apparatus, device, storage medium and program product | |
| CN106546278A (en) | The statistical test device and method of checking nuclear safe level instrument control platform safety crash rate | |
| CN104503908A (en) | Predicate frequency statistics based software fault locating method | |
| CN109639520A (en) | A kind of Computer Aided Measurement of reactor protection system network communication | |
| Heitmeyer | Applying practical formal methods to the specification and analysis of security properties | |
| CN116774016B (en) | Chip testing method, device, equipment and storage medium | |
| CN104765024A (en) | Onboard radar jamming automatic detection system | |
| CN105159826B (en) | A kind of method and apparatus of wrong sentence in positioning target program | |
| CN115422865B (en) | Simulation method and device, computing equipment and computer readable storage medium | |
| CN106844126A (en) | A kind of spacecraft hard IP kernel function of numeral and performance evaluation methodology | |
| CN116151163A (en) | DFT diagnosis quality analysis method and device, storage medium and terminal equipment | |
| CN115827353A (en) | Fault diagnosis method and device | |
| CN105989095A (en) | Association rule significance test method and device capable of considering data uncertainty | |
| CN114646864A (en) | Test method and system based on automatic test equipment | |
| CN106528722A (en) | Method and system for consistency testing of equipment data models of intelligent electronic device | |
| Yasko et al. | FMEDA and FIT-based safety assessment of NPP I&C systems considering expert uncertainty |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |