Glossary IPC In computing, Inter-proc<strong>es</strong>s communication is a set of methods for the exchange of data among multiple threads in one or more proc<strong>es</strong>s<strong>es</strong>. 121, 122, 143, 164 IS Isolation is an ETCS Mode. 18, 80 Java Java is a mo<strong>der</strong>n, object-oriented programming language. 22, 28, 36, 74, 280 Java bytecode Java bytecode is generated by Java compilers and interpreted by the Java virtual machine and therefore is (mostly) platform independent. 22 LZB Linienförmige Zugbeeinflussung is a cab signalling and train protection system used on selected German and Austrian railway lin<strong>es</strong> as well as the AVE in Spain. 12 MA In ATP, a Moving Authority allows a train to move about a certain distance. 186, 190, 192, 223 MDA Model-driven architecture is a software d<strong>es</strong>ign approach for the development of software systems. It provid<strong>es</strong> a set of guidelin<strong>es</strong> for the structuring of specifications, which are expr<strong>es</strong>sed as models. 3, 39, 50, 158, 164, 209, 211, 234–236, 281 MERL The MetaEdit+ Reporting Language is a script language used in MetaEdit+ to define code generators of graphical models. 37, 43, 44, 47, 50, 107, 108, 175, 176, 265, 266 meta meta model Model language that can be used to d<strong>es</strong>cribe or define a DSL / meta model. 2, 3, 6, 22, 23, 25, 28, 29, 32, 34–37, 39, 40, 43, 44, 46, 47, 50, 52–54, 62, 65, 79, 97, 148, 162, 164, 179, 235, 237, 241, 278–280 meta model Domain-Specific model language / DSL. 2, 3, 6, 7, 23, 25, 28, 29, 31, 32, 35–37, 39, 40, 43, 46, 47, 50, 52–54, 61, 62, 65, 66, 79–81, 83–85, 97, 98, 108–110, 115, 116, 119–122, 124, 126–128, 130, 131, 137, 149, 158, 162–164, 166, 169, 173, 175, 178, 179, 183, 201, 209, 225, 234–237, 241, 242, 248, 280, 281 MMU The Memory Management Unit is a computer component r<strong>es</strong>ponsible for handling memory acc<strong>es</strong>s<strong>es</strong> requ<strong>es</strong>ted by the CPU. 69, 74 moc The metaobject compiler is a tool that is run on the sourc<strong>es</strong> of a Qt program. It interprets certain macros from the C++ code as annotations and us<strong>es</strong> them to generate added C++ code with Meta Information about the class<strong>es</strong> used in the program. 143 MOF The Meta Object Facility is a meta meta model using the UML. 23, 25, 26, 28, 29, 36, 40, 50, 54, 162, 237, 241, 242, 277, 278 NL Non Leading is an ETCS Mode. 19 NP No Power is an ETCS Mode. 18, 80, 84 OCL The Object Constraint Language is used to define constraints for UML models. 47, 48, 50, 52–54, 80, 97, 100, 107, 120, 162, 169, 170, 178, 235, 242 282
Glossary OEM An original equipment manufacturer manufactur<strong>es</strong> products or components that are purchased by another company and retailed un<strong>der</strong> that purchasing company’s brand name. 5 OID The Object Identifier is formatted as a special string and used within MetaEdit+, which is always unique within a GOPRR project. 44, 170, 173, 175, 176 OMG The Object Management Group is a consortium that originally aimed at setting standards for distributed object-oriented systems and is now focused on modelling (programs, systems and busin<strong>es</strong>s proc<strong>es</strong>s<strong>es</strong>) and model-based standards. 23, 158, 277, 282 open model An open model is in a DSL or a MDA a concrete meta model instance / model that is developed and published un<strong>der</strong> the principl<strong>es</strong> of OSS / FLOSS. 65, 66, 69, 72, 74, 75, 79, 80, 281 open model software Software developed by DSM or in a MDA based on open models. 2, 7, 66, 69, 75, 76, 234–236 openETCS openETCS is the concept to use and provide ETCS software un<strong>der</strong> the principl<strong>es</strong> of FLOSS. 3, 5–7, 19, 20, 36, 46, 52, 53, 61, 66, 79–81, 83, 84, 98, 108–110, 115, 116, 119–122, 124, 126–128, 130, 131, 133, 134, 136, 141, 145, 147–149, 153–156, 158–160, 162, 163, 166, 169–171, 173–176, 178, 179, 183, 201, 202, 205, 209, 211–213, 215, 218, 223, 225, 234, 236, 237, 248, 249, 251, 255, 257, 261, 265, 267 OS On Sight is an ETCS Mode. 17 OSS Open-source software is distributed with public source code. 12, 13, 19, 36, 57, 61, 65, 69, 76, 169, 233, 235, 279, 281 PIM In software engineering, a Platform-Independent Model is a model of a software system that is independent of the specific technological platform used to implement it. 141, 143, 145, 147–149, 151, 154, 155, 159, 160, 174, 212, 215, 218, 236 PSM A platform-specific model is a model of a software that is linked to a specific technological platform. For example, a specific programming language, operating system, document file format or database.. 141, 145, 147, 148, 151, 154, 155, 159, 160, 174, 178, 211–213, 215, 217–219, 222, 223, 229, 236, 269 PT Post Trip is an ETCS Mode. 18, 80 PZB Punktförmige Zugbeeinflussung is an intermittent cab signalling system and train protection system used in Germany, Austria, Slovenia, Croatia, Romania, Israel and on one line in Canada. 12 Radio-Infill Radio based semi-continuous data transfer facility. 14 RTCA The Radio Technical Commission for Aeronautics develops guidance documents related to the FAA. 58, 60 283
- 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:
Chapter 2. Concepts for Safe Railwa
- Page 36 and 37:
Chapter 2. Concepts for Safe Railwa
- Page 38 and 39:
Chapter 2. Concepts for Safe Railwa
- Page 40 and 41:
Chapter 2. Concepts for Safe Railwa
- Page 42 and 43:
Chapter 3. Domain-Specific Modellin
- Page 44 and 45:
Chapter 3. Domain-Specific Modellin
- Page 46 and 47:
Chapter 3. Domain-Specific Modellin
- Page 48 and 49:
Chapter 3. Domain-Specific Modellin
- Page 50 and 51:
Chapter 3. Domain-Specific Modellin
- Page 52 and 53:
Chapter 3. Domain-Specific Modellin
- Page 54 and 55:
Chapter 3. Domain-Specific Modellin
- Page 56 and 57:
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:
Chapter 5. Verification and Validat
- Page 82 and 83:
Chapter 5. Verification and Validat
- 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:
Chapter 7. openETCS Meta Model 7.5.
- 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:
Chapter 7. openETCS Meta Model 7.8.
- Page 142 and 143:
Chapter 8. openETCS Domain Framewor
- Page 144 and 145:
Chapter 8. openETCS Domain Framewor
- Page 146 and 147:
Chapter 8. openETCS Domain Framewor
- Page 148 and 149:
Chapter 8. openETCS Domain Framewor
- Page 150 and 151:
Chapter 8. openETCS Domain Framewor
- Page 152 and 153:
Chapter 8. openETCS Domain Framewor
- Page 154 and 155:
Chapter 8. openETCS Domain Framewor
- Page 156 and 157:
Chapter 8. openETCS Domain Framewor
- Page 158 and 159:
Chapter 8. openETCS Domain Framewor
- Page 160 and 161:
Chapter 8. openETCS Domain Framewor
- Page 162 and 163:
Chapter 8. openETCS Domain Framewor
- Page 164 and 165:
Chapter 8. openETCS Domain Framewor
- Page 166 and 167:
Chapter 8. openETCS Domain Framewor
- Page 168 and 169:
Chapter 8. openETCS Domain Framewor
- Page 170 and 171:
Chapter 8. openETCS Domain Framewor
- Page 172 and 173:
Chapter 8. openETCS Domain Framewor
- Page 174 and 175:
Chapter 8. openETCS Domain Framewor
- Page 176 and 177:
Chapter 8. openETCS Domain Framewor
- Page 178 and 179:
Chapter 8. openETCS Domain Framewor
- Page 180 and 181:
Chapter 9. openETCS Generator Appli
- Page 182 and 183:
Chapter 9. openETCS Generator Appli
- Page 184 and 185:
Chapter 9. openETCS Generator Appli
- Page 186 and 187:
Chapter 9. openETCS Generator Appli
- Page 188 and 189:
Chapter 9. openETCS Generator Appli
- Page 190 and 191:
Chapter 9. openETCS Generator Appli
- Page 192 and 193:
Chapter 9. openETCS Generator Appli
- Page 194 and 195:
Chapter 9. openETCS Generator Appli
- Page 196 and 197:
Chapter 9. openETCS Generator Appli
- Page 198 and 199:
Chapter 9. openETCS Generator Appli
- 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:
11.2. Platform Specific Model for t
- Page 237 and 238:
11.2. Platform Specific Model for t
- 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: 11.3. Simulation Model Figure 11.14
- Page 253 and 254: 11.3. Simulation Model Figure 11.15
- 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: Appendix B. openETCS Meta Model Con
- Page 270 and 271: 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 296 and 297: Appendix H. openETCS Simulation 229
- Page 299 and 300: Glossary ANTLR ANother Tool for Lan
- Page 301: Glossary EVC An European Vital Comp
- 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,