Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / safety / safety_plane_archi.lusi @ 47714cf4

History | View | Annotate | Download (1.92 KB)

1
(* Generated Lustre Interface file from safety_plane_archi.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/25, 14:3:40 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

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

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

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

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

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

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

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

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

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

    
23
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);
24

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

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

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

    
31
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);
32

    
33
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);
34

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