Integrating automatic verification of safety requirements in railway interlocking system design

Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Abstract

A railway interlocking system (RIS) is an embedded system (namely a supervisory control system) that ensures the safe, operation of the devices in a railway station. RIS is a safety critical system. We explore the possibility of integrating automatic formal verification methods in a given industry RIS design flow. The main obstructions to be overcome in our work are: selecting a formal verification tool that is efficient enough to solve the verification problems at hand; and devising a cost effective integration strategy for such tool. We were able to devise a successful integration strategy meeting the above constraints without requiring major modification in the pre-existent design flow nor retraining of personnel. We run verification experiments for a RIS designed for the Singapore Subway. The experiments show that the RIS design flow obtained from our integration strategy is able to automatically verify real life RIS designs.
Original languageEnglish
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States
Duration: 1 Jan 2001 → …

Conference

Conference6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001
CountryUnited States
CityBoca Raton
Period1/1/01 → …

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Dipoppa, G., D'Alessandro, G., Semprini, R., & Tronci, E. (2001). Integrating automatic verification of safety requirements in railway interlocking system design. Paper presented at 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001, Boca Raton, United States. https://doi.org/10.1109/HASE.2001.966821