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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Contents<br />
Acknowledgments<br />
Zusammenfassung<br />
Abstract<br />
Contents<br />
List of Figur<strong>es</strong><br />
v<br />
vi<br />
vii<br />
ix<br />
xv<br />
1. Introduction 1<br />
1.1. Objectiv<strong>es</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />
1.2. Main Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2<br />
1.3. Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
1.4. Structure of this Document . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
I. Background 9<br />
2. Concepts for Safe Railway Operation and Control 11<br />
2.1. Requirements for a Train Control System as Open Source Software . . . . . . . 12<br />
2.2. European Train Control System . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
2.2.1. General Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
2.2.2. Application Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
2.2.3. Operational Stat<strong>es</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16<br />
2.2.4. Mode Transitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
2.3. openETCS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
2.4. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />
3. Domain-Specific Modelling 21<br />
3.1. Meta Meta Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
3.1.1. Meta Object Facility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
3.1.2. Ecore . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28<br />
3.1.3. Extensible Markup Language with Schema Definition . . . . . . . . . . 28<br />
3.1.4. Backus-Naur Form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
3.1.5. Graph, Object, Property, Role, and Relationship . . . . . . . . . . . . . 31<br />
3.2. Meta Meta Model Comparison . . . . . . . . . . . . . . . . . . . . . . . . . . . 35<br />
3.3. Domain-Specific Modelling Development Applications . . . . . . . . . . . . . . 36<br />
3.3.1. Xtext . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36<br />
3.3.2. Graphical Modelling Framework . . . . . . . . . . . . . . . . . . . . . . 36<br />
ix
Change language