CN109709884A - A kind of anti-intelligent logical check system of electric power five and method - Google Patents

A kind of anti-intelligent logical check system of electric power five and method Download PDF

Info

Publication number
CN109709884A
CN109709884A CN201811593301.4A CN201811593301A CN109709884A CN 109709884 A CN109709884 A CN 109709884A CN 201811593301 A CN201811593301 A CN 201811593301A CN 109709884 A CN109709884 A CN 109709884A
Authority
CN
China
Prior art keywords
unit
check
order
sequence
reversed
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
Application number
CN201811593301.4A
Other languages
Chinese (zh)
Other versions
CN109709884B (en
Inventor
甘文琪
陈红彪
黄德华
李昊鹏
马毅
张宏
田旭初
徐海
龙胜江
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Guangdong Power Grid Co Ltd
Zhaoqing Power Supply Bureau of Guangdong Power Grid Co Ltd
Original Assignee
Guangdong Power Grid Co Ltd
Zhaoqing Power Supply Bureau of Guangdong Power Grid Co Ltd
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 Guangdong Power Grid Co Ltd, Zhaoqing Power Supply Bureau of Guangdong Power Grid Co Ltd filed Critical Guangdong Power Grid Co Ltd
Priority to CN201811593301.4A priority Critical patent/CN109709884B/en
Publication of CN109709884A publication Critical patent/CN109709884A/en
Application granted granted Critical
Publication of CN109709884B publication Critical patent/CN109709884B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Abstract

The present invention relates to Operation of Electric Systems fields, more particularly, to a kind of anti-intelligent logical check system of electric power five and method.The system includes input unit, storage unit, checks unit and output unit;Input unit is used for typing historical operation ticket, or the sequence of operation that input is new, establishes operation order initial model;Storage unit is for storing historical operation ticket and new operation order, using the operation order of storage as emulation testing sample;It checks unit and checks unit and reversed check unit including positive, forward direction checks unit and is used to carry out Forward simulation operation to the sequence of operation of operation order, and whether the anti-mis-logical of positive operation for checking operation order is correct, if correctly, into next unit;Reversed unit of checking is used to carry out the sequence of operation of operation order reversed out-of-order simulation operations, checks whether anti-mis-logical passes through, if not passing through, enters next unit;Output unit is synchronized and is stored to storage unit for that will generate operation order by the operation order initial model of check.

Description

A kind of anti-intelligent logical check system of electric power five and method
Technical field
The present invention relates to Operation of Electric Systems fields, more particularly, to a kind of anti-intelligent logical check system of electric power five And method.
Background technique
Substation is under the integrated management mode of O&M, and administration substation, teams and groups is more, and maintenance work amoun is big, human resources Anxiety is each teams and groups' existed general problem.The Correctness checking of anti-error logical data is the periodic duty of current O&M teams and groups One of, check whether the anti-mis-logical of a substation is correct, requires the inspection of a line a line, while needing to set one by one every time Standby simulated operation, verifies the correctness of anti-mis-logical.Since some special screnes are easy to omit, and reversed school can not be carried out It tests, so causing five prevention logic error checking not comprehensive, cannot check to come comprehensively wrong.
In addition, anti-mis-logical is human-edited, periodically manually checked by operation maintenance personnel, logical formula is tediously long, only depends on people Work maintenance be easy to cause substation's misoperation fault it is difficult to ensure that its correctness, logical implication careless omission or mistake.Moreover, power transformation When the extending capacity reformation stood, it is necessary to modify certain entries in logical formula, logical versions anti-error in this way are more, be easy to cause confusion. Therefore, it is necessary to the system and methods that one kind is capable of the anti-error logical formula correctness of automatic Verification.
Summary of the invention
The present invention in order to overcome at least one of the drawbacks of the prior art described above, provides a kind of electric power five anti-intelligent logical school Check system and method import historical operation ticket or newly-built operation order, into emulated operating environment, by positive automatic Check, instead To random ordering check, determine it is errorless after store or generate again operation order, effectively check occur in anti-mis-logical it is various mistake and it is thin Leakage, reduces the probability of misoperation fault.
In order to solve the above technical problems, the technical solution adopted by the present invention is that:
A kind of anti-intelligent logical check system of electric power five, including input unit, storage unit, check unit and output are single Member;The input unit is used for typing historical operation ticket, or the sequence of operation that input is new, establishes operation order initial model;It is described Storage unit is for storing historical operation ticket and new operation order, using the operation order of storage as emulation testing sample;The check Unit includes positive check unit and reversely checks unit, and the positive check unit is used for the sequence of operation progress to operation order Forward simulation operation, whether the anti-mis-logical of positive operation for checking operation order is correct, if correctly, into next unit;It is described anti- It is used to carry out the sequence of operation of operation order reversed out-of-order simulation operations to unit is checked, checks whether anti-mis-logical passes through, if Do not pass through, then enters next unit;The output unit is used to generate operation order by the operation order initial model of check, and It synchronizes and stores to storage unit.
Wherein, when the huge historical operation ticket of importing quantity, the original state of historical operation ticket has been set in simulated environment, Positive, reversed automatic simulation operation is carried out to the sequence of operation of historical operation ticket, if the anti-mis-logical check of positive operation cannot Pass through, illustrates that anti-mis-logical is wrong;If the reversed out-of-order anti-mis-logical of operation can pass through, illustrates that anti-mis-logical is incorrect, protect The anti-unique correctness of mis-logical in operation order is demonstrate,proved.
It preferably, further include alarm unit, the alarm unit connects with unit is checked, and does not pass through if checking, alarm is single Member issues alarm signal.Alarm unit is mainly used for reminding, when forward direction checks unit or the anti-mis-logical of reversed check unit discovery When wrong, alarm unit accordingly issues alarm signal, and operator is notified to handle and correct in time.
The present invention also provides a kind of anti-intelligent logical method of calibration of electric power five, the anti-intelligent logical methods of calibration of electric power five Based on the above-mentioned anti-intelligent logical check system of electric power five, including but not limited to following steps:
S1 enters emulated operating environment, input unit typing historical operation ticket, and the original state of historical operation ticket is arranged;
Forward direction described in S2 checks unit and carries out Forward simulation operation to the sequence of operation of historical operation ticket, if positive operation is anti- Mis-logical check does not pass through, alarm unit alert;If passing through, enter reversed check unit;
Unit is reversely checked described in S3, reversed out-of-order simulation operations are carried out to the sequence of operation of historical operation ticket, if reversed random Sequence operation passes through, alarm unit alert;If not passing through, check terminates, which stores single to storage Member;
S4 repeats S1-S4, verifies several historical operation tickets, and stores wherein qualified historical operation ticket as emulation testing Sample;
S5 inputs the new sequence of operation to the input unit, establishes operation order initial model;
Forward direction described in S6 checks unit and carries out Forward simulation operation to the sequence of operation of operation order initial model, if positive behaviour Make anti-mis-logical check not pass through, the alarm unit alert;If passing through, enter reversed check unit;
Unit is reversely checked described in S7, reversed out-of-order simulation operations are carried out to the sequence of operation of operation order initial model, if instead Pass through to random ordering operation, the alarm unit alert;If not passing through, check terminates;
Output unit described in S8 will generate operation order by the operation order initial model checked, and synchronize and store to storage list Member.
The huge historical operation ticket of anti-mis-logical sum number amount to be tested is imported, is checked by positive with reversed, it will be anti-error The right-on historical operation ticket of logic is stored as emulation testing sample.When carrying out new sequence of operation check, it is The inspection of system automated execution emulation testing sample and the new sequence of operation, the operation instead of traditional artificial equipment one by one are real It tests, emulation testing sample size is huge, and automatic execution efficiency is high, and the range that emulation testing sample is covered is comprehensive, can quickly test Whether the anti-mis-logical for demonstrate,proving the new sequence of operation is correct, and Direct Recognition goes out Wrong, missing, redundancy and missing feelings among five prevention logic Condition.
Compared with prior art, the beneficial effects of the present invention are: the present invention provides a kind of anti-intelligent logical schools of electric power five Check system and method are checked and are stored automatically by system, are checked including forward direction and are checked with reversed, guarantee operation order In the anti-unique correctness of mis-logical, avoid multi version confusion.Meanwhile this method is instead of traditional artificial cycle inspection, Effectively increase work about electric power efficiency.
Realization of the invention can make anti-error logic reversal verification audit be truly realized functionization, effectively check hand-written logic The various errors and omissions of middle appearance, the correctness that powerful guarantee anti-error system logic is checked, reduce maloperation thing indirectly Therefore probability, also significantly reduce the intensity and difficulty of anti-error system checking and accepting, to ensure power grid safe and stable operation have There is highly important realistic meaning.
Detailed description of the invention
Fig. 1 is system flow chart of the invention.
Fig. 2 is history ticket operation order guiding flow figure.
Specific embodiment
The attached figures are only used for illustrative purposes and cannot be understood as limitating the patent;In order to better illustrate this embodiment, attached Scheme certain components to have omission, zoom in or out, does not represent the size of actual product;To those skilled in the art, The omitting of some known structures and their instructions in the attached drawings are understandable.Being given for example only property of positional relationship is described in attached drawing Illustrate, should not be understood as the limitation to this patent.
Embodiment 1
As shown in Figure 1, providing the embodiment of a kind of anti-intelligent logical check system of electric power five and method, including input is single Member, checks unit, output unit and alarm unit at storage unit.
Wherein, input unit is used for typing historical operation ticket, or the sequence of operation that input is new, establishes operation order introductory die Type.
Storage unit is for storing historical operation ticket and new operation order, using the operation order of storage as emulation testing sample.
It checks unit and checks unit and reversed check unit including positive, forward direction checks unit for the operation to operation order Sequence carries out Forward simulation operation, and whether the anti-mis-logical of positive operation for checking operation order is correct, if correctly, into next list Member;Reversed unit of checking is used to carry out the sequence of operation of operation order reversed out-of-order simulation operations, checks whether anti-mis-logical leads to It crosses, if not passing through, enters next unit.
Output unit is stored for that will generate operation order by the operation order initial model of check, and synchronize to storage list Member.
Alarm unit connects with unit is checked, and does not pass through if checking, alarm unit issues alarm signal.
The present embodiment additionally provides a kind of anti-intelligent logical method of calibration of electric power five, is verified based on the anti-intelligent logical of electric power five System, including but not limited to following steps:
S1 enters emulated operating environment, input unit typing historical operation ticket, and the original state of historical operation ticket is arranged;
S2 forward direction checks unit and carries out Forward simulation operation to the sequence of operation of historical operation ticket, patrols if positive operation is anti-error It collects to check and not pass through, alarm unit alert;If passing through, enter reversed check unit;
S3 reversely checks unit and carries out reversed out-of-order simulation operations to the sequence of operation of historical operation ticket, if reversed out-of-order behaviour Work passes through, alarm unit alert;If not passing through, check terminates, which stores to storage unit;
Be illustrated by taking a certain historical operation ticket as an example, as shown in Fig. 2, firstly, in systems enter emulated operating environment, According to the content of the historical operation ticket, the original state of historical operation ticket is set.
Assuming that the sequence of operation of the ticket has 12 steps, wherein the only the 2nd, 8,9,10 steps be equipment operation item, other Xiang Weijian Look into the step of report etc. does not operate.So obtain the positive operation sequence of the ticket are as follows:
(2)→(8)→(9)→(10)
That is: 12440 → closing 1242 → are pulled open to close 1244 → close 124
Forward direction checks unit and executes check to the positive operation sequence of the ticket, and every single stepping is all sentenced by anti-mis-logical Disconnected, if the anti-mis-logical of a certain step does not pass through, the logical formula of the equipment is wrong.
Such as 12440 equipment to pull open logic wrong, write as:
12440L:{ } | 1 | 1244=1!(i.e. 1244 be conjunction state when, can just pull open 12440)
So when execution (2), anti-mis-logical cannot pass through, alarm unit alarm.
Reversed unit of checking continues the check of reverse operating sequence, that is, upsets positive operation logic, do not press model answer Operation, anti-mis-logical should be able to and alarm.
Such as: reverse operating sequence: (9) → (2) → (8) → (10) is provided at random
Due to 12440 error-logic, which will not report an error, therefore illustrate that the logic rules of the operation order are wrongly write , do not play the role of preventing maloperation, alarm unit alarm.
Unit is checked by forward direction and reversed unit of checking combines, and ensure that the anti-unique correctness of mis-logical in operation order.
S4 repeats S1-S4, verifies several historical operation tickets, and stores wherein qualified historical operation ticket as emulation testing Sample;
S5 inputs the new sequence of operation to the input unit, establishes operation order initial model;
S6 forward direction checks unit and carries out Forward simulation operation to the sequence of operation of operation order initial model, if positive operation is anti- Mis-logical check does not pass through, alarm unit alert;If passing through, enter reversed check unit.Wherein, emulation testing The historical operation ticket positive operation sequence of sample is to meet safety standard " model answer ", and anti-mis-logical is judging positive sequence When should all pass through, otherwise illustrate anti-error logical mistake.
S7 reversely checks unit and carries out reversed out-of-order simulation operations to the sequence of operation of operation order initial model, if reversed random Sequence operation passes through, alarm unit alert;If not passing through, check terminates;
Positive, the reversed check of the new sequence of operation is similar to the check step of historical operation ticket, in storage unit Emulation testing sample guarantees that the anti-mis-logical in operation order initial model is completely correct as reference.
S8 output unit will generate operation order by the operation order initial model checked, and synchronizes and store to storage unit.
The present invention can make anti-error logic conversion check audit be truly realized functionization, can the anti-mis-logical of fast verification whether Correctly, Direct Recognition goes out Wrong, missing, redundancy and deletion condition among anti-mis-logical, effectively check occur in hand-written logic it is each Kind of errors and omissions, the correctness that powerful guarantee anti-error system logic is checked, reduce the probability of misoperation fault indirectly, The intensity and difficulty for significantly reducing anti-error system checking and accepting have the safe and stable operation of guarantee power grid highly important Realistic meaning.
Obviously, the above embodiment of the present invention be only to clearly illustrate example of the present invention, and not be pair The restriction of embodiments of the present invention.For those of ordinary skill in the art, may be used also on the basis of the above description To make other variations or changes in different ways.There is no necessity and possibility to exhaust all the enbodiments.It is all this Made any modifications, equivalent replacements, and improvements etc., should be included in the claims in the present invention within the spirit and principle of invention Protection scope within.

Claims (3)

1. a kind of anti-intelligent logical check system of electric power five, it is characterised in that: including input unit, storage unit, check unit And output unit;
The input unit is used for typing historical operation ticket, or the sequence of operation that input is new, establishes operation order initial model;
The storage unit is for storing historical operation ticket and new operation order, using the operation order of storage as emulation testing sample;
The check unit includes positive check unit and reversely checks unit, and the positive check unit is used for operation order The sequence of operation carries out Forward simulation operation, and whether the anti-mis-logical of positive operation for checking operation order is correct, if correctly, entrance is next Unit;The reversed unit of checking is used to carry out the sequence of operation of operation order reversed out-of-order simulation operations, checks anti-mis-logical Whether pass through, if not passing through, enters next unit;
The output unit is stored for that will generate operation order by the operation order initial model of check, and synchronize to storage list Member.
2. a kind of anti-intelligent logical check system of electric power five according to claim 1, it is characterised in that: further include that alarm is single Member, the alarm unit connect with unit is checked, and do not pass through if checking, alarm unit issues alarm signal.
3. the anti-intelligent logical method of calibration of a kind of electric power five, based on electric power five as claimed in claim 2 anti-intelligent logical verification system System, it is characterised in that:
Including but not limited to following steps:
S1 enters emulated operating environment, input unit typing historical operation ticket, and the original state of historical operation ticket is arranged;
Forward direction described in S2 checks unit and carries out Forward simulation operation to the sequence of operation of historical operation ticket, patrols if positive operation is anti-error It collects to check and not pass through, alarm unit alert;If passing through, enter reversed check unit;
Unit is reversely checked described in S3, reversed out-of-order simulation operations are carried out to the sequence of operation of historical operation ticket, if reversed out-of-order behaviour Work passes through, alarm unit alert;If not passing through, check terminates, which stores to storage unit;
S4 repeats S1-S4, verifies several historical operation tickets, and stores wherein qualified historical operation ticket as emulation testing sample This;
S5 inputs the new sequence of operation to the input unit, establishes operation order initial model;
Forward direction described in S6 checks unit and carries out Forward simulation operation to the sequence of operation of operation order initial model, if positive operation is anti- Mis-logical check does not pass through, the alarm unit alert;If passing through, enter reversed check unit;
Unit is reversely checked described in S7, reversed out-of-order simulation operations are carried out to the sequence of operation of operation order initial model, if reversed random Sequence operation passes through, the alarm unit alert;If not passing through, check terminates;
Output unit described in S8 will generate operation order by the operation order initial model checked, and synchronizes and store to storage unit.
CN201811593301.4A 2018-12-25 2018-12-25 Electric power five-prevention intelligent logic verification system and method Active CN109709884B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811593301.4A CN109709884B (en) 2018-12-25 2018-12-25 Electric power five-prevention intelligent logic verification system and method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811593301.4A CN109709884B (en) 2018-12-25 2018-12-25 Electric power five-prevention intelligent logic verification system and method

Publications (2)

Publication Number Publication Date
CN109709884A true CN109709884A (en) 2019-05-03
CN109709884B CN109709884B (en) 2020-08-04

Family

ID=66258311

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811593301.4A Active CN109709884B (en) 2018-12-25 2018-12-25 Electric power five-prevention intelligent logic verification system and method

Country Status (1)

Country Link
CN (1) CN109709884B (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111880029A (en) * 2020-07-09 2020-11-03 广东电网有限责任公司 Five-prevention testing device for spacer layer

Citations (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2000113006A (en) * 1998-09-30 2000-04-21 Mitsubishi Electric Corp Function logic verification for electronic circuit support system
JP2003076739A (en) * 2001-09-04 2003-03-14 Mitsubishi Electric Corp Apparatus, method and program for logical verification
CN102097859A (en) * 2010-09-02 2011-06-15 广东省电力调度中心 Power grid dispatching intelligentized and instruction informationized working platform
CN102638105A (en) * 2012-04-25 2012-08-15 广东电网公司珠海供电局 Online anti-maloperation sequential control method
CN102931727A (en) * 2012-10-22 2013-02-13 广东电网公司电力科学研究院 Topological anti-error check method of power dispatching master station type integrated intelligent anti-error system
CN103593809A (en) * 2013-12-03 2014-02-19 国家电网公司 Intelligent operation-ticket semanteme verification method of automatic power dispatching system
CN104133719A (en) * 2014-06-16 2014-11-05 贵州电网公司培训与评价中心 Deep evaluation method and device of work ticket simulation training in power system
CN104953707A (en) * 2015-05-26 2015-09-30 国网山东省电力公司青岛供电公司 Intelligent error prevention method and system for monitoring operation order
CN104966150A (en) * 2015-05-26 2015-10-07 国网山东省电力公司青岛供电公司 Intelligent anti-error analysis method and system
CN105302121A (en) * 2015-11-24 2016-02-03 积成电子股份有限公司 Sequential control operation order automatic anti-error check method based on simulation IED device
CN106483890A (en) * 2016-12-23 2017-03-08 国网浙江省电力公司衢州供电公司 A kind of regulation and control intelligent anti-error operation system based on operation ticket system
CN206075033U (en) * 2016-09-29 2017-04-05 国网重庆市电力公司电力科学研究院 A kind of intelligent substation sequence debugging emulation equipment based on anti-misoperation locking
CN107767122A (en) * 2017-11-09 2018-03-06 广东电网有限责任公司珠海供电局 A kind of electric operation ticket method of calibration

Patent Citations (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2000113006A (en) * 1998-09-30 2000-04-21 Mitsubishi Electric Corp Function logic verification for electronic circuit support system
JP2003076739A (en) * 2001-09-04 2003-03-14 Mitsubishi Electric Corp Apparatus, method and program for logical verification
CN102097859A (en) * 2010-09-02 2011-06-15 广东省电力调度中心 Power grid dispatching intelligentized and instruction informationized working platform
CN102638105A (en) * 2012-04-25 2012-08-15 广东电网公司珠海供电局 Online anti-maloperation sequential control method
CN102931727A (en) * 2012-10-22 2013-02-13 广东电网公司电力科学研究院 Topological anti-error check method of power dispatching master station type integrated intelligent anti-error system
CN103593809A (en) * 2013-12-03 2014-02-19 国家电网公司 Intelligent operation-ticket semanteme verification method of automatic power dispatching system
CN104133719A (en) * 2014-06-16 2014-11-05 贵州电网公司培训与评价中心 Deep evaluation method and device of work ticket simulation training in power system
CN104953707A (en) * 2015-05-26 2015-09-30 国网山东省电力公司青岛供电公司 Intelligent error prevention method and system for monitoring operation order
CN104966150A (en) * 2015-05-26 2015-10-07 国网山东省电力公司青岛供电公司 Intelligent anti-error analysis method and system
CN105302121A (en) * 2015-11-24 2016-02-03 积成电子股份有限公司 Sequential control operation order automatic anti-error check method based on simulation IED device
CN206075033U (en) * 2016-09-29 2017-04-05 国网重庆市电力公司电力科学研究院 A kind of intelligent substation sequence debugging emulation equipment based on anti-misoperation locking
CN106483890A (en) * 2016-12-23 2017-03-08 国网浙江省电力公司衢州供电公司 A kind of regulation and control intelligent anti-error operation system based on operation ticket system
CN107767122A (en) * 2017-11-09 2018-03-06 广东电网有限责任公司珠海供电局 A kind of electric operation ticket method of calibration

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111880029A (en) * 2020-07-09 2020-11-03 广东电网有限责任公司 Five-prevention testing device for spacer layer

Also Published As

Publication number Publication date
CN109709884B (en) 2020-08-04

Similar Documents

Publication Publication Date Title
Perry et al. Empirical studies of software engineering: a roadmap
CN109379251B (en) Automatic testing method and system for GOOSE and SV communication of relay protection device process layer
Weinstock et al. Measuring assurance case confidence using Baconian probabilities
CN104750603A (en) Multi-core DSP (Digital Signal Processor) software emulator and physical layer software testing method thereof
CN109150636A (en) A kind of intelligent substation of full link information stream is assisted to experimental tests method and system
CN109697903A (en) A kind of substation relay protection safety practical training method based on VR
CN110442043A (en) Satellite GNC system in real time-semi physical flexibility emulation test system
Chen et al. Characterization and evolution of emergency scenarios using hybrid Petri net
CN107767122A (en) A kind of electric operation ticket method of calibration
Ahmad et al. Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation
CN109709884A (en) A kind of anti-intelligent logical check system of electric power five and method
CN105823940A (en) Relay protection testing system and method
Zhang et al. The simulator experimental study on the operator reliability of Qinshan nuclear power plant
Abid et al. A Real-Time Specification Patterns Language
Shukla et al. An efficient Dijkstra’s semaphore based k-out-of-n Petri net voting model: An application to shutdown actuation system reliability
Karolak et al. Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems
CN107391812A (en) A kind of intelligent substation SCD loops method of calibration and device
Destro et al. A low-cost system for experiments with digital circuits
Rosé et al. Towards an interactive assessment framework for engineering design learning
CN108763039A (en) A kind of traffic failure analogy method, device and equipment
Jiang et al. A supervisory control strategy for the detection and restoration of power transmission failures during peak periods using Petri nets
Zhan et al. Analysis of the original cause of software distrust
Napolano et al. Preventing recurrence of industrial control system accident using assurance case
RU99622U1 (en) COMPREHENSIVE SIMULATOR OF EXTERNAL SYSTEMS FOR EXECUTING A SHIP'S CONTROL SYSTEM
Shi et al. Research on Conformance of Integrated Demand Response Communication Based on OpenADR

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