TY  - CONF
AU  - Campagnano, Edoardo
AU  - Ciancamerla, Ester
AU  - Minichino, Michele
AU  - Tronci, Enrico
ED  - Winther, R.
ED  - Gran, B. A.
ED  - Dahll, G.
PY  - 2005
DA  - 2005//
TI  - Automatic Analysis of a Safety Critical Tele Control System
BT  - 24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP)
T3  - Lecture Notes in Computer Science
SP  - 94
EP  - 107
VL  - 3688
PB  - Springer
CY  - Fredrikstad, Norway
AB  - We show how the Mur$\varphi$ 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$\varphi$ model we developed towards this end as well as the experimental results we obtained by running the Mur$\varphi$ 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.
SN  - 3-540-29200-4
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Campagnano2005.pdf
UR  - https://doi.org/10.1007/11563228_8
DO  - 10.1007/11563228_8
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=32), last updated on Sat, 24 Nov 2012 14:16:05 +0100
ID  - Campagnano_etal2005
ER  -