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

More documents

Recommendations

Info

Appendix H. openETCS Simulation 229 ( ( 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) 230 | | ( 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) ) ) 231 TM 00000125969 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 : 232 ( ( 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) 233 | | ( 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) ) ) 234 TM 0 0 0 00126969 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 : 235 ( ( 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) 236 | | ( 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) ) ) 237 TM 0 0 0 00127969 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 : 238 ( ( 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) 239 | | ( 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) ) ) 240 TM 0 0 0 00128969 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 : 241 ( ( 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) 242 | | ( 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) ) ) 243 TM 0 0 0 00129970 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 : 244 ( ( 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) 245 | | ( 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) ) ) 246 TM 0 0 0 00130969 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 : 247 ( ( 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) 248 | | ( 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) ) ) 249 TM 0 0 0 00131969 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 : 250 ( ( 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) 251 | | ( 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) ) ) 252 TM 0 0 0 00132969 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 : 253 ( ( 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) 254 | | ( 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) ) ) 255 TM 0 0 0 00133969 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 : 256 ( ( 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) 257 | | ( 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) ) ) 258 TM 0 0 0 00134969 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 : 259 ( ( 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) 260 | | ( 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) ) ) 261 TM 0 0 0 00135969 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 : 262 ( ( 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) 263 | | ( 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) ) ) 264 TM 0 0 0 00136969 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 : 265 ( ( 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) 266 | | ( 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) ) ) 267 TM 0 0 0 00137969 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 : 268 ( ( 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) 269 | | ( 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) ) ) 270 TM 0 0 0 00142970 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 919 e v a l u a t e s t o 1 : 271 ( strcmp ( ctx−>pDMIValue , " S t a f f R e s p o n s i b l e " ) == 0 ) 272 TM 0 0 0 00143969 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 : 273 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 274 TM 0 0 0 00143969 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 : 275 ( 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) 276 TM 0 0 0 00143969 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 : 277 ( ( 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) ) 278 TM 0 0 0 00144969 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 : 279 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 280 TM 0 0 0 00144969 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 : 281 ( 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) 282 TM 0 0 0 00144969 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 : 283 ( ( 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) ) 284 TM 0 0 0 00145969 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 : 285 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 286 TM 0 0 0 00145969 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 : 287 ( 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) 288 TM 0 0 0 00145970 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 : 289 ( ( 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) ) 290 TM 0 0 0 00146969 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 : 291 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 292 TM 0 0 0 00146969 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 : 293 ( 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) 294 TM 0 0 0 00146969 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 : 295 ( ( 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) ) 296 TM 0 0 0 00148969 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 : 297 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 298 TM 0 0 0 00148969 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 : 299 ( 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) 300 TM 0 0 0 00148969 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 : 301 ( ( 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) ) 302 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) ) 303 TM 0 0 0 00148970 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 : 304 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 ) 305 TM 0 0 0 00149969 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 : 306 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 307 TM 0 0 0 00149969 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 : 308 ( 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) 309 TM 0 0 0 00149969 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 : 310 ( ( 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) ) 311 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) ) 312 TM 0 0 0 00149971 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 : 313 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 ) 314 TM 0 0 0 00150969 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 : 315 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 316 TM 0 0 0 00150969 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 : 317 ( 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) 318 TM 0 0 0 00150969 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 : 319 ( ( 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) ) 320 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) ) 321 TM 0 0 0 00150971 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 : 322 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 ) 323 TM 0 0 0 00151969 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 : 324 ( G e t E m e r g e n c y A c t i v a t i o n ( ) == 0 ) 325 TM 0 0 0 00151969 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 : 326 ( 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) 327 TM 0 0 0 00151969 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 : 328 ( ( 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) ) 329 && ( G e t V e l o c i t y ( ) > ( ( 1 8 0 ∗ 1 . 0 2 5 0 0 0 e +00) − 1 ) ) ) 276
H.6. Simulation Abstract Machine Logs 330 TM 0 0 0 00151971 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 : 331 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 ) 332 TM 0 0 0 00153971 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 : 333 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 ) 334 TM 0 0 0 00153971 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 : 335 ( ( 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) 336 | | ( 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 ) 339 TM 0 0 0 00154971 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 : 340 ( ( 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) 341 | | ( 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 ) 344 TM 0 0 0 00155971 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 : 345 ( ( 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) 346 | | ( 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 ) 349 TM 0 0 0 00156970 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 : 350 ( ( 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) 351 | | ( 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 ) 354 TM 0 0 0 00157971 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 : 355 ( ( 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) 356 | | ( 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 ) 359 TM 0 0 0 00158970 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 : 360 ( ( 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) 361 | | ( 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 ) 364 TM 0 0 0 00159970 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 : 365 ( ( 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) 366 | | ( G e t V e l o c i t y ( ) pDMIValue , " I s o l a t i o n " ) == 0 ) 369 TM 0 0 0 00166975 AM 2 R ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ TERMINATION OF AM 2 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ 370 ∗ WARNINGS: 0 371 ∗ FAILURES : 0 372 ∗ VERDICT : PASS 373 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ 277
Page 1:
Open Source Software for Train Cont
Page 4 and 5:
Datum des Promotionskolloquiums: 21
Page 7 and 8:
Acknowledgments I would like to tha
Page 9:
Abstract This document describes th
Page 12 and 13:
Contents 3.3.3. Rascal . . . . . .
Page 14 and 15:
Contents 8.4. Behavioural Design .
Page 16 and 17:
Contents D.3. Domain Framework Mode
Page 18 and 19:
List of Figures 6.4. Simple CORBA u
Page 20 and 21:
List of Figures 10.27. General read
Page 22 and 23:
Chapter 1. Introduction Railway Con
Page 24 and 25:
Chapter 1. Introduction MontiCore M
Page 26 and 27:
Chapter 1. Introduction ERTMS Forma
Page 29:
Part I. Background 9
Page 32 and 33:
Chapter 2. Concepts for Safe Railwa
Page 34 and 35:
Page 36 and 37:
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
Chapter 3. Domain-Specific Modellin
Page 44 and 45:
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
Page 54 and 55:
Page 56 and 57:
Page 59 and 60:
4The GOPPRR Meta Meta Model - An Ex
Page 61 and 62:
4.1. Concrete Syntax Description Fo
Page 63 and 64:
4.2. GOPPRR C++ Abstract Syntax Mod
Page 65 and 66:
4.2. GOPPRR C++ Abstract Syntax Mod
Page 67 and 68:
4.5. The Object Constraint Language
Page 69 and 70:
4.5. The Object Constraint Language
Page 71 and 72:
4.6. Tool Chain where artefacts are
Page 73 and 74:
4.7. Conclusion External Artefacts
Page 75:
Part II. Dependability 55
Page 78 and 79:
Chapter 5. Verification and Validat
Page 80 and 81:
Page 82 and 83:
Page 85 and 86:
6Security in Open Source Software A
Page 87 and 88:
6.1. Memory Management Open Meta Me
Page 89 and 90:
6.2. Hardware Virtualisation a fixe
Page 91 and 92:
6.2. Hardware Virtualisation in a v
Page 93 and 94:
6.2. Hardware Virtualisation Again,
Page 95 and 96:
6.2. Hardware Virtualisation the fa
Page 97:
Part III. openETCS Case Study 77
Page 100 and 101:
Chapter 7. openETCS Meta Model far
Page 102 and 103:
Chapter 7. openETCS Meta Model gEVC
Page 104 and 105:
Chapter 7. openETCS Meta Model gEVC
Page 106 and 107:
Chapter 7. openETCS Meta Model gMai
Page 108 and 109:
Chapter 7. openETCS Meta Model Outp
Page 110 and 111:
Chapter 7. openETCS Meta Model thei
Page 112 and 113:
Chapter 7. openETCS Meta Model gSub
Page 114 and 115:
Chapter 7. openETCS Meta Model The
Page 116 and 117:
Chapter 7. openETCS Meta Model can
Page 118 and 119:
Chapter 7. openETCS Meta Model The
Page 120 and 121:
Chapter 7. openETCS Meta Model List
Page 122 and 123:
Chapter 7. openETCS Meta Model 5 s
Page 124 and 125:
Chapter 7. openETCS Meta Model 7.5.
Page 126 and 127:
Chapter 7. openETCS Meta Model 12 )
Page 128 and 129:
Page 130 and 131:
Chapter 7. openETCS Meta Model Thus
Page 132 and 133:
Chapter 7. openETCS Meta Model In t
Page 134 and 135:
Chapter 7. openETCS Meta Model Valu
Page 136 and 137:
Chapter 7. openETCS Meta Model This
Page 138 and 139:
Chapter 7. openETCS Meta Model and
Page 140 and 141:
Page 142 and 143:
Chapter 8. openETCS Domain Framewor
Page 144 and 145:
Page 146 and 147:
Page 148 and 149:
Page 150 and 151:
Page 152 and 153:
Page 154 and 155:
Page 156 and 157:
Page 158 and 159:
Page 160 and 161:
Page 162 and 163:
Page 164 and 165:
Page 166 and 167:
Page 168 and 169:
Page 170 and 171:
Page 172 and 173:
Page 174 and 175:
Page 176 and 177:
Page 178 and 179:
Page 180 and 181:
Chapter 9. openETCS Generator Appli
Page 182 and 183:
Page 184 and 185:
Page 186 and 187:
Page 188 and 189:
Page 190 and 191:
Page 192 and 193:
Page 194 and 195:
Page 196 and 197:
Page 198 and 199:
Page 200 and 201:
Chapter 10. openETCS Model No Power
Page 202 and 203:
Chapter 10. openETCS Model c4 bool
Page 204 and 205:
Chapter 10. openETCS Model c1 c8 c1
Page 206 and 207:
Chapter 10. openETCS Model Applicat
Page 208 and 209:
Chapter 10. openETCS Model c1 c25 c
Page 210 and 211:
Chapter 10. openETCS Model Initiali
Page 212 and 213:
Chapter 10. openETCS Model Reverse
Page 214 and 215:
Chapter 10. openETCS Model 0 (CONST
Page 216 and 217:
Chapter 10. openETCS Model Current
Page 218 and 219:
Chapter 10. openETCS Model c7 bool
Page 220 and 221:
Chapter 10. openETCS Model Current
Page 222 and 223:
Chapter 10. openETCS Model The purp
Page 224 and 225:
Chapter 10. openETCS Model 10.3.3.
Page 226 and 227:
Chapter 10. openETCS Model be expla
Page 228 and 229:
Chapter 10. openETCS Model 10.4.4.
Page 231 and 232:
11 openETCS Simulation Generally, a
Page 233 and 234:
11.2. Platform Specific Model for t
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
11.3. Simulation Model Figure 11.6.
Page 241 and 242:
11.3. Simulation Model 11.3.2. CDMI
Page 243 and 244:
11.3. Simulation Model sets the Boo
Page 245 and 246: 11.3. Simulation Model Entering_Dri
Page 247 and 248: 11.3. Simulation Model The states o
Page 249 and 250: 11.3. Simulation Model Figure 11.13
Page 255: 11.6. Conclusion about warnings, fa
Page 258 and 259: Chapter 12. Conclusion and Outlook
Page 261: Part IV. Appendix 241
Page 264 and 265: Appendix A. GOPPRR to MOF Transform
Page 266 and 267: Appendix B. openETCS Meta Model Con
Page 273 and 274: DopenETCS Domain Framework D.1. Dom
Page 275 and 276: D.2. Domain Framework Source Code 8
Page 277: D.3. Domain Framework Model 32 m_pT
Page 280 and 281: Appendix E. openETCS Generator 39 <
Page 282 and 283: Appendix E. openETCS Generator 200
Page 284 and 285: Appendix E. openETCS Generator 46 4
Page 287 and 288: FMetaEdit+ Generators F.1. GOPPRR X
Page 289: GopenETCS Unit Testing G.1. Unit Te
Page 292 and 293: Appendix H. openETCS Simulation 14
Page 294 and 295: Appendix H. openETCS Simulation 25
Page 299 and 300: Glossary ANTLR ANother Tool for Lan
Page 301 and 302: Glossary EVC An European Vital Comp
Page 303 and 304: Glossary OEM An original equipment
Page 305: Glossary XML The Extensible Markup
Page 308 and 309: Bibliography [12] “EN 50128 - Rai
Page 310 and 311: Bibliography [39] ——, ““Ope
Page 312 and 313: Bibliography [69] T. J. Parr and R.
Page 315 and 316: Index Artefact, 51 Automatic train
Page 317 and 318: Index Linux, 149 Memory management,
show all

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

Create successful ePaper yourself

Delete template?

Save as template?