Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_fall_test / detect_fall_test.lus @ 6c3ea955

History | View | Annotate | Download (5.53 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node detect_fall_test (In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In2_1_5 : real; In3_1_1 : int; In3_1_2 : int; In3_1_3 : int; In3_1_4 : int; In3_1_5 : int; In3_1_6 : int; In4_1_1 : real; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In5_1_5 : real; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In6_1_4 : int; In6_1_5 : int; In6_1_6 : int; In7_1_1 : bool; In8_1_1 : bool)
6
returns (Out1_1_1 : bool;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool; Out2_2_4 : bool; Out2_2_5 : bool;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool; Out3_3_4 : bool; Out3_3_5 : bool; Out3_3_6 : bool;
9
	Out4_4_1 : bool;
10
	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool; Out5_5_4 : bool; Out5_5_5 : bool;
11
	Out6_6_1 : bool; Out6_6_2 : bool; Out6_6_3 : bool; Out6_6_4 : bool; Out6_6_5 : bool; Out6_6_6 : bool;
12
	Out7_7_1 : bool;
13
	Out8_8_1 : bool); 
14
var
15
	DetectFallNegative_1_1 : bool;
16
	DetectFallNegative1_1_1 : bool; DetectFallNegative1_1_2 : bool; DetectFallNegative1_1_3 : bool; DetectFallNegative1_1_4 : bool; DetectFallNegative1_1_5 : bool;
17
	DetectFallNegative2_1_1 : bool; DetectFallNegative2_1_2 : bool; DetectFallNegative2_1_3 : bool; DetectFallNegative2_1_4 : bool; DetectFallNegative2_1_5 : bool; DetectFallNegative2_1_6 : bool;
18
	DetectFallNegative3_1_1 : bool;
19
	DetectFallNonpositive_1_1 : bool;
20
	DetectFallNonpositive1_1_1 : bool; DetectFallNonpositive1_1_2 : bool; DetectFallNonpositive1_1_3 : bool; DetectFallNonpositive1_1_4 : bool; DetectFallNonpositive1_1_5 : bool;
21
	DetectFallNonpositive2_1_1 : bool; DetectFallNonpositive2_1_2 : bool; DetectFallNonpositive2_1_3 : bool; DetectFallNonpositive2_1_4 : bool; DetectFallNonpositive2_1_5 : bool; DetectFallNonpositive2_1_6 : bool;
22
	DetectFallNonpositive3_1_1 : bool;
23
	i_virtual_local : real;
24
let 
25
	DetectFallNegative_1_1 = In1_1_1 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In1_1_1) < 0.0);
26
	DetectFallNegative1_1_1 = In2_1_1 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_1) < 0.0);
27
	DetectFallNegative1_1_2 = In2_1_2 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_2) < 0.0);
28
	DetectFallNegative1_1_3 = In2_1_3 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_3) < 0.0);
29
	DetectFallNegative1_1_4 = In2_1_4 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_4) < 0.0);
30
	DetectFallNegative1_1_5 = In2_1_5 < 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_5) < 0.0);
31
	DetectFallNegative2_1_1 = In3_1_1 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_1) < 0);
32
	DetectFallNegative2_1_2 = In3_1_2 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_2) < 0);
33
	DetectFallNegative2_1_3 = In3_1_3 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_3) < 0);
34
	DetectFallNegative2_1_4 = In3_1_4 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_4) < 0);
35
	DetectFallNegative2_1_5 = In3_1_5 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_5) < 0);
36
	DetectFallNegative2_1_6 = In3_1_6 < 0 and not ((if 0=0 then false else true) -> pre (In3_1_6) < 0);
37
	DetectFallNegative3_1_1 = false;
38
	DetectFallNonpositive_1_1 = In4_1_1 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In4_1_1) <= 0.0);
39
	DetectFallNonpositive1_1_1 = In5_1_1 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_1) <= 0.0);
40
	DetectFallNonpositive1_1_2 = In5_1_2 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_2) <= 0.0);
41
	DetectFallNonpositive1_1_3 = In5_1_3 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_3) <= 0.0);
42
	DetectFallNonpositive1_1_4 = In5_1_4 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_4) <= 0.0);
43
	DetectFallNonpositive1_1_5 = In5_1_5 <= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_5) <= 0.0);
44
	DetectFallNonpositive2_1_1 = In6_1_1 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_1) <= 0);
45
	DetectFallNonpositive2_1_2 = In6_1_2 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_2) <= 0);
46
	DetectFallNonpositive2_1_3 = In6_1_3 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_3) <= 0);
47
	DetectFallNonpositive2_1_4 = In6_1_4 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_4) <= 0);
48
	DetectFallNonpositive2_1_5 = In6_1_5 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_5) <= 0);
49
	DetectFallNonpositive2_1_6 = In6_1_6 <= 0 and not ((if 0=0 then false else true) -> pre (In6_1_6) <= 0);
50
	DetectFallNonpositive3_1_1 = not(In8_1_1) and (not false -> pre (In8_1_1));
51
	Out1_1_1 = DetectFallNegative_1_1;
52
	Out2_2_1 = DetectFallNegative1_1_1;
53
	Out2_2_2 = DetectFallNegative1_1_2;
54
	Out2_2_3 = DetectFallNegative1_1_3;
55
	Out2_2_4 = DetectFallNegative1_1_4;
56
	Out2_2_5 = DetectFallNegative1_1_5;
57
	Out3_3_1 = DetectFallNegative2_1_1;
58
	Out3_3_2 = DetectFallNegative2_1_2;
59
	Out3_3_3 = DetectFallNegative2_1_3;
60
	Out3_3_4 = DetectFallNegative2_1_4;
61
	Out3_3_5 = DetectFallNegative2_1_5;
62
	Out3_3_6 = DetectFallNegative2_1_6;
63
	Out4_4_1 = DetectFallNonpositive_1_1;
64
	Out5_5_1 = DetectFallNonpositive1_1_1;
65
	Out5_5_2 = DetectFallNonpositive1_1_2;
66
	Out5_5_3 = DetectFallNonpositive1_1_3;
67
	Out5_5_4 = DetectFallNonpositive1_1_4;
68
	Out5_5_5 = DetectFallNonpositive1_1_5;
69
	Out6_6_1 = DetectFallNonpositive2_1_1;
70
	Out6_6_2 = DetectFallNonpositive2_1_2;
71
	Out6_6_3 = DetectFallNonpositive2_1_3;
72
	Out6_6_4 = DetectFallNonpositive2_1_4;
73
	Out6_6_5 = DetectFallNonpositive2_1_5;
74
	Out6_6_6 = DetectFallNonpositive2_1_6;
75
	Out7_7_1 = DetectFallNegative3_1_1;
76
	Out8_8_1 = DetectFallNonpositive3_1_1;
77
	i_virtual_local= 0.0 -> 1.0;
78
tel
79