On the domain-specific formalization of requirement specifications - a case study of ETCS

“Friedrich List” Faculty of Transport and Traffic Sciences Institute of Railway Systems and Public Transport

Chair of Transportation Systems Engineering

Diploma Thesis

ON THE DOMAIN-SPECIFIC

FORMALIZATION OF REQUIREMENT

SPECIFICATIONS – A CASE STUDY OF

ETCS*

Moritz Dorka

born on March 18th, 1988 in Kirchen (Sieg)

matr. no. 3472533, [email protected]

Examined by:

Prof. Dr. rer. nat. Jörg Schütte and Dr.-Ing. Sven Scholz

Supervised by:

Dr.-Ing. Sven Scholz

Submitted on June 19th, 2015

CHANGES TO THIS DOCUMENT

The electronic version of this paper has seen minor editing after official submission and prior to

its online publication. These changes are listed below.

• Added the poster (see facing page) which accompanied the defence of this thesis.

• Removed epigraphs preceding each section due to copyright concerns. Specifically those

were:

Section 1

A quote on the peculiar approach to software development at NASA.

Section 2

A statement regarding the common confusion over the meaning of shall

and will.

Section 3

An anecdote about allegedly unreadable code.

Section 4

A criticism concerning the lack of standardization in the ETCS domain.

Section 5

An alternative long form of the common Latin abbreviation “q.e.d.”.

Appendices

Various humorous key words to indicate legal obligations in specification

texts.

The sources of those texts are given at the positions where the respective epigraphs were

originally placed.

• The software “Reqtify” used to be defined as requirement traceability tool. This has been

changed to the more generic term requirements management tool.

• The display of different tick marks such as ` and ' in the various Listings of the

Appen-dices (esp. A.2) has been improved.

• The mention of “approx. 14%” has been changed into “approx. 7%” when talking about

the @DomainSpecific annotation in Section 3.6. Both numbers are, in fact, nothing more

than a wild guess. However, 7% makes more sense in the context.

• Minor fixes to spelling in [GKNV93], [IEE98], [MMK01] and [RAC11].

• Fixed a wrong in-text reference to a Listing in Section 2.3.1.

Note that both this page and the following page have been added to the document specifically

for the electronic edition of this thesis and are therefore exempted from page numbering.

Moritz Dorka, October 8th, 2015