Verification of the design model

With the latest version of CORFU FBDK the execution of Function Block networks is supported as a means of verifying the design model.

Function Block network design diagrams can be animated due to the CORFU FBDK built-in runtime environment that supports the execution of both basic and composite function block types as defined by the IEC 61499 standard.

Delphi/PascalScript that is very similar to the ST language is used to describe the behavior of Function Block Types in order to be executed on the built-in CORFU FB Run Time Environment (CORFU FBRTE).
PascalScript (which is actually Pascal) should be used:
 -In ECC conditions for transitions
 -In algorithms
The CORFU ESS runtime environment in its current version supports the types: BOOL, BYTE, INT, REAL, LREAL.

The following pictures display a FB type of type PID controller (this FB type can be found in the CORFU FBDK library under the name FB_PIDD) that is specified in PascalScript and is ready for animation.  You can click on any image below to see details.

Interface	ECC	Algorithm

For a demonstration of the CORFU FBDK verification process the project corfutest that is included in the setup material can be utilized. You can follow the guidelines to see the demonstration.