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.
Chapter 1. Introduction<br />
Railway<br />
Control<br />
Inv<strong>es</strong>tigation<br />
Domain-Specific<br />
Modelling<br />
Inv<strong>es</strong>tigation<br />
Safety<br />
Standards<br />
Inv<strong>es</strong>tigation<br />
FLOSS<br />
Inv<strong>es</strong>tigation<br />
ETCS<br />
Specification<br />
Evaluation<br />
GOPPRR<br />
Meta Meta Model<br />
Development<br />
Hardware<br />
Virtualisation<br />
Inv<strong>es</strong>tigation<br />
openETCS<br />
Meta Model<br />
Development<br />
openETCS<br />
Model<br />
Development<br />
openETCS<br />
Domain<br />
Framework<br />
Development<br />
openETCS<br />
Generator<br />
Development<br />
openETCS<br />
Simulation<br />
Development<br />
Figure 1.1.: R<strong>es</strong>earch proc<strong>es</strong>s of the main objectiv<strong>es</strong><br />
1.2. Main Contributions<br />
The following new, scientific contributions were gained by this dissertation:<br />
→ the introduction of open source software developed un<strong>der</strong> model-driven aspects with the<br />
new denomination open model software [26]<br />
→ the usage of hardware virtualisation as security measure in the railway domain for open<br />
source software [26]<br />
→ the GOPPRR 1 meta meta model as an extension of the existing GOPRR meta meta<br />
model that is applicable for the modelling of safety-critical systems [28]<br />
→ a graphical domain-specific language for a subset of the ETCS specification as case study<br />
including a formal specification language as meta model, a domain framework, a code<br />
generator, and a model of parts of the ETCS specification [71, 27, 28]<br />
→ the development of a completely model-driven tool chain for a case study of the European<br />
Train Control System (ETCS) for dependable software [27]<br />
Each point is discussed in detail in the following paragraphs.<br />
Initially, it was nec<strong>es</strong>sary to examine, which prerequisit<strong>es</strong> have to be met in or<strong>der</strong> to develop<br />
safety-critical control systems as open source software. Since the usage of Domain-Specific<br />
Modelling (DSM) [46] and the extension of such models by supplier-specific implementations<br />
impli<strong>es</strong> certain security related problems, those were analysed and discussed. The usage of<br />
hardware virtualisation [92] has been proposed as solution and is d<strong>es</strong>cribed in [26].<br />
The selection of an appropriate meta meta model is of certain inter<strong>es</strong>t since it builds the basis<br />
for the syntax definition of the Domain-Specific Language (DSL) [46]. Although the Graphs,<br />
Objects, Properti<strong>es</strong>, Rol<strong>es</strong>, and Relationships (GOPRR) [45, app. A] meta meta model fulfils<br />
most of the needs, the Graphs, Objects, Ports, Properti<strong>es</strong>, Rol<strong>es</strong>, and Relationships (GOPPRR)<br />
1 It must be noted that this acronym was also claimed by MetaCASE – developer of the MetaEdit+ [56]<br />
application – during the development of this work to also reflect the pr<strong>es</strong>ence of ports in their meta meta<br />
model. However, the GOPPRR meta meta model extension developed in this th<strong>es</strong>is must not be un<strong>der</strong>stood<br />
as a rival product of the GOPPRR meta meta model used in MetaEdit+ but as an extension for it that is<br />
required in the context of safety-critical systems.<br />
2