CristalCaveGem » LustreC » Lustrec-Tests

(* Generated Lustre Interface file from safety_plane_archi.lus *)

(* by Lustre-C compiler version 1.3-458, 2016/10/25, 14:3:40 *)

(* Feel free to mask some of the definitions by removing them from this file. *)

function abs_1 (x: real) returns (y: real);

node check_validity (x: bool; n: int) returns (y: bool; nb_times: int);

node lock (x: bool; reset: bool) returns (y: bool);

function aberration (s1: real; s2: real; s3: real; delta: real) returns (ab1: bool; ab2: bool; ab3: bool);

node calc_value (nb_err: int; e1: bool; e2: bool; e3: bool; s1: real; s2: real; s3: real) returns (v: real);

node check_speed (s: real; delta: real) returns (v: real);

node check_validity_lock (x: bool; n: int) returns (y: bool);

function nb_err_calc (e1: bool; e2: bool; e3: bool) returns (nb_errors: int);

function ranged_value (value: real; min: real; max: real; delta: real) returns (ranged_val: real; satmin: bool; satmax: bool; error: bool);

node simple_voter (s1: real; s2: real; s3: real; min: real; max: real; delta: real) returns (value: real; warning_stMax: bool; warning_stMin: bool; nb_errors: int);

function range (s: real; min: real; max: real) returns (v: real);

node voter_alt (s1: real; s2: real; s3: real) returns (value: real; warningMax: bool; warningMin: bool; nb_err: int);

node safety_plane_archi (s1: real; s2: real; s3: real) returns (value: real; warningMax: bool; warningMin: bool; nb_err: int);

function obs_simple_voter (s1: real; s2: real; s3: real; min: real; max: real; delta: real; value: real; warning_stMax: bool; warning_stMin: bool) returns (ok_stMin: bool; ok_stMax: bool; ok_revMin: bool; ok_revMax: bool);

function obs_aberration (s1: real; s2: real; s3: real; delta: real; ab1: bool; ab2: bool; ab3: bool) returns (ok_ab1: bool; ok_ab2: bool; ok_ab3: bool; ok_rev1: bool; ok_rev2: bool; ok_rev3: bool);

node voter_temp (s1: real; s2: real; s3: real) returns (value: real; warningMax: bool; warningMin: bool; nb_err: int);