- 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 33 and 34: 2.2. European Train Control System
- Page 35 and 36: 2.2. European Train Control System
- Page 37 and 38: 2.2. European Train Control System
- Page 39 and 40: 2.3. openETCS 2.2.3.13. Non Leading
- Page 41 and 42: 3Domain-Specific Modelling Domain-S
- Page 43 and 44: 3.1. Meta Meta Models DSM Definitio
- Page 45 and 46: 3.1. Meta Meta Models additional sy
- Page 47 and 48: 3.1. Meta Meta Models MultiplicityE
- Page 49 and 50: 3.1. Meta Meta Models Element Attri
- Page 51 and 52: 3.1. Meta Meta Models ::= | ::
- Page 53 and 54: 3.1. Meta Meta Models Relationship
- Page 55 and 56: 3.2. Meta Meta Model Comparison Por
- Page 57: 3.4. Conclusion 3.3.4. MetaEdit+ Me
- Page 60 and 61: Chapter 4. The GOPPRR Meta Meta Mod
- Page 62 and 63: Chapter 4. The GOPPRR Meta Meta Mod
- Page 64 and 65: Chapter 4. The GOPPRR Meta Meta Mod
- Page 66 and 67: Chapter 4. The GOPPRR Meta Meta Mod
- Page 68 and 69: Chapter 4. The GOPPRR Meta Meta Mod
- Page 70 and 71: Chapter 4. The GOPPRR Meta Meta Mod
- Page 72 and 73: Chapter 4. The GOPPRR Meta Meta Mod
- Page 74 and 75: Chapter 4. The GOPPRR Meta Meta Mod
- Page 77 and 78: 5Verification and Validation Since
- Page 79 and 80: 5.1. Applicable and Related Standar
- Page 81 and 82:
5.3. Software Life Cycle with Domai
- Page 83:
5.4. Conclusion MetaEdit+ GOPRR Met
- Page 86 and 87:
Chapter 6. Security in Open Source
- Page 88 and 89:
Chapter 6. Security in Open Source
- Page 90 and 91:
Chapter 6. Security in Open Source
- Page 92 and 93:
Chapter 6. Security in Open Source
- Page 94 and 95:
Chapter 6. Security in Open Source
- Page 96 and 97:
Chapter 6. Security in Open Source
- Page 99 and 100:
7openETCS Meta Model The meta model
- Page 101 and 102:
7.2. Concrete Syntax for Graph Type
- Page 103 and 104:
7.3. Concrete Syntax for Graph Bind
- Page 105 and 106:
7.3. Concrete Syntax for Graph Bind
- Page 107 and 108:
7.3. Concrete Syntax for Graph Bind
- Page 109 and 110:
7.3. Concrete Syntax for Graph Bind
- Page 111 and 112:
7.3. Concrete Syntax for Graph Bind
- Page 113 and 114:
7.3. Concrete Syntax for Graph Bind
- Page 115 and 116:
7.3. Concrete Syntax for Graph Bind
- Page 117 and 118:
7.4. Concrete Syntax for Type Prope
- Page 119 and 120:
7.5. Static Semantics for Models A
- Page 121 and 122:
7.5. Static Semantics for Models 1
- Page 123 and 124:
7.5. Static Semantics for Models 14
- Page 125 and 126:
7.5. Static Semantics for Models 4
- Page 127 and 128:
7.5. Static Semantics for Models 7.
- Page 129 and 130:
7.6. Dynamic Semantics for the Cycl
- Page 131 and 132:
7.7. Mathematical Model of the Dyna
- Page 133 and 134:
7.7. Mathematical Model of the Dyna
- Page 135 and 136:
7.7. Mathematical Model of the Dyna
- Page 137 and 138:
7.7. Mathematical Model of the Dyna
- Page 139 and 140:
7.7. Mathematical Model of the Dyna
- Page 141 and 142:
8openETCS Domain Framework This cha
- Page 143 and 144:
8.2. Design Strategy Figure 8.1.: U
- Page 145 and 146:
8.3. Structural Design Figure 8.2.:
- Page 147 and 148:
8.3. Structural Design CFunctionBlo
- Page 149 and 150:
8.3. Structural Design Figure 8.3.:
- Page 151 and 152:
8.3. Structural Design defines the
- Page 153 and 154:
8.4. Behavioural Design the QLabel
- Page 155 and 156:
8.4. Behavioural Design Figure 8.8.
- Page 157 and 158:
8.4. Behavioural Design execution (
- Page 159 and 160:
8.4. Behavioural Design for the fir
- Page 161 and 162:
8.5. Deployment Design 8.5. Deploym
- Page 163 and 164:
8.5. Deployment Design DriverMachin
- Page 165 and 166:
8.5. Deployment Design Hence, those
- Page 167 and 168:
8.5. Deployment Design According to
- Page 169 and 170:
8.6. Implementation 8.6. Implementa
- Page 171 and 172:
8.6. Implementation execution threa
- Page 173 and 174:
8.6. Implementation execution globa
- Page 175 and 176:
8.6. Implementation 8.6.6. Error Ha
- Page 177 and 178:
8.7. Verification Since C++ does no
- Page 179 and 180:
9openETCS Generator Application Thi
- Page 181 and 182:
9.2. Design Strategy Figure 9.1.: U
- Page 183 and 184:
9.3. Structural Design Since the UM
- Page 185 and 186:
9.4. Deployment Design Figure 9.3.:
- Page 187 and 188:
9.5. Implementation Figure 9.6.: UM
- Page 189 and 190:
9.5. Implementation The openETCS ge
- Page 191 and 192:
9.5. Implementation be discussed in
- Page 193 and 194:
9.5. Implementation outside the clo
- Page 195 and 196:
9.7. Verification and Validation in
- Page 197 and 198:
9.8. openETCS Tool Chain for Depend
- Page 199 and 200:
10 openETCS Model The openETCS mode
- Page 201 and 202:
10.2. Data and Control Flows in ETC
- Page 203 and 204:
10.2. Data and Control Flows in ETC
- Page 205 and 206:
10.2. Data and Control Flows in ETC
- Page 207 and 208:
10.2. Data and Control Flows in ETC
- Page 209 and 210:
10.2. Data and Control Flows in ETC
- Page 211 and 212:
10.2. Data and Control Flows in ETC
- Page 213 and 214:
10.2. Data and Control Flows in ETC
- Page 215 and 216:
10.2. Data and Control Flows in ETC
- Page 217 and 218:
10.2. Data and Control Flows in ETC
- Page 219 and 220:
10.2. Data and Control Flows in ETC
- Page 221 and 222:
10.3. Incoming Balise Telegrams c1
- Page 223 and 224:
10.3. Incoming Balise Telegrams BAL
- Page 225 and 226:
10.4. The ETCS Language 10.4. The E
- Page 227 and 228:
10.4. The ETCS Language # NID_PACKE
- Page 229:
10.5. Model Extensions 10.5. Model
- Page 232 and 233:
Chapter 11. openETCS Simulation The
- Page 234 and 235:
Chapter 11. openETCS Simulation Fig
- Page 236 and 237:
Chapter 11. openETCS Simulation Fig
- Page 238 and 239:
Chapter 11. openETCS Simulation f i
- Page 240 and 241:
Chapter 11. openETCS Simulation Fig
- Page 242 and 243:
Chapter 11. openETCS Simulation Fig
- Page 244 and 245:
Chapter 11. openETCS Simulation Fig
- Page 246 and 247:
Chapter 11. openETCS Simulation 11.
- Page 248 and 249:
Chapter 11. openETCS Simulation is
- Page 250 and 251:
Chapter 11. openETCS Simulation tel
- Page 252 and 253:
Chapter 11. openETCS Simulation Thu
- Page 254 and 255:
Chapter 11. openETCS Simulation Act
- Page 257 and 258:
12 Conclusion and Outlook This chap
- Page 259:
integration tests. Future work woul
- Page 263 and 264:
AGOPPRR to MOF Transformation Altho
- Page 265 and 266:
BopenETCS Meta Model Concrete Synta
- Page 267 and 268:
B.2. Object Type Properties Object
- Page 269 and 270:
B.3. Port Type Properties B.3. Port
- Page 271:
CopenETCS Model The complete openET
- Page 274 and 275:
Appendix D. openETCS Domain Framewo
- Page 276 and 277:
Appendix D. openETCS Domain Framewo
- Page 279 and 280:
EopenETCS Generator E.1. GOPPRR C++
- Page 281 and 282:
E.2. GOPPRR XML Schema Definition 1
- Page 283 and 284:
E.3. Generator Application Source R
- Page 285:
E.5. Generator Source Code 49 NodeS
- Page 288 and 289:
Appendix F. MetaEdit+ Generators F.
- Page 291 and 292:
HopenETCS Simulation H.1. Simulatio
- Page 293 and 294:
H.6. Simulation Abstract Machine Lo
- Page 295 and 296:
H.6. Simulation Abstract Machine Lo
- Page 297:
H.6. Simulation Abstract Machine Lo
- Page 300 and 301:
Glossary DIN Deutsches Institut fü
- Page 302 and 303:
Glossary IPC In computing, Inter-pr
- Page 304 and 305:
Glossary RV Reversing is an ETCS Mo
- Page 307 and 308:
Bibliography [1] “AMD-V TM Nested
- Page 309 and 310:
Bibliography [25] L. Ferier, S. Pin
- Page 311 and 312:
Bibliography [52] “Linux advanced
- Page 313:
Bibliography [84] “ERTMS/ETCS - C
- Page 316 and 317:
Index language, 21 meta meta model,
- Page 318:
Index libopenETCSPSMSIM, 215 platfo