In addition to the case studies presented here, we are currently working on two larger case studies. There intention is to evaluate, whether Saml and VECS can be applied for real world size system models that are currently on topic in systems engineering. This is on the one hand a model of the PZB (Punktförmige Zugbeeinflussung literally "punctiform train influencing"), which is the most used train protection system in Germany, and on the other hand the new ETCS (European train Control System), which is planned to be the new train controle system across many european countries.
For both case studies, we worked together with the Federal Railway Authority of Germany as well as with an independent railway expert and other system engineers from the rail domain. In combination with the modeling of these case studies, we developed a new engineering process supporting the construction and certification of safety critical applications. This procecss provides tracability and continuity from given requirements through the architectural modeling in UML to the formal model as well as the designed system.
The PZB (inductive train protection) is a system that forces trains to a standstill in case of driving too fast towards a stop. A running train is influenced by the interaction of magnets on the track and within the train.
The European Train Control System (ETCS) is an uniform European rail traffic management system designed to replace the many incompatible safety systems currently used by European railways. ETCS is based on on cab signalling and spot and/or continuous track to train data transmission. Instead of lineside signals, a computer in the driver's cab controls the speed and movement of the train, whilst taking account of other trains on the railway. ETCS is specified at four different levels (0-3) which are downward compatible.