Control instruction verification method and device, electronic equipment, storage medium and program product

Abstract

The embodiment of the invention discloses a control instruction verification method and device, electronic equipment, a storage medium and a program product. The method comprises the following steps: constructing an allowable list and a forbidden list based on a fan control safety rule; constructing at least one security verification strategy based on at least one of the permission list, the forbidding list and the logical relationship between the permission list and the forbidding list; based on the at least one security verification strategy and the triggering condition corresponding to the at least one security verification strategy, constructing an overall security verification strategy expression; and for a control instruction to be issued to the fan, responding to a conversion instruction of the safety level requirement of the control instruction, and based on a trigger condition corresponding to the converted safety level requirement, determining a converted safety verification strategy from the overall safety verification strategy expression. According to the technical scheme provided by the embodiment of the invention, the quick verification of the control instruction can be realized after the security level requirement of the control instruction is converted.

Description

Technical Field

[0001] The embodiments of the present invention relate to the field of automatic control, and in particular to a control instruction verification method, device, electronic equipment, storage medium and program product. Background Art

[0002] As one of the main forms of renewable energy power generation, wind farms are rapidly becoming popular. At present, when issuing control instructions to wind turbines in wind farms, it is necessary to use safety verification strategies to perform safety verification on the control instructions to ensure the safety of the control instructions, thereby ensuring the safe operation of the wind turbines.

[0003] However, the security level requirements for control instructions are different in different application scenarios, so the required security verification strategies are also different. This requires that after the security level requirements are converted, it is necessary to convert to the corresponding security verification strategy in order to verify the control instructions based on the converted security verification strategy.

[0004] At present, the conversion of security verification strategies is mainly achieved through code construction, but this conversion process is time-consuming, which will directly affect the verification speed of control instructions and needs to be improved. Summary of the invention

[0005] The embodiments of the present invention provide a control instruction verification method, device, electronic device, storage medium and program product to realize fast verification of control instructions after the security level requirements of the control instructions are converted.

[0006] According to one aspect of the present invention, a control instruction verification method is provided, comprising:

[0007] Based on the wind turbine control safety rules, an allowed list and a prohibited list are constructed, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform;

[0008] Constructing at least one security verification strategy based on at least one of the allowed list, the forbidden list, and a logical relationship between the allowed list and the forbidden list;

[0009] Based on at least one security verification strategy and at least one trigger condition corresponding to each of the security verification strategies, an overall security verification strategy expression is constructed;

[0010] For the control instructions to be issued to the wind turbine, in response to the conversion instructions of the safety level requirements of the control instructions, based on the trigger conditions corresponding to the converted safety level requirements, the converted safety verification strategy is determined from the overall safety verification strategy expression to achieve safety verification of the control instructions based on the converted safety verification strategy.

[0011] According to another aspect of the present invention, there is provided a control instruction checking device, comprising:

[0012] A list construction module is used to construct an allowed list and a prohibited list based on the wind turbine control safety rules, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform;

[0013] A security verification strategy building module, used to build at least one security verification strategy based on at least one of an allowed list, a forbidden list, and a logical relationship between the allowed list and the forbidden list;

[0014] An overall security verification strategy expression construction module is used to construct an overall security verification strategy expression based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy;

[0015] The safety verification strategy determination module is used to determine the converted safety verification strategy from the overall safety verification strategy expression for the control instruction to be issued to the wind turbine in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger conditions corresponding to the converted safety level requirement, so as to realize the safety verification of the control instruction based on the converted safety verification strategy.

[0016] According to another aspect of the present invention, there is provided an electronic device, comprising:

[0017] at least one processor; and a memory in communication with the at least one processor; wherein,

[0018] The memory stores a computer program that can be executed by at least one processor. The computer program is executed by at least one processor so that the at least one processor executes any control instruction checking method provided by any embodiment of the present invention.

[0019] According to another aspect of the present invention, a computer-readable storage medium is provided, on which computer instructions are stored, and the computer instructions are used to enable a processor to implement any control instruction checking method provided by any embodiment of the present invention when executed.

[0020] According to another aspect of the present invention, a computer program product is provided, comprising: a computer program, wherein when the computer program is executed by a processor, the computer program implements any control instruction checking method provided by any embodiment of the present invention.

[0021] The technical solution of the embodiment of the present invention is to construct an allowed list and a prohibited list based on the wind turbine control safety rules, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited from performing, so that all allowed operations and prohibited operations are fully included through the allowed list and the prohibited list; at least one security verification strategy is constructed based on the allowed list, the prohibited list, and at least one of the logical relationships between the allowed list and the prohibited list, so as to construct security verification strategies corresponding to different security levels by logically combining the allowed list and the prohibited list; based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy, an overall security verification strategy expression is constructed, so that the security verification strategy is clearer, the complexity of the code is reduced, and it is easy to expand; for the control instruction to be issued to the wind turbine, in response to the conversion instruction of the security level requirement of the control instruction, based on the trigger condition corresponding to the converted security level requirement, the converted security verification strategy is determined from the overall security verification strategy expression, so as to realize the security verification of the control instruction based on the converted security verification strategy, and after the security level requirement is converted, it is only necessary to determine the converted security verification strategy from the overall security verification strategy expression, without the need to reconstruct the entire conditional judgment structure, which is easier to integrate and automate. The above technical solution determines the converted security verification strategy from the constructed overall security verification strategy expression based on the control instruction, and can realize the rapid verification of the control instruction after the security level requirement of the control instruction is converted.

[0022] It should be understood that the contents described in this section are not intended to identify the key or important features of the embodiments of the present invention, nor are they intended to limit the scope of the present invention. Other features of the present invention will become easily understood through the following description. BRIEF DESCRIPTION OF THE DRAWINGS

[0023] In order to more clearly illustrate the technical solutions in the embodiments of the present invention, the following briefly introduces the drawings required for use in the description of the embodiments. Obviously, the drawings described below are only some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without creative work.

[0024] Figure 1 is a flow chart of a control instruction verification method provided according to an embodiment of the present invention;

[0025] Figure 2 is a flow chart of another control instruction verification method provided according to an embodiment of the present invention;

[0026] Figure 3 is a safety protection flow chart of a specific example in another control instruction verification method provided in an embodiment of the present invention;

[0027] Figure 4 is a control instruction verification flow chart of a specific example in another control instruction verification method provided by an embodiment of the present invention;

[0028] Figure 5 is a structural block diagram of a control instruction verification device provided according to an embodiment of the present invention;

[0029] Figure 6 It is a structural schematic diagram of an electronic device for implementing the control instruction verification method of an embodiment of the present invention. DETAILED DESCRIPTION

[0030] In order to enable those skilled in the art to better understand the scheme of the present invention, the technical scheme in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments are only part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work should fall within the scope of protection of the present invention.

[0031] It should be noted that the terms "first", "second", etc. in the specification and claims of the present invention and the above-mentioned drawings are used to distinguish similar objects, and are not necessarily used to describe a specific order or sequence. It should be understood that the data used in this way can be interchangeable where appropriate, so that the embodiments of the present invention described herein can be implemented in an order other than those illustrated or described herein. The situations of "target", "original", etc. are similar and will not be repeated here. In addition, the terms "including" and "having" and any of their variations are intended to cover non-exclusive inclusions, for example, a process, method, system, product or device that includes a series of steps or units is not necessarily limited to those steps or units that are clearly listed, but may include other steps or units that are not clearly listed or inherent to these processes, methods, products or devices.

[0032] Figure 1 1 is a flow chart of a control instruction verification method provided by an embodiment of the present invention. This embodiment is applicable to the case where a control instruction is detected before being issued. The method can be executed by a control instruction verification device provided by an embodiment of the present invention, which can be implemented by software and / or hardware, and can be integrated in an electronic device, which can be various user terminals or servers.

[0033] See also Figure 1 The method of the embodiment of the present invention specifically includes the following steps:

[0034] S110. Based on the wind turbine control safety rules, construct an allowed list and a prohibited list, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform.

[0035] Among them, the wind turbine control safety rules can be understood as the safety rules that need to be followed when controlling the wind turbine in order to ensure the safety of the wind turbine operation. Optionally, the wind turbine control safety rules are obtained based on the internal system that reflects the operating status of the wind turbine and the external system that reflects the environmental status of the environment in which the wind turbine is located. Optionally, the internal system and the external system may include the wind turbine centralized control center equipment data interface, the site data acquisition and monitoring control (Supervisory Control And Data Acquisition, SCADA) system, the automatic generation control (Automatic Generation Control, AGC) system / Automatic Voltage Control (Automatic Voltage Control, AVC) system, weather forecast interface, power forecast data and enterprise asset management (Enterprise Asset Management, EAM) system, etc. The wind turbine control safety rules can cover multiple aspects such as operating frequency, wind turbine status, technical parameters, real-time indicators, communication status, meteorological conditions, power grid status, work ticket system, etc., to adapt to different safety requirements and operating environments, and ensure the legality and safety of wind turbine control operations.

[0036] Based on the wind turbine control safety rules, an allowed list recording the operations that the wind turbine is allowed to perform and a prohibited list recording the operations that the wind turbine is prohibited from performing may be constructed.

[0037] S120: Construct at least one security verification strategy based on the allowed list, the forbidden list, and at least one of the logical relationship between the allowed list and the forbidden list.

[0038] The safety verification strategy may be understood as a verification strategy for pre-safety verification of control instructions issued to the wind turbine, so as to prevent unsafe control instructions from controlling the wind turbine.

[0039] At least one security verification strategy can be constructed based on a logical relationship, such as AND / OR, based on the allowed list and the prohibited list. For example, the security verification strategy can be to verify only the allowed list, and only the control instructions on the allowed list can be executed to ensure the security of the control instructions to the greatest extent; to verify only the prohibited list, and all control instructions that are not on the prohibited list can be executed; to verify the allowed list first, then the prohibited list, and the control instruction can be executed if it is on the allowed list or not on the prohibited list; to verify the prohibited list first, then the allowed list, and the control instruction can be executed only if it is on the allowed list and not on the prohibited list, etc.

[0040] S130: construct an overall security verification strategy expression based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy.

[0041] The overall security verification strategy expression can be understood as an expression that includes all security verification strategies, from which the corresponding security verification strategy can be determined according to the security level requirements.

[0042] The trigger condition can be understood as the condition for the implementation of the security verification strategy. Only after the trigger condition is triggered can the corresponding security verification strategy be applied. The trigger condition and its corresponding security verification strategy can be combined one by one, and then the overall security verification strategy expression can be constructed based on all combinations. In this way, different security verification strategies can be selected according to the trigger condition.

[0043] S140. For the control instruction to be sent to the wind turbine, in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the safety level requirement after the conversion, determine the converted safety verification strategy from the overall safety verification strategy expression to implement safety verification of the control instruction based on the converted safety verification strategy.

[0044] Among them, for the control instruction to be sent to the wind turbine, a conversion instruction is responded to the safety level requirement of the control instruction. Optionally, the safety level requirement can be high, medium and low safety level requirements, and different safety level requirements correspond to different conversion instructions. Based on the trigger condition corresponding to the converted safety level requirement, the converted safety verification strategy is determined from the overall safety verification strategy expression. For example, the safety verification strategy corresponding to the trigger condition can be determined as the converted safety verification strategy, so as to realize the safety verification of the control instruction based on the converted safety verification strategy.

[0045] The technical solution of the embodiment of the present invention is to construct an allowed list and a prohibited list based on the wind turbine control safety rules, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited from performing, so that all allowed operations and prohibited operations are fully included through the allowed list and the prohibited list; at least one security verification strategy is constructed based on the allowed list, the prohibited list, and at least one of the logical relationships between the allowed list and the prohibited list, so as to construct security verification strategies corresponding to different security levels by logically combining the allowed list and the prohibited list; based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy, an overall security verification strategy expression is constructed, so that the security verification strategy is clearer, the complexity of the code is reduced, and it is easy to expand; for the control instruction to be issued to the wind turbine, in response to the conversion instruction of the security level requirement of the control instruction, based on the trigger condition corresponding to the converted security level requirement, the converted security verification strategy is determined from the overall security verification strategy expression, so as to realize the security verification of the control instruction based on the converted security verification strategy, and after the security level requirement is converted, it is only necessary to determine the converted security verification strategy from the overall security verification strategy expression, without the need to reconstruct the entire conditional judgment structure, which is easier to integrate and automate. The above technical solution determines the converted security verification strategy from the constructed overall security verification strategy expression based on the control instruction, and can realize the rapid verification of the control instruction after the security level requirement of the control instruction is converted.

[0046] An optional technical solution, based on at least one of an allowed list, a forbidden list, and a logical relationship between the allowed list and the forbidden list, constructs at least one security verification strategy, including: placing a control instruction in the allowed list as a security verification strategy for passing the verification; and / or placing a control instruction not in the forbidden list as a security verification strategy for passing the verification; and / or, when the logical relationship is or, placing a control instruction in the allowed list or placing the control instruction not in the forbidden list as a security verification strategy for passing the verification; and / or, when the logical relationship is and, placing a control instruction in the allowed list or placing the control instruction not in the forbidden list as a security verification strategy for passing the verification.

[0047] The above technical solution combines the allowed list and the prohibited list by utilizing logical relationships, thereby constructing multiple security verification strategies that can adapt to different security level requirements to meet different work requirements.

[0048] Another optional technical solution, after constructing the overall security verification strategy expression, also includes: constructing a new verification strategy expression based on the new verification strategy and the trigger conditions corresponding to the new verification strategy; based on the or relationship, combining the overall security verification strategy expression with the new verification strategy expression to update the overall security verification strategy expression.

[0049] Among them, the newly added verification strategy can be understood as a new security verification strategy formulated for the new security level requirements. Based on the newly added verification strategy and the trigger conditions corresponding to the newly added verification strategy, the newly added verification strategy expression can be constructed, and based on the relationship of or, the overall security verification strategy expression and the newly added verification strategy expression can be combined to update the overall security verification strategy expression.

[0050] The above technical solution can update the overall security verification strategy expression through simple logical combination when a new verification strategy appears, which makes it easy to integrate and expand the security verification strategy.

[0051] Figure 2 It is a flow chart of another control instruction verification method provided in an embodiment of the present invention. This embodiment is optimized based on the above-mentioned technical solutions. In this embodiment, optionally, based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy, an overall security verification strategy expression is constructed, including: for each security verification strategy in at least one security verification strategy, using logical variables to represent the security verification strategy and constructing a security verification strategy expression, and using control variables to represent the trigger condition corresponding to the security verification strategy and constructing a trigger condition expression; combining the security verification strategy expression and the trigger condition expression to obtain a security verification strategy expression; based on the relationship of or, combining all the obtained security verification strategy expressions to construct an overall security verification strategy expression. Among them, the explanations of the terms that are the same or corresponding to the above-mentioned embodiments are not repeated here.

[0052] See also Figure 2 The method of this embodiment may specifically include the following steps:

[0053] S210. Based on the wind turbine control safety rules, construct an allowed list and a prohibited list, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform.

[0054] S220: Construct at least one security verification strategy based on the allowed list, the forbidden list, and at least one of the logical relationship between the allowed list and the forbidden list.

[0055] S230. For each security verification strategy in at least one security verification strategy, use logical variables to represent the security verification strategy and construct a security verification strategy expression; and use control variables to represent the trigger condition corresponding to the security verification strategy and construct a trigger condition expression.

[0056] Among them, the logical variable can be understood as a variable used to characterize whether to check the allowed list and the forbidden list. Optionally, the logical variable includes a first logical variable and a second logical variable. The logical variables are used to represent the security verification strategy and construct a security verification strategy expression, including: using the first logical variable to represent that the control instruction is in the allowed list, and using the second logical variable to represent that the control instruction is in the forbidden list; using the first logical variable and the second logical variable to represent the security verification strategy and construct a security verification strategy expression. For example, the first logical variable A can be used to represent that the control instruction is in the allowed list, the second logical variable B can be used to represent that the control instruction is in the forbidden list, and the logical variable The control instruction is not in the allowed list, using a logical variable The characterization control instruction is not in the prohibited list, so A and B can be used to represent the security verification strategy and construct a security verification strategy expression.

[0057] The control variable can be understood as a variable that can control the meaning expressed by the variable according to the value of the variable. Optionally, the control variable includes a first control variable for indicating whether the security verification policy includes an allowed list, a second control variable for indicating whether the security verification policy includes a prohibited list, and a third control variable for indicating a logical relationship. The control variable is used to represent the trigger condition corresponding to the security verification policy, and a trigger condition expression is constructed, including: determining the trigger condition expression corresponding to the security verification policy based on the first control variable, the second control variable, and the third control variable. For example, the first control variable p can be used to represent whether the allowed list is considered, where the P value is 1 for yes and the P value is 0 for no; the second control variable q can be used to represent whether the prohibited list is considered, where the q value is 1 for yes and the q value is 0 for no; the third control variable r can be used to represent whether the logical relationship is a logical or a logical and, where the r value is 1 for logical or and the r value is 0 for logical and. By representing the trigger condition corresponding to the security verification policy through the control variable and constructing the trigger condition expression, the automation of the security verification policy selection can be better realized.

[0058] For each security verification strategy in at least one security verification strategy, the security verification strategy can be represented by a logical variable to construct a security verification strategy expression. For example, if the security verification strategy is that the control instruction must be in the allowed list and not in the prohibited list to be allowed, the logical variable A can be used to represent that the control instruction is in the allowed list, and the logical variable The control instruction is not in the prohibited list. The security verification strategy is represented by the control variables, and the trigger condition corresponding to the security verification strategy is represented by the control variables, and a trigger condition expression is constructed. For example, the trigger condition expression is constructed by using the control variables p, q and r, and whether the trigger condition expression is true is determined according to the values ​​of p, q and r.

[0059] S240: Combine the security verification policy expression and the trigger condition expression to obtain a security verification policy expression.

[0060] The security verification policy expression and the trigger condition expression may be combined, for example, by combining them through a logical AND relationship to obtain a security verification policy expression.

[0061] S250. Based on the relationship of or, all the obtained security verification strategy expressions are combined to construct an overall security verification strategy expression.

[0062] Among them, all the obtained security verification policy expressions can be combined based on the or relationship to construct an overall security verification policy expression, so that only one security verification policy expression in the overall security verification policy expression can be used at the same time, which can avoid the simultaneous use of multiple security verification policy expressions.

[0063] S260. For the control instruction to be sent to the wind turbine, in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the safety level requirement after the conversion, determine the converted safety verification strategy from the overall safety verification strategy expression to implement safety verification of the control instruction based on the converted safety verification strategy.

[0064] The technical solution of the embodiment of the present invention represents the security verification policy expression through logical variables and the trigger condition expression through control variables, and constructs an overall security verification policy expression. The security verification policy can be more clearly expressed through the overall security verification policy expression, and it is easier to realize the integration and automated verification of the security verification policy.

[0065] On this basis, optionally, the trigger conditions are the control variable values ​​corresponding to the first control variable, the second control variable and the third control variable respectively, and based on the trigger conditions corresponding to the converted security level requirements, the converted security verification strategy is determined from the overall security verification strategy expression, including: based on the control variable values ​​corresponding to the converted security level requirements, determining the trigger condition expression corresponding to the control variable values ​​from the overall security verification strategy expression; determining the converted security verification strategy based on the security verification policy expression corresponding to the trigger condition expression in the overall security verification strategy expression.

[0066] Among them, different control variable values ​​corresponding to different security level requirements can be determined by inputting different control variable values ​​to determine the trigger condition expression corresponding to the control variable value from the overall security verification strategy expression, and based on the security verification strategy expression corresponding to the trigger condition expression, determine the converted security verification strategy.

[0067] The above technical solution can realize the rapid conversion of the safety verification strategy by only inputting the value of the corresponding control variable, without reconstructing the entire conditional judgment structure, thereby realizing the rapid conversion of the safety verification strategy.

[0068] In order to better understand the above-mentioned technical solutions, the following is an exemplary description with reference to specific examples. In this specific example, the safety protection flow chart is as follows Figure 3 As shown, the control instruction verification system is deployed in the control center console, and the control instruction bypass pre-check connection method is used to perform control instruction verification (pre-check) operations on the control instructions. The control safety protection system includes a control instruction verification strategy for instruction verification, which is recorded through logs, and then the verification results fed back by the pre-check are fed back to the control center console. The verification results are of two types: "pass" and "reject". If the verification passes, a prompt message indicating that the verification passed will be returned. At this time, if there are relevant operating precautions or warnings, they will also be returned to the operator. If the verification is rejected, detailed rejection information will be returned to the control center console. The operator can decide whether to confirm the situation and execute again or directly refuse to execute based on the prompt information. If the operator decides to confirm the situation and execute again, he can resend the control instruction with confirmation information after confirming the situation within 1 hour. At this time, the verification result will be updated to "pass", and the control instruction value SCADA system will be issued according to the verification result. The control instruction verification flow chart of this specific example is shown as follows Figure 4 As shown, the specific steps are as follows:

[0069] Step 1: Pull rule-dependent data

[0070] Based on the wind turbine centralized control center equipment data interface, SCADA system, AGC / AVC, weather forecast interface, power forecast data and EAM system, etc. Obtain the rule-dependent data of wind turbine control operation frequency, wind turbine status, technical parameters, real-time indicators, communication status, meteorological conditions, power grid status, work ticket system and other aspects.

[0071] Step 2: Construct wind turbine control safety rules based on rule-dependent data

[0072] Wind turbine control safety rules include general logic rules, wind turbine system safety rules and external environment status safety rules, among which:

[0073] 1. General logical rules

[0074] These rules define basic general logic rules.

[0075] (1) Instruction Check Public Rules

[0076] This class of rules defines common processing rules during control instruction inspection.

[0077] Rule example: When a control instruction is rejected in the initial verification, the user resends the same control instruction with confirmation information within 1 hour, and the verification result is passed.

[0078] (2) Operation frequency limit rules

[0079] Such rules limit the frequency and conditions of operation to prevent improper operation or equipment damage.

[0080] Rule example: When the same control instruction is repeatedly issued within the preset period of the rule, the verification result is rejection.

[0081] 2. Safety rules for fan main system

[0082] This type of rules checks the safety of executing control instructions based on the basic operating status, technical parameters and real-time indicator status of the wind turbine and its system. It is divided into the following subcategories:

[0083] (1) Fan status safety rules

[0084] This type of rule checks the safety of executing control instructions based on the basic operating status of the wind turbine, such as whether it is in operation, shutdown, maintenance or fault status. The data source is the site SCADA system and centralized wind turbine data.

[0085] Rule example: When the fan is in maintenance (overhaul and other listing) status, start, stop, adjust power, and reset control commands are issued, and the verification result is rejection.

[0086] (2) Technical parameter safety rules

[0087] These rules are based on the preset technical parameters of the wind turbine, such as the preset speed and pitch angle threshold of the wind turbine, to check the safety of executing control instructions. The data sources are the site SCADA system, centralized wind turbine data and EAM system.

[0088] Rule example: When the speed control instruction is not within the speed range specified by the technology, the verification result is rejection.

[0089] (3) Real-time indicator security rules

[0090] This type of rule is based on the real-time indicator status of the wind turbine and related systems, such as the value of a certain indicator, the opening and locking status, to check the safety of executing control instructions. The data source is the site SCADA system and the centralized control wind turbine data.

[0091] Rule example: When the fan oil pressure is abnormal, a start or power adjustment command is issued, and the verification result is rejected.

[0092] 3. External environment status security rules

[0093] This type of rules checks the safety of executing control instructions based on external environmental conditions, such as weather conditions and communication network status. It is divided into the following subcategories:

[0094] (1) Communication status security rules

[0095] This type of rule relies on the data source being the site SCADA system and centralized wind turbine data.

[0096] When the communication link between the centralized control center and the station is interrupted, a control instruction is issued and the verification result is rejection.

[0097] (2) Safety rules for weather conditions

[0098] This type of rule relies on the data sources of site power prediction data and centralized control power prediction data.

[0099] When meteorological conditions are not suitable for operation (such as high wind speed or freezing temperature), any control command to increase the load will be rejected as a result of the verification.

[0100] Rule example: When a lightning activity warning is issued, a start command for the wind turbine is issued, and the verification result is rejected.

[0101] (3) Grid status safety rules

[0102] This type of rule relies on the data source being the site AGC / AVC and centralized control AGC / AVC data.

[0103] Rule example: When the grid frequency is unstable, non-emergency operations (non-fault start and stop, adjusting the angle of the fan blades, adjusting the power) are performed and the verification result is rejected.

[0104] (4) Work Ticket System Rules

[0105] This type of rule relies on the data source being the EAM system.

[0106] Rule example: When there is work content for the fan in the work ticket system, a start-up command is issued. If the verification result is rejected, the operator is prompted to pay attention to the safety of on-site workers.

[0107] Step 3: Build an allowed list and a prohibited list based on the wind turbine control security rules, and build a security verification strategy expression based on the allowed list and the prohibited list

[0108] The logical variable A is used to indicate whether the control instruction is in the allowed list. A indicates that it is in. Indicates not in; logical variable B is used to indicate whether the control instruction is in the prohibited list, B indicates in, Indicates absence. Security verification strategies include:

[0109] (1) Verify only the allowed list

[0110] Expression: A

[0111] Explanation: Only control instructions in the allowed list are allowed. Applicable to environments that only allow predefined operations and have high security requirements.

[0112] Computational efficiency: Efficient, especially when the number of allowlist rules is small.

[0113] Application scenarios: Applicable to key operations of wind farms, ensuring that only strictly verified and authorized commands can be executed, suitable for operating environments with high security requirements.

[0114] (2) Verify only non-banned lists

[0115] expression:

[0116] Explanation: As long as the control instruction is not in the prohibited list, it is allowed. It is suitable for mainly preventing known dangerous or non-compliant operations, and there is no strict restriction on other operations.

[0117] Operational efficiency: Efficient, especially when the number of banlist rules is small.

[0118] Application scenario: Applicable to the daily operation of wind farms, only blocking specific dangerous or non-compliant operations, suitable for operating environments with medium safety requirements.

[0119] (3) Allow list priority

[0120] ①Logical or non-ban list:

[0121] expression:

[0122] Explanation: If the control instruction is in the allowed list (A), or not in the prohibited list This method is applicable to the operation in the allowed list being allowed first, but if it is not in the allowed list, it is also allowed as long as it is not in the prohibited list.

[0123] Operational efficiency: It may be less efficient because it needs to check two lists, but the check can be terminated when any condition is met.

[0124] Application scenario: Applicable to the daily operation of wind farms, while ensuring that key operations still comply with the requirements of the allowable list, suitable for operating environments with medium security requirements.

[0125] ②Logic and non-ban list:

[0126] expression:

[0127] Explanation: The control instruction must be in the allowed list (A) and not in the prohibited list. This method is suitable for environments that require strict control to ensure that all allowed operations are very safe.

[0128] Operational efficiency: It may be less efficient because it needs to check two lists, but the check can be terminated when any condition is met.

[0129] Application scenarios: Applicable to key operations of wind farms, such as startup, emergency shutdown and system restart, ensuring that all operations are performed under the highest safety standards and suitable for operating environments with the highest safety requirements.

[0130] (4) Priority is given to non-banned lists

[0131] ①Logical or allow list:

[0132] expression:

[0133] Explanation: If the control instruction is not in the prohibited list Or if it is in the allowed list (A), then the operation is allowed. This method is suitable for mainly blocking operations in the banned list, but if the operation is in the allowed list, it will also be allowed.

[0134] Computational efficiency: The efficiency is low, and it is necessary to ensure that the operation meets two conditions at the same time.

[0135] Application scenarios: Applicable to daily operations of wind farms, such as power adjustment, ensuring that all known high-risk operations are blocked while allowing all safe and necessary operations, suitable for operating environments with medium and high safety requirements.

[0136] ②Logic and allow list:

[0137] expression:

[0138] Explanation: Control instructions must not be in the banned list at the same time And it is only allowed if it is in the allowed list (A). This method is suitable for strict environments that consider both the allowed list and the banned list.

[0139] Computational efficiency: The efficiency is low, and it is necessary to ensure that the operation meets two conditions at the same time.

[0140] Application scenarios: Applicable to critical operations of wind farms, such as startup, emergency shutdown, and system restart, ensuring that the measures taken in an emergency are safe and approved, suitable for operating environments with the highest safety requirements.

[0141] The expressions of the 6 working modes are A, According to the commutative law of logic, Equivalent to Equivalent to So it can be simplified to A, These 4 modes.

[0142] Step 4: Construct the trigger condition expression

[0143] 1. Introducing control variables

[0144] p: whether to consider the allow list (1 for yes, 0 for no).

[0145] q: Whether to consider the ban list (1 for yes, 0 for no).

[0146] r: Select logical OR or logical AND (1 means logical OR, 0 means logical AND).

[0147] 2. Construct the trigger condition expression

[0148] Different security verification strategy expressions are represented by setting different values ​​for p, q, and r.

[0149] When the safety verification strategy expression is A, the control variables p=1, q=0, r=1. At this time, the trigger condition expression is true, and all other trigger condition expressions are false.

[0150] The security verification strategy expression is When the control variables p=0, q=1, r=1, the trigger condition expression is true, and all other trigger condition expressions are false.

[0151] The security verification strategy expression is , the control variables p=1, q=1, r=1. At this time, the trigger condition expression r∧p∧q is true, and the other trigger condition expressions are false.

[0152] The security verification strategy expression is When the control variables p=1, q=1, r=0, the trigger condition expression is is true, and all other trigger condition expressions are false.

[0153] Step 5: Construct the overall security verification strategy expression

[0154] Combine the security verification strategy expression and the corresponding trigger condition expression, and combine each pair of combinations using the logical relationship of OR to obtain the following overall security verification strategy expression:

[0155]

[0156] Step 6: Verify control instructions based on the overall safety verification strategy expression

[0157] Based on the safety level requirements, the corresponding control variable value is input, the safety verification strategy expression is determined from the overall safety verification strategy expression, and the corresponding safety verification strategy is executed. Based on the safety verification strategy, it is determined whether the control instruction has passed the verification.

[0158] In this specific example, by constructing an overall security verification strategy expression, it is possible to implement rapid verification of control instructions after the security level requirements of the control instructions are converted.

[0159] Figure 5 This is a structural block diagram of a control instruction verification device provided in an embodiment of the present invention, and the device is used to execute the control instruction verification method provided in any of the above embodiments. The device and the control instruction verification method of the above embodiments belong to the same inventive concept, and the details not described in detail in the embodiment of the control instruction verification device can be referred to the embodiment of the above control instruction verification method. Figure 5 The device may specifically include: a list construction module 310, a security verification strategy construction module 320, an overall security verification strategy expression construction module 330 and a security verification strategy determination module 340, wherein:

[0160] A list construction module 310 is used to construct an allowed list and a prohibited list based on the wind turbine control safety rules, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform;

[0161] A security verification strategy building module 320, configured to build at least one security verification strategy based on at least one of an allowed list, a forbidden list, and a logical relationship between the allowed list and the forbidden list;

[0162] An overall security verification strategy expression construction module 330 is used to construct an overall security verification strategy expression based on at least one security verification strategy and at least one trigger condition corresponding to each security verification strategy;

[0163] The safety verification strategy determination module 340 is used to determine the converted safety verification strategy from the overall safety verification strategy expression for the control instruction to be sent to the wind turbine in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the converted safety level requirement, so as to realize the safety verification of the control instruction based on the converted safety verification strategy.

[0164] An optional security verification strategy building module 320 includes:

[0165] The first security verification strategy construction submodule is used to place the control instruction in the allowed list to pass the verification as a security verification strategy; and / or,

[0166] The second security verification strategy construction submodule is used to determine that the control instruction is not in the prohibited list and passes the verification as a security verification strategy; and / or,

[0167] The third security verification strategy construction submodule is used to, when the logical relationship is "or", consider the control instruction to be in the allowed list or the control instruction not to be in the prohibited list as passed verification, as a security verification strategy; and / or,

[0168] The fourth security verification strategy construction submodule is used to, when the logical relationship is AND, regard the control instruction being in the allowed list and the control instruction being not in the prohibited list as passed verification as a security verification strategy.

[0169] Another optional overall security verification strategy expression building module 330 includes:

[0170] A trigger condition expression construction submodule is used to, for each security verification strategy in at least one security verification strategy, use logical variables to represent the security verification strategy and construct a security verification strategy expression, and use control variables to represent the trigger condition corresponding to the security verification strategy and construct a trigger condition expression;

[0171] A security verification strategy expression obtaining submodule is used to combine the security verification strategy expression and the trigger condition expression to obtain the security verification strategy expression;

[0172] The overall security verification strategy expression construction submodule is used to combine all the obtained security verification strategy expressions based on the relationship of or to construct the overall security verification strategy expression.

[0173] On this basis, optionally, the logical variable includes a first logical variable and a second logical variable, and the trigger condition expression constructing submodule includes:

[0174] A list characterization unit, used to characterize that the control instruction is in the allowed list using a first logic variable, and to characterize that the control instruction is in the prohibited list using a second logic variable;

[0175] The security verification strategy expression construction unit is used to express the security verification strategy by using the first logical variable and the second logical variable to construct a security verification strategy expression.

[0176] Alternatively, the control variables include a first control variable for indicating whether the security verification policy includes an allowed list, a second control variable for indicating whether the security verification policy includes a prohibited list, and a third control variable for indicating a logical relationship, and the trigger condition expression construction submodule includes:

[0177] The trigger condition expression determination unit is used to determine the trigger condition expression corresponding to the safety verification strategy based on the first control variable, the second control variable and the third control variable.

[0178] On this basis, optionally, the triggering condition is the control variable values ​​corresponding to the first control variable, the second control variable and the third control variable respectively, and the safety verification strategy determination module 340 includes:

[0179] A trigger condition expression determination submodule is used to determine a trigger condition expression corresponding to the control variable value from the overall safety verification strategy expression based on the control variable value corresponding to the converted safety level requirement;

[0180] The security verification strategy determination submodule is used to determine the converted security verification strategy based on the security verification strategy expression corresponding to the trigger condition expression in the overall security verification strategy expression.

[0181] Alternatively, the control instruction verification device further includes:

[0182] A new verification strategy expression building module is added, which is used to build a new verification strategy expression based on the new verification strategy and the trigger conditions corresponding to the new verification strategy;

[0183] The overall security verification strategy expression update module is used to combine the overall security verification strategy expression with the newly added verification strategy expression based on the relationship of or to update the overall security verification strategy expression.

[0184] Alternatively, the wind turbine control safety rules are obtained based on an internal system that reflects the operating status of the wind turbine and an external system that reflects the environmental status of the environment in which the wind turbine is located.

[0185] The control instruction verification device provided in the embodiment of the present invention constructs an allowed list and a prohibited list based on the wind turbine control safety rules through a list construction module, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited from performing, so that all allowed operations and prohibited operations are fully included through the allowed list and the prohibited list; constructs at least one security verification strategy based on the allowed list, the prohibited list, and at least one of the logical relationships between the allowed list and the prohibited list through a security verification strategy construction module, so as to construct security verification strategies corresponding to different security levels by logically combining the allowed list and the prohibited list; constructs a security verification strategy based on at least one security verification strategy and At least one safety verification strategy corresponds to a trigger condition, and an overall safety verification strategy expression is constructed, which makes the safety verification strategy clearer, reduces the complexity of the code, and is easy to expand; through the safety verification strategy determination module, for the control instruction to be sent to the wind turbine, in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the converted safety level requirement, the converted safety verification strategy is determined from the overall safety verification strategy expression, so as to realize the safety verification of the control instruction based on the converted safety verification strategy. After the safety level requirement is converted, it is only necessary to determine the converted safety verification strategy from the overall safety verification strategy expression, and there is no need to reconstruct the entire conditional judgment structure, which is easier to integrate and automate. The above-mentioned device, based on the control instruction, determines the converted safety verification strategy from the constructed overall safety verification strategy expression, and can realize the rapid verification of the control instruction after the safety level requirement of the control instruction is converted.

[0186] The control instruction verification device provided in the embodiment of the present invention can execute the control instruction verification method provided in any embodiment of the present invention, and has the corresponding functional modules and beneficial effects of the execution method.

[0187] It is worth noting that in the embodiment of the above-mentioned control instruction verification device, the various units and modules included are only divided according to functional logic, but are not limited to the above-mentioned division, as long as the corresponding functions can be achieved; in addition, the specific names of the functional units are only for the convenience of distinguishing each other, and are not used to limit the scope of protection of the present invention.

[0188] Figure 6 A schematic diagram of the structure of an electronic device 10 that can be used to implement an embodiment of the present invention is shown. The electronic device is intended to represent various forms of digital computers, such as laptop computers, desktop computers, workstations, personal digital assistants, servers, blade servers, mainframe computers, and other suitable computers. The electronic device can also represent various forms of mobile devices, such as personal digital processing, cellular phones, smart phones, wearable devices (such as helmets, glasses, watches, etc.) and other similar computing devices. The components shown herein, their connections and relationships, and their functions are merely examples and are not intended to limit the implementation of the present invention described and / or required herein.

[0189] like Figure 6 As shown, the electronic device 10 includes at least one processor 11, and a memory connected to the at least one processor 11, such as a read-only memory (ROM) 12, a random access memory (RAM) 13, etc., wherein the memory stores a computer program that can be executed by at least one processor, and the processor 11 can perform various appropriate actions and processes according to the computer program stored in the read-only memory (ROM) 12 or the computer program loaded from the storage unit 18 to the random access memory (RAM) 13. In the RAM 13, various programs and data required for the operation of the electronic device 10 can also be stored. The processor 11, ROM 12 and RAM 13 are connected to each other through a bus 14. An input / output (I / O) interface 15 is also connected to the bus 14.

[0190] A number of components in the electronic device 10 are connected to the I / O interface 15, including: an input unit 16, such as a keyboard, a mouse, etc.; an output unit 17, such as various types of displays, speakers, etc.; a storage unit 18, such as a disk, an optical disk, etc.; and a communication unit 19, such as a network card, a modem, a wireless communication transceiver, etc. The communication unit 19 allows the electronic device 10 to exchange information / data with other devices through a computer network such as the Internet and / or various telecommunication networks.

[0191] The processor 11 may be a variety of general and / or special processing components with processing and computing capabilities. Some examples of the processor 11 include, but are not limited to, a central processing unit (CPU), a graphics processing unit (GPU), various special artificial intelligence (AI) computing chips, various processors running machine learning model algorithms, a digital signal processor (DSP), and any appropriate processor, controller, microcontroller, etc. The processor 11 executes the various methods and processes described above, such as a control instruction verification method.

[0192] In some embodiments, the control instruction verification method may be implemented as a computer program, which is tangibly contained in a computer-readable storage medium, such as a storage unit 18. In some embodiments, part or all of the computer program may be loaded and / or installed on the electronic device 10 via the ROM 12 and / or the communication unit 19. When the computer program is loaded into the RAM 13 and executed by the processor 11, one or more steps of the control instruction verification method described above may be performed. Alternatively, in other embodiments, the processor 11 may be configured to execute the control instruction verification method in any other appropriate manner (e.g., by means of firmware).

[0193] Various implementations of the systems and techniques described above herein can be implemented in digital electronic circuit systems, integrated circuit systems, field programmable gate arrays (FPGAs), application specific integrated circuits (ASICs), application specific standard products (ASSPs), systems on chips (SOCs), load programmable logic devices (CPLDs), computer hardware, firmware, software, and / or combinations thereof. These various implementations can include: being implemented in one or more computer programs that can be executed and / or interpreted on a programmable system including at least one programmable processor, which can be a special purpose or general purpose programmable processor that can receive data and instructions from a storage system, at least one input device, and at least one output device, and transmit data and instructions to the storage system, the at least one input device, and the at least one output device.

[0194] Computer programs for implementing the methods of the present invention may be written in any combination of one or more programming languages. These computer programs may be provided to a processor of a general-purpose computer, a special-purpose computer, or other programmable data processing device, so that when the computer program is executed by the processor, the functions / operations specified in the flow chart and / or block diagram are implemented. The computer program may be executed entirely on the machine, partially on the machine, partially on the machine as a stand-alone software package and partially on a remote machine, or entirely on a remote machine or server.

[0195] In the context of the present invention, a computer-readable storage medium may be a tangible medium that may contain or store a computer program for use by or in combination with an instruction execution system, device or equipment. A computer-readable storage medium may include, but is not limited to, electronic, magnetic, optical, electromagnetic, infrared, or semiconductor systems, devices or equipment, or any suitable combination of the foregoing. Alternatively, a computer-readable storage medium may be a machine-readable signal medium. A more specific example of a machine-readable storage medium may include an electrical connection based on one or more lines, a portable computer disk, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disk read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

[0196] To provide interaction with a user, the systems and techniques described herein may be implemented on an electronic device having: a display device (e.g., a CRT (cathode ray tube) or LCD (liquid crystal display) monitor) for displaying information to the user; and a keyboard and a pointing device (e.g., a mouse or trackball) through which the user can provide input to the electronic device. Other types of devices may also be used to provide interaction with the user; for example, the feedback provided to the user may be any form of sensory feedback (e.g., visual feedback, auditory feedback, or tactile feedback); and input from the user may be received in any form (including acoustic input, voice input, or tactile input).

[0197] The systems and techniques described herein may be implemented in a computing system that includes backend components (e.g., as a data server), or a computing system that includes middleware components (e.g., an application server), or a computing system that includes frontend components (e.g., a user computer with a graphical user interface or a web browser through which a user can interact with implementations of the systems and techniques described herein), or a computing system that includes any combination of such backend components, middleware components, or frontend components. The components of the system may be interconnected by any form or medium of digital data communication (e.g., a communication network). Examples of communication networks include: a local area network (LAN), a wide area network (WAN), a blockchain network, and the Internet.

[0198] A computing system may include a client and a server. The client and the server are generally remote from each other and usually interact through a communication network. The client and server relationship is generated by computer programs running on the corresponding computers and having a client-server relationship with each other. The server may be a cloud server, also known as a cloud computing server or cloud host, which is a host product in the cloud computing service system to solve the defects of difficult management and weak business scalability in traditional physical hosts and VPS services.

[0199] It should be understood that the various forms of processes shown above can be used to reorder, add or delete steps. For example, the steps described in the present invention can be executed in parallel, sequentially or in different orders, as long as the desired results of the technical solution of the present invention can be achieved, and this document does not limit this.

[0200] The above specific implementations do not constitute a limitation on the protection scope of the present invention. It should be understood by those skilled in the art that various modifications, combinations, sub-combinations and substitutions can be made according to design requirements and other factors. Any modification, equivalent substitution and improvement made within the spirit and principle of the present invention should be included in the protection scope of the present invention.

Claims

1. A control instruction verification method, characterized in that: include: Based on the wind turbine control safety rules, an allowed list and a prohibited list are constructed, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited to perform; constructing at least one security verification strategy based on at least one of the allowed list, the forbidden list, and a logical relationship between the allowed list and the forbidden list; Based on the at least one security verification strategy and the trigger conditions respectively corresponding to the at least one security verification strategy, construct an overall security verification strategy expression; For the control instruction to be issued to the wind turbine, in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the converted safety level requirement, the converted safety verification strategy is determined from the overall safety verification strategy expression to implement safety verification of the control instruction based on the converted safety verification strategy.

2. The method according to claim 1, characterized in that The constructing at least one security verification strategy based on at least one of the allowed list, the prohibited list, and a logical relationship between the allowed list and the prohibited list comprises: The control instruction is placed in the allowed list to pass the verification as a security verification strategy; and / or, The control instruction is not in the forbidden list, which is considered as passing the verification, as the security verification strategy; and / or, In the case where the logical relationship is "or", the control instruction is in the allowed list or the control instruction is not in the prohibited list, which is considered to be passed as the security verification strategy; and / or, In the case where the logical relationship is AND, the control instruction being in the allowed list and the control instruction not being in the prohibited list are considered as passed verification, which is used as the security verification strategy.

3. The method according to claim 1, characterized in that The constructing of an overall security verification strategy expression based on the at least one security verification strategy and the triggering conditions respectively corresponding to the at least one security verification strategy comprises: For each of the at least one security verification strategy, using a logical variable to represent the security verification strategy, constructing a security verification strategy expression, and using a control variable to represent a trigger condition corresponding to the security verification strategy, constructing a trigger condition expression; Combining the security verification strategy expression and the trigger condition expression to obtain a security verification strategy expression; Based on the relationship of or, all the obtained security verification strategy expressions are combined to construct an overall security verification strategy expression.

4. The method according to claim 3, characterized in that The logical variable includes a first logical variable and a second logical variable. The security verification strategy is represented by using the logical variables to construct a security verification strategy expression, including: Using the first logical variable to indicate that the control instruction is in the allowed list, and using the second logical variable to indicate that the control instruction is in the prohibited list; The security verification strategy is represented by using the first logical variable and the second logical variable to construct a security verification strategy expression.

5. The method according to claim 3, characterized in that: The control variables include a first control variable for indicating whether the security verification policy includes the allowed list, a second control variable for indicating whether the security verification policy includes the prohibited list, and a third control variable for indicating the logical relationship. The control variables are used to indicate the trigger condition corresponding to the security verification policy to construct a trigger condition expression, including: A trigger condition expression corresponding to the safety verification strategy is determined based on the first control variable, the second control variable, and the third control variable.

6. The method according to claim 5, characterized in that The trigger condition is the control variable values ​​corresponding to the first control variable, the second control variable, and the third control variable, respectively. The trigger condition corresponding to the converted security level requirement is used to determine the converted security verification strategy from the overall security verification strategy expression, including: Based on the control variable value corresponding to the converted security level requirement, determining a trigger condition expression corresponding to the control variable value from the overall security verification strategy expression; Based on the security verification policy expression corresponding to the trigger condition expression in the overall security verification policy expression, a converted security verification policy is determined.

7. The method according to claim 1, characterized in that After the overall security verification strategy expression is constructed, the following is also included: Based on the newly added verification strategy and the triggering condition corresponding to the newly added verification strategy, construct a newly added verification strategy expression; Based on the relationship of or, the overall security verification strategy expression is combined with the newly added verification strategy expression to update the overall security verification strategy expression.

8. The method according to claim 1, characterized in that The wind turbine control safety rules are obtained based on an internal system reflecting the operating state of the wind turbine and an external system reflecting the environmental state of the environment in which the wind turbine is located.

9. A control instruction verification device, characterized in that: include: A list construction module, used to construct an allowed list and a prohibited list based on the wind turbine control safety rules, wherein the allowed list records the operations that the wind turbine is allowed to perform, and the prohibited list records the operations that the wind turbine is prohibited from performing; A security verification strategy building module, used to build at least one security verification strategy based on at least one of the allowed list, the forbidden list, and a logical relationship between the allowed list and the forbidden list; An overall security verification strategy expression construction module, used to construct an overall security verification strategy expression based on the at least one security verification strategy and the trigger conditions respectively corresponding to the at least one security verification strategy; A safety verification strategy determination module is used to determine the converted safety verification strategy from the overall safety verification strategy expression for the control instruction to be issued to the wind turbine in response to the conversion instruction of the safety level requirement of the control instruction, based on the trigger condition corresponding to the converted safety level requirement, so as to realize the safety verification of the control instruction based on the converted safety verification strategy.

10. An electronic device, characterized in that: include: at least one processor; as well as a memory communicatively connected to the at least one processor; wherein, The memory stores a computer program executable by the at least one processor, and the computer program is executed by the at least one processor so that the at least one processor executes the control instruction checking method according to any one of claims 1 to 8.

11. A computer-readable storage medium, characterized in that: The computer-readable storage medium stores computer instructions, and the computer instructions are used to enable a processor to implement the control instruction verification method as described in any one of claims 1 to 8 when executed.

12. A computer program product, characterized in that include: A computer program, wherein when the computer program is executed by a processor, the control instruction checking method according to any one of claims 1 to 8 is implemented.

Images