National Transport Library Research Database

Generisk verifiering av signalsystem (Generic verification of signaling systems)

  • Boman, Mats
  • Prover Technology AB, Svenskt företag eller organisation, 556535-2795
Sponsors, duration, budget: Trafikverket ; 2024-11-18 -- 2026-07-01 Registration number:
  • Trafikverket 2023/97760
Subject(s): Summary: Trafikverket ansvarar för kravställning för signalsystem (tågskyddssystem) och de principer som gäller för signalering för ERTMS och konventionella system. Kravställning sker på en generell/generisk nivå och är textbaserad. Signalsystem är komplexa system och i detta utmanas både Trafikverket och leverantörer att förstå kraven i sitt sammanhang. I signalprojekt och i signalsystem finns fel och brister som kan härledas till kravställning. Projektet syftar till att utveckla nya formella metoder för att möjliggöra effektiv kravställning och generisk verifiering av signalsäkerhetssystem. Generisk verifiering och validering är attraktivt ur ett affärsperspektiv eftersom det leder till tids- och kostnadsbesparingar. Dessutom underlättar det felsökning och validering av de generiska kraven, vilket i förlängningen bidrar till ökad kvalitet hos dessa.Summary: The Swedish Transport Administration is responsible for requirements for signaling systems (train protection systems) and the principles that apply to signaling for ERTMS and conventional systems. Requirements are set at a general/generic level and are text-based. Signal systems are complex systems and in this both the Swedish Transport Administration and suppliers are challenged to understand the requirements in their context. In signaling projects and in signaling systems, there are errors and deficiencies that can be derived from requirements. The project aims to develop new formal methods to enable efficient requirement setting and generic verification of signal security systems. Generic verification and validation is attractive from a business perspective because it leads to time and cost savings. In addition, it facilitates troubleshooting and validation of the generic requirements, which in the long run contributes to increased quality of these.
Item type: