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.

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.

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 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 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.

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 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.

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.

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 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.