Significant publication in "SIGNAL + DRAHT"
Our article "Efficient safety verification using model-based system analysis" was published in the current issue 06/2017 of the trade journal "SIGNAL+DRAHT" for signaling, communication and information technology in rail transport. In this article, we describe a procedure for safety analysis in development and approval processes for signaling and train protection technology. The aim is to realize the use of model-based, formal procedures and at the same time to reduce the effort for the use of these procedures to a level that is acceptable in practice. The article was developed in cooperation with the Thales Group and an independent expert.