Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Appendix H. openETCS Simulation<br />
25 TM 0 0 0 00031969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 562 e v a l u a t e s t o 1 :<br />
26 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
27 TM 0 0 0 00032969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 560 e v a l u a t e s t o 1 :<br />
28 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
29 TM 0 0 0 00032969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 561 e v a l u a t e s t o 1 :<br />
30 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
31 TM 0 0 0 00032969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 562 e v a l u a t e s t o 1 :<br />
32 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
33 TM 0 0 0 00033969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 560 e v a l u a t e s t o 1 :<br />
34 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
35 TM 0 0 0 00033969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 561 e v a l u a t e s t o 1 :<br />
36 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
37 TM 0 0 0 00033970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 562 e v a l u a t e s t o 1 :<br />
38 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
39 TM 0 0 0 00034969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 560 e v a l u a t e s t o 1 :<br />
40 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
41 TM 0 0 0 00034969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 561 e v a l u a t e s t o 1 :<br />
42 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
43 TM 0 0 0 00034969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 562 e v a l u a t e s t o 1 :<br />
44 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
45 TM 0 0 0 00036969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 659 e v a l u a t e s t o 1 :<br />
46 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
47 TM 0 0 0 00036969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 660 e v a l u a t e s t o 1 :<br />
48 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
49 TM 0 0 0 00036970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 661 e v a l u a t e s t o 1 :<br />
50 ( ( G e t V e l o c i t y ( ) < ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )<br />
51 && ( G e t V e l o c i t y ( ) > ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )<br />
52 TM 0 0 0 00036971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 664 e v a l u a t e s t o 1 :<br />
53 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
54 TM 0 0 0 00037969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 659 e v a l u a t e s t o 1 :<br />
55 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
56 TM 0 0 0 00037969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 660 e v a l u a t e s t o 1 :<br />
57 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
58 TM 0 0 0 00037969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 661 e v a l u a t e s t o 1 :<br />
59 ( ( G e t V e l o c i t y ( ) < ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )<br />
60 && ( G e t V e l o c i t y ( ) > ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )<br />
61 TM 0 0 0 00037970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 664 e v a l u a t e s t o 1 :<br />
62 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
63 TM 0 0 0 00038969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 659 e v a l u a t e s t o 1 :<br />
64 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
65 TM 0 0 0 00038969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 660 e v a l u a t e s t o 1 :<br />
66 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
67 TM 0 0 0 00038969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 661 e v a l u a t e s t o 1 :<br />
68 ( ( G e t V e l o c i t y ( ) < ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )<br />
69 && ( G e t V e l o c i t y ( ) > ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )<br />
70 TM 0 0 0 00038971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 664 e v a l u a t e s t o 1 :<br />
71 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
72 TM 0 0 0 00039969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 659 e v a l u a t e s t o 1 :<br />
73 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
74 TM 0 0 0 00039969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 660 e v a l u a t e s t o 1 :<br />
75 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
76 TM 0 0 0 00039969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 661 e v a l u a t e s t o 1 :<br />
77 ( ( G e t V e l o c i t y ( ) < ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )<br />
78 && ( G e t V e l o c i t y ( ) > ( ( 2 0 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )<br />
79 TM 0 0 0 00039970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 664 e v a l u a t e s t o 1 :<br />
80 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
81 TM 0 0 0 00041969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 610 e v a l u a t e s t o 1 :<br />
82 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
83 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
86 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
89 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
92 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
95 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
98 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
101 | | ( G e t V e l o c i t y ( ) 0 . 0 0 0 0 0 0 e +00)<br />
104 | | ( G e t V e l o c i t y ( ) pDMIValue , " S t a f f R e s p o n s i b l e " ) == 0 )<br />
107 TM 0 0 0 00073969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 236 e v a l u a t e s t o 1 :<br />
108 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
109 TM 0 0 0 00073969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 237 e v a l u a t e s t o 1 :<br />
110 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
111 TM 0 0 0 00073969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 238 e v a l u a t e s t o 1 :<br />
112 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
113 TM 0 0 0 00074969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 236 e v a l u a t e s t o 1 :<br />
114 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
115 TM 0 0 0 00074969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 237 e v a l u a t e s t o 1 :<br />
116 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
117 TM 0 0 0 00074969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 238 e v a l u a t e s t o 1 :<br />
118 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
119 TM 0 0 0 00075969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 236 e v a l u a t e s t o 1 :<br />
120 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
121 TM 0 0 0 00075969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 237 e v a l u a t e s t o 1 :<br />
122 ( G e t S e r v i c e I n t e n s i t y ( ) == 0 . 0 0 0 0 0 0 e +00)<br />
123 TM 0 0 0 00075970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 238 e v a l u a t e s t o 1 :<br />
124 ( ( G e t V e l o c i t y ( ) < 1 . 0 1 0 0 0 0 e +02) && ( G e t V e l o c i t y ( ) > 9 . 9 0 0 0 0 0 e +01) )<br />
125 TM 0 0 0 00076969 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 236 e v a l u a t e s t o 1 :<br />
126 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )<br />
274