35 results about "Function block diagram" patented technology

A cause and effect function block, which can be easily integrated into a function block diagram programming environment in a process plant safety system to implement the cause and effect logic specified by a traditional cause and effect matrix, includes a set of cause inputs and a set of effect outputs. A multiplexer within the cause and effect function block receives each of the cause inputs and is coupled to one or more state machines, with a separate state machine existing for each effect output. The multiplexer decodes each of the cause inputs and, based on the cause inputs and previously identified cause and effect matrix logic, provides a trip signal to one or more of the state machines. Upon receiving a trip signal, a state machine forces an associated effect output into a tripped or safe state. If desired, the state machine may then use one or more other signals, such as signals from a user or from the process, to transition between a set of different states used to safely return the process plant back to the normal operating state from the tripped or safe state.

The present invention discloses a method for automatically generating a testing case on the basis of a function block diagram testing module, which comprises the steps of: extracting an input, an output, a logic relation and a constraint relation in a requirement specification of embedded software and according to the input, the output, the logic relation and the constraint relation in the requirement specification of the software, establishing the function block diagram testing module based on a similar function block diagram language; establishing a conversion rule for converting the function block diagram testing module into a data combination table; extracting basic data from the function block diagram testing module and then on the basis of the basic data, carrying out data derivation according to the conversion rule so as to convert the function block diagram testing module into the data combination table; and according to the data combination table, generating the testing case. The method has the advantages of high testing efficiency, high testing case quality, excellent sensitivity for a timing relationship, excellent sensitivity for the boundary, excellent sensitivity for operative logic and capacity for identifying a transfer relationship between a state and a state of the software.

A method for displaying a control system comprising, receiving a function block diagram file including a function block having an associated logic function, receiving an animation instruction associated with the function block, receiving system data from a system controller, receiving a first graphic associated with the logic function from a function block library, processing the first graphic and the system data according to the animation instruction to render an updated first graphic reflecting the systems data, and displaying the function block and the rendered updated first graphic associated with the logic function.

The invention provides a programming language conversion system of a programmable logic controller. The programming language conversion system comprises an abstract syntax tree conversion module, a ladder diagram conversion module, a function block diagram conversion module, a sequence function table-diagram conversion module, a structured text conversion module, an instruction table conversion module, and an ICIL intermediate structure conversion module. With the programming language conversion system, unified conversion of the IEC 61131-3 language is realized; a phenomenon that a corresponding transplanting code is compiled for each kind of PLC language during the process of development and transplantation of PLC products of different manufacturers is avoided; and the intermediate-language-based formal modeling, analysis and verification work can be carried out deeply.

Control systems, safety systems, etc. within a refinery can each use one or more state machine function blocks that can be easily integrated in a function block diagrammatic programming environment. Such a state machine functional block may include one or more inputs that may or may not cause the state machine implemented by the state machine functional block to change state. The state machine functional block may also include a plurality of outputs. Output configuration data associated with a function block may indicate an output value of the function block at each state of the state machine. The state machine function block can use this output configuration data to determine its output when it is in a particular state.

A control system, a safety system, etc., within a process plant may each use one or more state machine function blocks that can be easily integrated into a function block diagram programming environment. Such a state machine function block may include one or more inputs, which may cause a state machine implemented by the state machine function block to identify a next state as well as one or more transition actions to perform in accordance with transitioning from a current state to the next state. Configuration data associated with the transition actions may be retrieved from a database based on the current and next states of the state machine and at least one of the inputs. The state machine function block may also include one or more outputs that are generated based on the state transition.

The invention provides a metadata model based function block diagram online debugging method. The method includes a) packaging typical real time data point and related essential properties thereof inan industrial control process into a metadata model having a uniform structure; b) based on the metadata model, defining and realizing different kinds of function blocks; c) introducing primitive information elements of the different function blocks on the basis of control command sets and metadata sets; d) generating an algorithm configuration file based on the above configuration file structureby configuration software and implementing an online monitoring function in online debugging through downloading and running the algorithm configuration file in an industrial controller and reading the metadata sets in the algorithm configuration file periodically; e) implementing an online value setting function through modifying the metadata sets by the configuration software. By adopting the method provided by the invention, communication efficiency is improved, safety of real time control data is improved and great convenience is provided for online real time debugging of control strategies.

The invention discloses a function block ordering method on the basis of the information flow, which mainly comprises the following steps: according to the information flow direction between function blocks in a function block diagram, determining an initial function block and a currently positioned function block by combining a spatial position of each function block in the function block diagram, wherein a mode of combining a mode from top to bottom with a mode from left to right is specifically adopted and a loop line for connecting the initial and tail function blocks is ignored in the ordering process; and then sequentially traversing input ends and output ends of the currently positioned function blocks from top to bottom, so that the complete ordering process is clear and accords with the information flow direction between the function blocks, and therefore, an accurate execution sequence which accords with the internal control logic can be generated and the safety of the field production is ensured.

The invention discloses a PLC program verification system based on an intermediate language, comprising an intermediate language conversion module, a migration system construction module, a property verification module and a verification result processing module. Wherein the intermediate language conversion module can be used for converting a ladder diagram language, intermediate language conversion of graphics PLC language such as function block diagram language or sequential function diagram language, intermediate language conversion of texts PLC language such as structured text language orinstruction list language, and intermediate language conversion of PLC program running environment configuration, and obtaining unified intermediate language program. The invention realizes the property verification work of the PLC program with one or more programming languages and the configuration of the PLC running environment under different running environments through the unified intermediate language program, provides a complete PLC program verification system, and greatly improves the verification efficiency of the PLC program.

A voter function block, which can be integrated into a function block diagram programming environment in a process plant control or safety system, implements voter logic in conjunction with providing operational and maintenance overrides which may be set to override individual inputs to the voter function block as well as to override the output of the voter function block. The voter function block, which is easy to create, use, test, debug and document, includes one or input limit detection units which detect if a particular redundant input has reached a specified limit indicating a condition within the process plant, an override unit that may be set by a user to override the consideration of that input in the voting function, a voting logic entity that determines if a trip condition exists based on the values of the valid or non-inhibited inputs, and an inhibit block that may used to override the output of the voter logic block during, for example, a startup or other operational condition. The voter function block may be integrated into a process control or safety system by being communicatively connected to other function blocks, such as to analog or digital input function blocks, analog or digital output function blocks, control function blocks, cause and effect function blocks which implement cause and effect logic, etc. within the process control or safety programming environment.

The invention discloses a test case generation method and device and a storage medium, and the method comprises the steps: building a finite-state machine model and a function block graph model based on a class function block graph language according to a software demand specification; according to the effective state of the function block diagram model, selecting a software running state from the finite-state machine model as a pre-state of the function block diagram model; according to a preset conversion rule, converting the function block diagram model into a conversion finite-state machine model for describing a state change process of software operation, and according to a front state of the function block diagram model, associating the conversion finite-state machine model with a finite-state machine model to obtain a target finite-state machine model; and on the basis of the target finite-state machine model, a preset traversal algorithm is adopted, and each path generates one test case, so that the running process state of the software can be accurately and comprehensively described, the logic relationship between input and output of the software can be accurately described, and the accuracy of the generated test cases is improved.

The invention provides a method converting a function block diagram to an AOV structure corresponding to a ladder diagram. The method provides a basis for FBD conversion to LD. An FBD icon is mapped to a vertex. An FBD program is mapped to a class multi-list structure. Through processing, the AOV structure corresponding to the ladder diagram is finally generated. The method is technically characterized in that due to logical structure differences between the FBD and the ladder diagram, the differences are studied and processed; the AOV diagram directly mapped by the FBD is converted into the AOV diagram with LD characteristics, namely the abstraction technique of the secondary AOV diagram is carried out on the FBD; the idea preserves the integrity of the diagram structure, and is validated on a programmable logic controller FBD programming platform using the algorithm; and the foundation is laid for converting the FBD into LD language and IL language.

The invention belongs to the technical field of program development, and particularly relates to a system, method and device for automatically generating a program according to a function block diagram. The system comprises a function block class unit, a directed graph generation unit, and an instruction set generation unit, wherein the function block class unit stores at least one function blockclass, and the function block class is one class formed by abstract packaging of function blocks; the directed graph generation unit is used for converting the two function blocks associated with theconnection and / or assignment operation performed by an operator into corresponding directed graphs; and the instruction set generation unit is used for traversing the directed graph and carrying out variable replacement to generate an instruction set code. For the system, method and device for automatically generating a program according to a function block diagram, the conversion process is simple and efficient; the program development threshold is lowered; the standardization degree is high; and the application range is wide.

A cause and effect function block, which can be easily integrated into a function block diagram programming environment in a process plant safety system to implement the cause and effect logic specified by a traditional cause and effect matrix, includes a set of cause inputs and a set of effect outputs. A multiplexer within the cause and effect function block receives each of the cause inputs and is coupled to one or more state machines, with a separate state machine existing for each effect output. The multiplexer decodes each of the cause inputs and, based on the cause inputs and previously identified cause and effect matrix logic, provides a trip signal to one or more of the state machines. Upon receiving a trip signal, a state machine forces an associated effect output into a tripped or safe state. If desired, the state machine may then use one or more other signals, such as signals from a user or from the process, to transition between a set of different states used to safely return the process plant back to the normal operating state from the tripped or safe state.

A method for displaying a control system comprising, receiving a function block diagram file including a function block having an associated logic function, receiving an animation instruction associated with the function block, receiving system data from a system controller, receiving a first graphic associated with the logic function from a function block library, processing the first graphic and the system data according to the animation instruction to render an updated first graphic reflecting the systems data, and displaying the function block and the rendered updated first graphic associated with the logic function.

The invention provides a decentralized control system operation logic display method and device, equipment and a storage medium, and relates to the technical field of industrial control. The method comprises the steps of obtaining a logic diagram file associated with a target control in response to a trigger operation of a user on the target control on a display interface; deserializing the logic diagram file to generate a target logic diagram; and outputting the target logic diagram to a display interface. According to the scheme, a display interface for visually displaying the function block diagram is provided, so that a user can conveniently check data reference, function block connection logic and function block connection logic in all (or part) function block diagrams which are pre-configured according to each device in the distributed control system from the target logic diagram; and information such as real-time data reference and real-time values of the function blocks can be checked, so that field industrial control personnel can be assisted to accurately judge the current running state of the distributed control system, and the effect of improving the running safety of the distributed control system is achieved.

The invention discloses a configurable PLC based on a PCIe bus. The PLC comprises a microcontroller, an FPGA, a PHY chip, a memory unit, a digital quantity input unit, a digital quantity output unit,an analog quantity input unit, and an analog quantity output unit. A realization mode of the PCIe bus is characterized in that the PCIe bus is connected to an FPGA device through a connector, the PCIebus is realized by the FPGA, and a device connection mode of a point-to-point serial connection is formed. The realization mode of an online configurable function is characterized in that logic function online configuration is realized through using an architecture scheme of a single-chip Cortex-4ARM and a PHY chip without a peripheral memory; and five-language programming compilation parsing execution of the most common IEC61131-3 is possessed and a ladder diagram, a function block diagram, a sequence function diagram, an instruction list and a structured text are included. The configurablePLC has the characteristics of a high transmission bandwidth, high transmission reliability, a large data volume, a high transmission rate, safe and timely data transmission, diversified functions, low cost, scalability, and a flexible and configurable interconnection structure.

The invention discloses a human-computer interface system for controlling a mechanical arm. The human-computer interface system comprises a page display module, a communication connection module, a parameter setting module, a programming module and a program file module which are connected with an information processing module. The programming module comprises a program storage sub-module and a programming sub-module, the program storage sub-module is used for storing a plurality of functional blocks obtained by extracting and packaging common functions in mechanical arm and non-standard axisprogramming, and the plurality of functional blocks are displayed on the page display module in the form of functional block icons for a user to select. The programming sub-module is used for forminga graphical program of the mechanical arm and non-standard shaft operation process according to the function block icon selected and dragged by the user and the basic parameters set in the parameter setting module. According to the human-computer interface system, control over the mechanical arm and the non-standard shaft is rapidly and conveniently achieved, the requirement for the programming capacity of an operator is lowered, and operation of the human-computer interface system is simplified.

The invention relates to a novel Rack node medium plate and a design method of the same. The novel Rack node medium plate includes an AST1250 chip, a node module, a fan module and a node mainboard management controller, wherein the node module, the fan module and the node mainboard management controller are connected with the AST1250 chip. The design method of the novel Rack node medium plate includes the following steps: S1, designing a novel Rack node medium plate management system function block diagram; S2, designing a novel Rack node medium plate management system interconnected topology; and S3, designing a novel Rack node medium plate logic block diagram. The novel Rack node medium plate uses the AST1250 to improve the Rack two-level management chip processing capability and efficiency. The node medium plate and the node BMC use a one-to-one I2C channel to realize quick acquisition and reporting of the node information. A WDT (WatchdogTimer) design is added, so that the product reliability is improved. An RTC function is added, the time correctness of system log is guaranteed and the fault reporting accuracy is improved. The node medium plate is communicated with the management mainboard through NIC, so that communication efficiency of Rack one-level management and two-level management.

The present invention has a program editing unit (11) for arranging function block diagram (FBD) components and connecting the arranged FBD components together; an execution sequence determination unit (13) for determining an execution sequence of the FBD components on the basis of position information and connection information regarding the FBD components; a component information management unit (12) for managing the position information and connection information regarding the FBD components; and a recompilation necessity determination unit (14) for determining the need to perform recompilation that accompanies a modification of the arrangement of the FBD components. When an FBD component for which arrangement is to be modified is specified in the program editing unit, the component information management unit extracts a position range in which the execution sequence will be the same even when the position of the FBD component specified by the program editing unit is modified, and the recompilation necessity determination unit determines that recompilation is not required to be performed when the position information after the arrangement of the specified FBD component has been modified is included in the position range extracted by the component information management unit.

The invention discloses a method for analyzing the front axle holding capacity of an air suspension, and belongs to the technical field of vehicle suspensions. The method for analyzing the retention capacity of the front axle of the air suspension comprises the following steps: collecting background information; drawing a system function block diagram; building a fault tree analysis FIA; checkingthe rationality of the specification of the air spring and the rationality of the change of the front axle load according to the whole vehicle parameters; dividing the whole vehicle into a plurality of equally divided boxes, drawing a curve graph of the placing number of the divided boxes and the change of the front axle load according to the principle of placing the boxes from inside to outside,and judging whether the front axle load exceeds the limit load of the air spring or not; and based on the fault tree analysis FIA, rechecking the design process factors to obtain the root cause that the front axle cannot be lifted. According to the analysis method, the reason why the front axle of the air suspension cannot be normally lifted can be effectively analyzed, and the phenomenon that thefront axle cannot be lifted is avoided in advance.

The present invention is a failure mode and impact analysis method based on accident dynamic deduction simulation. According to the characteristics of the analyzed object, the method constructs the functional block of each module at the lowest agreed level, and constructs a functional block diagram, which is different from the traditional functional modules. Different from adding failure rate and performing reliability analysis, the method of the present invention constructs an accident dynamic deduction simulation model including elements such as state and event for each functional block, and adds delay and failure rate to the events in the model and other attributes, realistically describe the internal operating mechanism of the functional module. Then, by constructing the logic and time relationship among the functional blocks, all the functional blocks are connected into a whole. Finally, through the discrete event dynamic simulation method, the dynamic operation process of the system is simulated, the failure events and their occurrence probability are found out, and further failure impact and hazard analysis are done. It solves the problem that the traditional failure mode and effect analysis method cannot perform temporal logic analysis and combined function failure analysis.

The invention provides a transformation method for a programmable logic controller programming language. The method comprises the following steps that: transforming an abstract syntax tree, transforming a ladder diagram, transforming a function block diagram, transforming a sequential function chart, converting a structured text, transforming an instruction list, and transforming an ICIL (Industrial Controller Intermediate Language) intermediate structure. By use of the transformation method for the programmable logic controller programming language, the uniform transformation of an IEC (International Electrotechnical Commission) 61131-3 language can be realized, in a development and transplantation process on PLC (Programmable Logic Controller) products of different manufacturers, a corresponding transplantation code does not need to be compiled independently by aiming at each type of PLC language, and in addition, the method is favorable for subsequently deeply carrying out formalized modeling, analysis and verification work on the basis of an intermediate language.

The invention discloses a configurable PLC based on a PCIe bus. The PLC comprises a microcontroller, an FPGA, a PHY chip, a memory unit, a digital quantity input unit, a digital quantity output unit,an analog quantity input unit, and an analog quantity output unit. A realization mode of the PCIe bus is characterized in that the PCIe bus is connected to an FPGA device through a connector, the PCIebus is realized by the FPGA, and a device connection mode of a point-to-point serial connection is formed. The realization mode of an online configurable function is characterized in that logic function online configuration is realized through using an architecture scheme of a single-chip Cortex-4ARM and a PHY chip without a peripheral memory; and five-language programming compilation parsing execution of the most common IEC61131-3 is possessed and a ladder diagram, a function block diagram, a sequence function diagram, an instruction list and a structured text are included. The configurablePLC has the characteristics of a high transmission bandwidth, high transmission reliability, a large data volume, a high transmission rate, safe and timely data transmission, diversified functions, low cost, scalability, and a flexible and configurable interconnection structure.

The invention discloses a function block ordering method on the basis of the information flow, which mainly comprises the following steps: according to the information flow direction between function blocks in a function block diagram, determining an initial function block and a currently positioned function block by combining a spatial position of each function block in the function block diagram, wherein a mode of combining a mode from top to bottom with a mode from left to right is specifically adopted and a loop line for connecting the initial and tail function blocks is ignored in the ordering process; and then sequentially traversing input ends and output ends of the currently positioned function blocks from top to bottom, so that the complete ordering process is clear and accords with the information flow direction between the function blocks, and therefore, an accurate execution sequence which accords with the internal control logic can be generated and the safety of the field production is ensured.

A method for checking the functional equivalence of two pieces of software of a control system, in particular a programmable logic controller based control system designed from a function block diagram (120, 196) having a plurality of interconnected function blocks, the The method comprises the steps of: a) generating a first instance of compilable source code from a first plurality of functional block diagrams (70, 74, 78) by means of a first code generator following a first set of serialization rules; b ) parses the first instance of said source code and identifies groups of all function block I / O ports and nodes (nodes) and all connections between all function block I / O ports and nodes (arcs) of the data flow c) using the information from step b) to reconstruct in the upstream direction a first dataflow graph (86) of a first instance of said source code; d) by means of the first code following the first set of serialization rules generator or a second code generator following a second set of serialization rules to generate a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98); e) parsing said source code The second instance and identifies the set of all functional block I / O ports and nodes (nodes) and the set of all connections between all functional block I / O ports and nodes (arcs) of the data stream; f) use the set from step e) information to reconstruct in the upstream direction a second dataflow graph (106) of a second instance of said source code; g) combining said first identified dataflow graph (86) with said second identified The dataflow graphs (106) are compared with each other node by node, thereby checking whether the transitive closure up to the input of a node is the same in the second instance of the source code as in the first instance of the source code.

The invention provides a function block diagram program generation method and device, equipment and a storage medium, and relates to the technical field of industrial control. The method comprises the steps of obtaining at least one target function block according to an industrial control requirement; according to the target function block, generating and exporting a corresponding initial program configuration table; according to control parameters corresponding to industrial control requirements, parameters corresponding to all target function blocks in the initial program configuration table are edited, and a target program configuration table is obtained; and finally generating a function block diagram program according to the target program configuration table. Therefore, by modifying the program configuration table, connection and parameter modification are automatically carried out on the target function blocks, the labor cost is saved, the generation efficiency of the function block diagram program is improved, and industrial production is facilitated.

The invention discloses a PLC program verification method based on an intermediate language. The method comprises the steps of intermediate language conversion, migration system construction, propertyverification and verification result processing. The intermediate language conversion includes the intermediate language conversion of a graphic type PLC language such as a ladder diagram language, afunction block diagram language or a sequential function diagram language, the intermediate language conversion of a textual PLC language such as a structured text language or a command table language and the intermediate language conversion of a PLC program running environment configuration, and a unified intermediate language program is obtained. According to the method, through the unified intermediate language program, a complete PLC program verification scheme is provided for the verification of PLC programs with one or more programming languages in different operating environment and various properties of PLC operating environment configurations of the programs, and the verification efficiency of the PLC programs is greatly improved at the same time.