SAFETUNNEL - Safe Tunnel

Project Title: Safe Tunnel

Project Acronym: SAFETUNNEL

Funding Scheme: Consulting activity funded by ENEA.

Starting Date: September 2002

Project Duration in Months: 15

UNIROMA1 Unit Activity: The goal of this project is to investigate techniques to increase safety inside Alpine tunnels. Basically this project investigates the possibility of using a control centre to send suitable advise/commands to the vehicles inside the tunnel. Safety of the whole system of course depends on the interaction between the system components and the application layer protocols used for communication between the vehicles and the control centre. As an ENEA consultant our involvement in this project has been on the verification of such application layer protocols using model checking techniques.

Project Consortium: 1) Sapienza University of Rome (Italy)