Verification of a Fail Safe Data Transceiver for Wireless Interlocking Communication

The Fail Safe Data Transceiver System (FSDTS) was developed as a safe, wire-less communication system between interlockings for South African Rails. It replaces the old hard-wired system based on concurrent communication by introducing a custom-made micro-controller-based component for serial communication. Here the focus will be on the use of formal methods for proving the essential dependability assumption that the new architecture ensures that the overall system behaviour is not compromised. The approach employs refinement and model-checking based on CSP-models and the model-checker FDR2. The analysis has been part of the overall Verification and Validation Suite for the FSDTS.

Download Slides Download Slides (233 Kb)

Download Paper Download Paper (174 Kb)

Flash player with movie here



  • Dr. Bettina Buth, HAW Hamburg (DE)

This presentation is part of session Deploying Mobile Technologies.