Automatic analysis of a safety critical tele control system

Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci

Research output: Contribution to conferencePaper

Abstract

We show how the Murφ model checker can be used to automatically carry out safety analysis of a quite complex hybrid system tele-controlling vehicles traffic inside a safety critical transport infrastructure such as a long bridge or a tunnel. We present the Murφ model we developed towards this end as well as the experimental results we obtained by running the Murφ verifier on our model. Our experimental results show that the approach presented here can be used to verify safety of critical dimensioning parameters (e.g. bandwidth) of the telecommunication network embedded in a safety critical system. © Springer-Verlag Berlin Heidelberg 2005.
Original languageEnglish
DOIs
Publication statusPublished - 2005
Event24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005 - , Norway
Duration: 1 Jan 2005 → …

Conference

Conference24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005
CountryNorway
Period1/1/05 → …

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Campagnano, E., Ciancamerla, E., Minichino, M., & Tronci, E. (2005). Automatic analysis of a safety critical tele control system. Paper presented at 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, Norway. https://doi.org/10.1007/11563228_8