Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

H.6. Simulation Abstract Machine Logs
127 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 237 e v a l u a t e s t o 1 :
128 ( 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)
129 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 238 e v a l u a t e s t o 1 :
130 ( ( 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) )
131 TM 0 0 0 00077969 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 :
132 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
133 TM 0 0 0 00077969 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 :
134 ( 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)
135 TM 0 0 0 00077969 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 :
136 ( ( 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) )
137 TM 0 0 0 00079969 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 376 e v a l u a t e s t o 1 :
138 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
139 TM 0 0 0 00079969 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 377 e v a l u a t e s t o 1 :
140 ( 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)
141 TM 0 0 0 00079970 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 378 e v a l u a t e s t o 1 :
142 ( ( G e t V e l o c i t y ( ) < ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )
143 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )
144 TM 0 0 0 00079970 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 381 e v a l u a t e s t o 1 :
145 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
146 TM 0 0 0 00080969 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 376 e v a l u a t e s t o 1 :
147 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
148 TM 0 0 0 00080970 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 377 e v a l u a t e s t o 1 :
149 ( 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)
150 TM 0 0 0 00080970 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 378 e v a l u a t e s t o 1 :
151 ( ( G e t V e l o c i t y ( ) < ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )
152 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )
153 TM 0 0 0 00080971 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 381 e v a l u a t e s t o 1 :
154 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
155 TM 0 0 0 00081969 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 376 e v a l u a t e s t o 1 :
156 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
157 TM 0 0 0 00081969 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 377 e v a l u a t e s t o 1 :
158 ( 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)
159 TM 0 0 0 00081969 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 378 e v a l u a t e s t o 1 :
160 ( ( G e t V e l o c i t y ( ) < ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )
161 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )
162 TM 0 0 0 00081971 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 381 e v a l u a t e s t o 1 :
163 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
164 TM 0 0 0 00082969 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 376 e v a l u a t e s t o 1 :
165 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
166 TM 0 0 0 00082969 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 377 e v a l u a t e s t o 1 :
167 ( 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)
168 TM 0 0 0 00082969 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 378 e v a l u a t e s t o 1 :
169 ( ( G e t V e l o c i t y ( ) < ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) + 1 . 0 0 0 0 0 0 e +00) )
170 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) )
171 TM 0 0 0 00082970 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 381 e v a l u a t e s t o 1 :
172 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
173 TM 0 0 0 00084971 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 312 e v a l u a t e s t o 1 :
174 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
175 TM 0 0 0 00084971 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 313 e v a l u a t e s t o 1 :
176 ( ( 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)
177 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
180 TM 0 0 0 00085971 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 313 e v a l u a t e s t o 1 :
181 ( ( 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)
182 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
185 TM 0 0 0 00086971 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 313 e v a l u a t e s t o 1 :
186 ( ( 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)
187 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
190 TM 0 0 0 00087971 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 313 e v a l u a t e s t o 1 :
191 ( ( 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)
192 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
195 TM 0 0 0 00088971 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 313 e v a l u a t e s t o 1 :
196 ( ( 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)
197 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
200 TM 0 0 0 00089970 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 313 e v a l u a t e s t o 1 :
201 ( ( 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)
202 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )
205 TM 0 0 0 00090971 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 313 e v a l u a t e s t o 1 :
206 ( ( 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)
207 | | ( G e t V e l o c i t y ( ) pDMIValue , " Trip " ) == 0 )
210 TM 0 0 0 00096970 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 100 e v a l u a t e s t o 1 :
211 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == TRUE)
212 TM 0 0 0 00116969 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 940 e v a l u a t e s t o 1 :
213 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == FALSE)
214 TM 0 0 0 00117969 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 868 e v a l u a t e s t o 1 :
215 ( ( 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) | | ( G e t V e l o c i t y ( ) == 0 . 0 0 0 0 0 0 e +00) )
216 TM 0 0 0 00118969 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 868 e v a l u a t e s t o 1 :
217 ( ( 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) | | ( G e t V e l o c i t y ( ) == 0 . 0 0 0 0 0 0 e +00) )
218 TM 0 0 0 00119969 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 868 e v a l u a t e s t o 1 :
219 ( ( 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) | | ( G e t V e l o c i t y ( ) == 0 . 0 0 0 0 0 0 e +00) )
220 TM 0 0 0 00120969 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 868 e v a l u a t e s t o 1 :
221 ( ( 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) | | ( G e t V e l o c i t y ( ) == 0 . 0 0 0 0 0 0 e +00) )
222 TM 0 0 0 00122969 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 904 e v a l u a t e s t o 1 :
223 ( ( 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)
224 | | ( G e t P o s i t i o n ( ) >= ( ctx−>d C u r r e n t P o s i t i o n − 1 . 5 0 0 0 0 0 e +02) ) )
225 TM 0 0 0 00123969 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 904 e v a l u a t e s t o 1 :
226 ( ( 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)
227 | | ( G e t P o s i t i o n ( ) >= ( ctx−>d C u r r e n t P o s i t i o n − 1 . 5 0 0 0 0 0 e +02) ) )
228 TM 0 0 0 00124969 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 904 e v a l u a t e s t o 1 :
275