31.01.2014 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!