DB Netz and ProRail: Agreement signed for international knowledge cooperation with universities in the signalling domain
Developments in technology are going faster and faster. We also want to achieve the benefits in the signalling domain. The dilemma is that the development of safe systems must be done carefully, the safety assessment of modern technology is becoming increasingly complex and takes longer. In 2017, an initial study showed that formal mathematical methods can help us to solve this dilemma. The signed contract helps us to reach this goal: in international cooperation and with leading knowledge institutes, we develop methods that can be used to demonstrate the safe functioning of the combination of subsystems.