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

More documents

Recommendations

Info

List of Figures 6.4. Simple CORBA usage example . . . . . . . . . . . . . . . . . . . . . . . . . . 74 7.1. DSM instances for the openETCS case study . . . . . . . . . . . . . . . . . . 79 7.2. openETCS meta model graphs, sub-graphs, and object occurrences . . . . . . 82 7.3. gEVCStateMachine bindings . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 7.4. Simple example from SRS transition table . . . . . . . . . . . . . . . . . . . . 84 7.5. Simple example for a gEVCStateMachine matrix . . . . . . . . . . . . . . . . 85 7.6. gMainFunctionBlock binding syntax . . . . . . . . . . . . . . . . . . . . . . . 86 7.7. gSubFunctionBlock binding syntax . . . . . . . . . . . . . . . . . . . . . . . . 92 7.8. gEmbeddedStateMachine binding syntax . . . . . . . . . . . . . . . . . . . . . 93 7.9. gCommunicationSender binding syntax . . . . . . . . . . . . . . . . . . . . . . 94 7.10. gCommunicationReader binding syntax . . . . . . . . . . . . . . . . . . . . . . 95 7.11. gTelegram binding syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 7.12. gPacket binding syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 7.13. Simple example of an open loop . . . . . . . . . . . . . . . . . . . . . . . . . . 109 7.14. Simple example of an closed loop . . . . . . . . . . . . . . . . . . . . . . . . . 109 7.15. Simple data flow example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 7.16. Simple state machine example . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 8.1. UML use case diagram for the openETCS domain framework . . . . . . . . . 123 8.2. Class diagram as overview of the openETCS domain framework . . . . . . . . 125 8.3. Class diagram of the function block classes . . . . . . . . . . . . . . . . . . . . 129 8.4. Class diagram of the function block classes for the data flow . . . . . . . . . . 130 8.5. Class diagram of the DMI classes . . . . . . . . . . . . . . . . . . . . . . . . . 132 8.6. Class diagram of the language classes . . . . . . . . . . . . . . . . . . . . . . . 133 8.7. Example of a gSubFunctionBlock graph with a simple data flow . . . . . . . . 134 8.8. UML interaction diagram for the example data flow in Figure 8.7 . . . . . . . 135 8.9. UML interaction diagram for the example control flow in Figure 7.16 . . . . . 136 8.10. Transition matrix for an simple EVC example . . . . . . . . . . . . . . . . . . 137 8.11. gMainFunctionBlock graph of “Starting” state (Figure 8.10) in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 8.12. gMainFunctionBlock graph of “Starting” state (Figure 8.10) in Application Level 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 8.13. UML interaction diagram for EVC state machine example in Figure 8.10 . . . 140 8.14. UML deployment diagram of the openETCS domain framework . . . . . . . . 142 8.15. UML component diagram for PIM and PSM of openETCS domain framework 144 8.16. UML class diagram of the integration of the platform specific interfaces . . . . 146 8.17. UML deployment diagram of the adaptor and interface artefacts . . . . . . . . 146 8.18. UML class diagram of the adaptor stub classes . . . . . . . . . . . . . . . . . 147 8.19. UML deployment diagram of the instantiation of PIM and PSM . . . . . . . . 148 8.20. Temporal execution of two unsynchronised data flow threads with a constant sample time T s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 8.21. Ideal temporal execution of two synchronised data flow threads with a constant sample time T s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 xvi
List of Figures 8.22. Example of global and local execution drift . . . . . . . . . . . . . . . . . . . 153 8.23. UML class diagram of the openETCS domain framework exception types . . . 156 8.24. UML class diagram of the basic openETCS domain framework unit testing elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 9.1. UML use case diagram for the openETCS generator . . . . . . . . . . . . . . 161 9.2. UML class diagram openETCS generator application . . . . . . . . . . . . . . 163 9.3. UML deployment diagram for the GOPPRR library . . . . . . . . . . . . . . . 165 9.4. UML component diagram for the GOPPRR library . . . . . . . . . . . . . . . 165 9.5. UML deployment diagram for the DSM library . . . . . . . . . . . . . . . . . 166 9.6. UML component diagram for the DSM library . . . . . . . . . . . . . . . . . . 167 9.7. UML deployment diagram for the openETCS generator application . . . . . . 167 9.8. UML component diagram for the openETCS generator application . . . . . . 168 9.9. UML interaction diagram of the generation process . . . . . . . . . . . . . . . 172 9.10. UML class diagram of the abstract model for data flow execution order generation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 9.11. Complete openETCS tool chain for dependable open model software . . . . . 178 10.1. Matrix of the openETCS gEVCStateMachine root graph . . . . . . . . . . . . 180 10.2. No Power Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . 182 10.3. “DMI No Power” gSubFunctionBlock graph . . . . . . . . . . . . . . . . . . . 182 10.4. Stand By Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . 184 10.5. Start of mission procedure as gEmbeddedStateMachine graph . . . . . . . . . 185 10.6. Stand By Mode in Application Level 1 . . . . . . . . . . . . . . . . . . . . . . 187 10.7. Unfitted Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . . 188 10.8. Speed supervision in Unfitted gSubFunctionBlock graph . . . . . . . . . . . . 189 10.9. Transition order evaluation in Unfitted as gEmbeddedStateMachine graph . . 189 10.10. Moving Authority evaluation in Unfitted as gEmbeddedStateMachine graph . 190 10.11. Staff Responsible Mode in Application Level 1 . . . . . . . . . . . . . . . . . . 191 10.12. Distance supervision in Staff Responsible as gSubFunctionBlock graph . . . . 192 10.13. Evaluation of national values as gEmbeddedStateMachine graph . . . . . . . . 193 10.14. Balise linking supervision as gEmbeddedStateMachine graph . . . . . . . . . . 193 10.15. Reverse movement protection as gSubFunctionBlock graph . . . . . . . . . . . 194 10.16. Full Supervision Mode in Application Level 1 . . . . . . . . . . . . . . . . . . 195 10.17. Dynamic speed profile supervision as gSubFunctionBlock graph . . . . . . . . 196 10.18. Trip Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . . . . 197 10.19. Train stop supervision in Trip as gSubFunctionBlock graph . . . . . . . . . . 197 10.20. Trip Mode in Application Level 1 . . . . . . . . . . . . . . . . . . . . . . . . . 198 10.21. Post Trip Mode in Application Level 1 . . . . . . . . . . . . . . . . . . . . . . 199 10.22. Reverse movement supervision in Post Trip as gSubFunctionBlock graph . . . 200 10.23. System Failure Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . 201 10.24. Isolation Mode in Application Level 0 . . . . . . . . . . . . . . . . . . . . . . 201 10.25. Reading of a level transition order as gCommunicationReader graph . . . . . 202 10.26. Reading of new national values as gCommunicationReader graph . . . . . . . 203 xvii
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 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 42 and 43: Chapter 3. Domain-Specific Modellin
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 251 and 252:
Page 253 and 254:
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 268 and 269:
Page 270 and 271:
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:
Page 296 and 297:
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?