Karsten Rahn

Energy-efficient driving in the context of a communications-based train control system (CBTC)

This paper presents the considerations which have been made in order to integrate a module for energy-efficient driving in the Trainguard MT communications-based train control (CBTC) system. The available information inside the CBTC system allows new ways of designing driver advisory systems and integrating them together with safety-related functions.

A formal systems engineering approach in practice: an experience report

This paper reports on a successful research transfer project executed in collaboration between Siemens AG, fortiss GmbH and Technische Universität München. The goal of the project was to evaluate if the SPES modeling framework (SPES MF), which has recently been developed by an industrial and academic consortium, and which is implemented within the tool AutoFOCUS3, can be directly applied to a real-life, productive, industrial system. To achieve this, we performed a case study, in which we created models for requirements and functionality for a part of a Siemens train automation system. The results indicate that the SPES MF can indeed be beneficially used in this context. Furthermore, by applying such a structured modeling approach, we were able to reveal several issues in the original requirements specifications. In this paper, we report on our experiences in setting up and performing such kind of collaboration between industry and academia. We discuss the success factors as well as problems that we encountered during the project.