Risicobeheersing WB-2: Parameters voor het rekenprogramma Catsby

Dit document is een congresverslag van het 'Congres Tweede Heinenoordtunnel' gehouden op 14 januari 1999 te Rotterdam.

Op deze website van het kennisplatform tunnelveiligheid zijn veel documenten en links naar kennisproducten vermeld, tevens zijn de gestelde vragen en antwoorden vermeld en is er een mogelijkheid om deel te nemen aan een forum met interessante stellingen.

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.4 wordt het proces van afzinken beschreven.

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.

Dit rapport behandelt de eerste resultaten van een eerste evaluatie van de uitgevoerde metingen van de tunnel onder het Pannerdensch Kanaal, m.b.t. het onderzoek naar de onderlinge beïnvloeding van twee geboorde tunnels.

Ten behoeve van het ontwerp en de bouw van de Tweede Heinenoordtunnel, de eerste boortunnel die in typisch Nederlandse bodemomstandigheden is gebouwd, is een uitgebreid bodemonderzoek uitgevoerd, waarbij zowel veldexperimenten als laboratoriumexperimenten onderdeel waren van dit onderzoek.