Expeditie circulaire tunnels

Het Generiek Integraal Tunnel Ontwerp (GITO) bevat generieke modellen voor de besturingssystemen van tunnels van Rijkswaterstaat. Een formele verificatie van deze modellen bevordert de veiligheid en betrouwbaarheid van van GITO afgeleide tunnelcontrolesystemen. De GITO-modellen zijn niet formeel gespecificeerd, wat het gebruik van formele methoden om de juistheid van de modellen te verifiëren bemoeilijkt. In dit rapport wordt onderzocht in hoeverre een formele verificatie van deze modellen mogelijk is.

In deze literatuurstudie wordt gepoogd een handzaam overzicht te geven van de mogelijkheden voor ondergrondse toepassingen

In SATO (Specifieke aspecten tunnelontwerp) heeft Rijkswaterstaat richtlijnen voor het ontwerp van tunnels bijeengebracht. Hoofdstuk 8 'SAATU' gaat over specifieke aspecten van afgezonken tunnels. In paragraaf 8.2 wordt het opdrijven beschreven, het proces vanaf het gereedmaken van het bouwdok tot en met het aanmeren van de tunnelelementen.

Dit rapport bevat het eindrapport Brand in de Schipholtunnel op 11 juli 2001 door de Raad voor de Transportveiligheid. De Raad heeft de brand in de tunnel en de gevolgenbestrijding onderzocht om er lering uit te trekken en herhaling te voorkomen.

In dit rapport wordt een omschrijving gegeven van de economische aspecten van staal en composiet staalbeton tunnelconstructies. Het hoofddoel van het totale onderzoekstraject is het weergeven van de parameters die de kosten van een tunnel met een lining van staal of composiet staalbeton bepalen. Tevens wordt de gevoeligheid van deze parameters op de totaal te verwachten kosten in beeld gebracht en worden overige kostenaspecten behandeld.

Deze beleidsnota gaat in op de oplossingen voor het borgen van veiligheid in het besluitvormingsproces in de gebruiksfase en het bevorderen van veilig gedrag van tunnelgebruikers.