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

H.6. Simulation Abstract Machine Logs
130 Speed : 1 0 0 . 0 0 0 0 0 0 P o s i t i o n : 3 4 9 5 . 9 5 6 1 8 7
131 Speed : 1 0 0 . 0 0 0 0 0 0 P o s i t i o n : 3 5 2 3 . 7 0 8 2 7 0
132 Moving with warning s p e e d
133 Speed : 1 8 4 . 5 0 0 0 0 0 P o s i t i o n : 3 6 0 2 . 7 8 1 9 6 2
134 Speed : 1 8 4 . 5 0 0 0 0 0 P o s i t i o n : 3 6 5 4 . 0 4 8 9 2 6
135 Speed : 1 8 4 . 5 0 0 0 0 0 P o s i t i o n : 3 7 0 5 . 2 8 5 1 9 1
136 Speed : 1 8 4 . 5 0 0 0 0 0 P o s i t i o n : 3 7 5 6 . 5 4 5 7 4 9
137 Moving with f o r b i d d e n s p e e d
138 Speed : 1 9 7 . 1 1 7 1 0 0 P o s i t i o n : 3 8 6 2 . 8 3 2 6 6 3
139 Speed : 1 9 5 . 3 9 4 6 0 6 P o s i t i o n : 3 9 1 7 . 3 7 6 5 2 3
140 Speed : 1 9 3 . 8 4 3 2 1 3 P o s i t i o n : 3 9 7 1 . 5 1 3 6 6 1
141 Speed : 1 9 2 . 4 4 8 1 5 6 P o s i t i o n : 4 0 2 5 . 2 2 6 8 6 8
142 Speed : 1 9 1 . 1 9 3 6 8 7 P o s i t i o n : 4 0 7 8 . 5 8 5 8 0 2
143 Speed : 1 9 0 . 0 6 5 6 3 7 P o s i t i o n : 4 1 3 1 . 5 8 3 4 8 7
144 Speed : 1 8 9 . 0 5 1 2 6 7 P o s i t i o n : 4 1 8 4 . 2 9 5 9 2 5
145 I s o l a t i n g ETCS
146 E n t e r e d I s o l a t e d ( I S )
147
148 r e a l 2m47 . 6 8 2 s
149 u s e r 0m23 . 0 0 5 s
150 s y s 2m19 . 7 2 5 s
H.6. Simulation Abstract Machine Logs
H.6.1. CInitPSM Logs
1 TM 00000000021 AM 3 N ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ STARTUP OF AM 3 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
2 ∗ PROJECT : RTT−ORA−SIM−openETCS
3 ∗ COMPONENT : oEVC
4 ∗ TEST PROCEDURE : P1
5 ∗ TOOL VERSION : RT−T e s t e r 6 . 0 − 4 . 9 . 3
6 ∗ AUTHOR : r t t −mbt
7 ∗ START OF TEST : 2 0 1 2 : 1 0 : 0 6 : 1 3 : 3 0 : 1 2 ( l o c a l time )
8 ∗ TIME SCALE : m i l l i s e c o n d
9 ∗ SCHEDULING : AM 3 − am__sim_CInitPSM , LWP 0 − S i m u l a t i o n
10 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
11 TM 0 0 0 00167061 AM 3 R ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ TERMINATION OF AM 3 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
12 ∗ WARNINGS: 0
13 ∗ FAILURES : 0
14 ∗ VERDICT : NOT TESTED
15 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
H.6.2. CDMI Logs
1 TM 00000000018 AM 1 N ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ STARTUP OF AM 1 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
2 ∗ PROJECT : RTT−ORA−SIM−openETCS
3 ∗ COMPONENT : oEVC
4 ∗ TEST PROCEDURE : P1
5 ∗ TOOL VERSION : RT−T e s t e r 6 . 0 − 4 . 9 . 3
6 ∗ AUTHOR : r t t −mbt
7 ∗ START OF TEST : 2 0 1 2 : 1 0 : 0 6 : 1 3 : 3 0 : 1 2 ( l o c a l time )
8 ∗ TIME SCALE : m i l l i s e c o n d
9 ∗ SCHEDULING : AM 1 − am__sim_CDMI, LWP 0 − S i m u l a t i o n
10 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
11 TM 0 0 0 00010971 AM 1 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_CDMI . r t s , l i n e 709 e v a l u a t e s t o 1 :
12 ( ( _bSystemPowered == TRUE) | | ( DMIHasInput ( ) == 1 ) )
13 TM 0 0 0 00014969 AM 1 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_CDMI . r t s , l i n e 690 e v a l u a t e s t o 1 :
14 ( ( _bSystemPowered == TRUE) | | ( DMIHasInput ( ) == 1 ) )
15 TM 0 0 0 00030970 AM 1 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_CDMI . r t s , l i n e 563 e v a l u a t e s t o 1 :
16 ( ( _bSystemPowered == TRUE) | | ( DMIHasInput ( ) == 1 ) )
17 TM 0 0 0 00056969 AM 1 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_CDMI . r t s , l i n e 45 e v a l u a t e s t o 1 :
18 ( ( _bSystemPowered == TRUE) | | ( DMIHasInput ( ) == 1 ) )
19 TM 0 0 0 00115969 AM 1 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_CDMI . r t s , l i n e 211 e v a l u a t e s t o 1 :
20 ( ( _bSystemPowered == TRUE) | | ( DMIHasInput ( ) == 1 ) )
21 TM 0 0 0 00167018 AM 1 R ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ TERMINATION OF AM 1 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
22 ∗ WARNINGS: 0
23 ∗ FAILURES : 0
24 ∗ VERDICT : PASS
25 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
H.6.3. CEVC Logs
1 TM 00000000009 AM 2 N ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ STARTUP OF AM 2 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
2 ∗ PROJECT : RTT−ORA−SIM−openETCS
3 ∗ COMPONENT : oEVC
4 ∗ TEST PROCEDURE : P1
5 ∗ TOOL VERSION : RT−T e s t e r 6 . 0 − 4 . 9 . 3
6 ∗ AUTHOR : r t t −mbt
7 ∗ START OF TEST : 2 0 1 2 : 1 0 : 0 6 : 1 3 : 3 0 : 1 2 ( l o c a l time )
8 ∗ TIME SCALE : m i l l i s e c o n d
9 ∗ SCHEDULING : AM 2 − am__sim_CEVC, LWP 0 − S i m u l a t i o n
10 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗
11 TM 0 0 0 00008969 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 20 e v a l u a t e s t o 1 :
12 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 1 )
13 TM 0 0 0 00008971 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 22 e v a l u a t e s t o 1 :
14 ( strcmp ( ctx−>pDMIValue , "No Power " ) == 0 )
15 TM 0 0 0 00015969 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 722 e v a l u a t e s t o 1 :
16 G e t E m e r g e n c y A c t i v a t i o n ( )
17 TM 0 0 0 00015970 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 724 e v a l u a t e s t o 1 :
18 ( strcmp ( ctx−>pDMIValue , " Stand By " ) == 0 )
19 TM 0 0 0 00030970 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 763 e v a l u a t e s t o 1 :
20 ( strcmp ( ctx−>pDMIValue , " U n f i t t e d " ) == 0 )
21 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 560 e v a l u a t e s t o 1 :
22 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 )
23 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 561 e v a l u a t e s t o 1 :
24 ( 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)
273