Abstrakt. I denna artikel introducerar vi konceptet för ett distribuerat järnvägskontrollsystem och presenterar specificeringen och verifieringen av huvudalgoritmen som används för säker distribuerad kontroll. Vår design och verikation bygger på RAISE-metoden, som börjar med mycket abstrakta algebraiska specikatjoner som omvandlas till direkt implementerbara distribuerade kontrollprocesser genom att tillämpa en rad re nement- och verikationssteg. Konkreta säkerhetskrav härrör från en abstrakt version som lätt kan valideras med avseende på sundhet och fullständighet. Komplexiteten minskas ytterligare genom att systemmodellen delas upp i en domänmodell som beskriver det fysiska systemet utan kontroll och en styrenhetsmodell som inför de säkerhetsrelaterade kontrollmekanismerna som en separat enhetskontroll som kan observeras av det fysiska systemet för att avgöra om det är säkert för ett tåg att röra sig eller för en punkt som ska bytas.
Haxthausen och Peleska REF utvecklade och kontrollerade formellt ett distribuerat järnvägskontrollsystem baserat på RAISE-metoden.
Formal Development and Verification of a Distributed Railway Control System
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}