SAFETUNNEL
Safe Tunnel
Project facts sheet
SAFEGUARD
- Start date: September 1st, 2002
- Duration: 15 months
- Funding scheme: Consulting activity funded by ENEA.
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.
Consortium
- Sapienza University of Rome (Italy)