AnnexF/integral_st.txt
author Mario de Sousa <msousa@fe.up.pt>
Sat, 18 Feb 2012 21:03:01 +0000
changeset 448 1bd18fc06911
parent 0 fb772792efd1
permissions -rwxr-xr-x
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
 FUNCTION_BLOCK INTEGRAL
   VAR_INPUT
     RUN : BOOL ;       (* 1 = integrate, 0 = hold *)
     R1 : BOOL ;        (* Overriding reset        *)
     XIN : REAL ;       (* Input variable          *)
     X0  : REAL ;       (* Initial value           *)
     CYCLE : TIME ;     (* Sampling period         *)
   END_VAR
   VAR_OUTPUT
     Q : BOOL ;         (* NOT R1                  *)
     XOUT : REAL ;      (* Integrated output       *)
   END_VAR
   Q := NOT R1 ;
   IF R1 THEN XOUT := X0 ;
   ELSIF RUN THEN XOUT := XOUT + XIN * TIME_TO_REAL(CYCLE);
   END_IF ;
 END_FUNCTION_BLOCK