L400 – Module tunnel en aardebaan

Dit rapport bevat een inventarisatie van ontwerpeisen en bijbehorende ontwerpmethoden voor boortunnels onder Nederlandse omstandigheden.

In opdracht van de projectorganisatie HSL-Zuid is een rekenmodel ontwikkeld voor de analyse van geboorde tunnels met gesegmenteerde lining. Dit model heet BORTAS en is geschikt voor analyse van zowel de bouwfase als de gebruiksfase van de lining van geboorde tunnels.

In dit rapport wordt het boorproces van de Tweede Heinenoordtunnel geëvalueerd. De opgedane kennis met betrekking tot het hoofdonderdeel 'boortechnologie' wordt samengevat, predicties voor en metingen aan diverse processen worden vergeleken en conclusies en aanbevelingen worden gegeven.

De resultaten van de eerste fase van het onderzoek naar het prototype van de drukopnemer gebruikt bij de Sophiaspoortunnel zijn beschreven in het voorliggende rapport. Allereerst wordt ingegaan het ontwerp van de meetring, waaronder een specificatie van de benodigde onderdelen (apparatuur, bekabeling e.d.) en de plaatsing van de drukopnemers op de segmenten. Daarna volgt een beschrijving van het ontwerp van een prototype van de drukopnemer zoals die in de meetring toegepast zou moeten worden.

De commissie L500 heeft als doelstelling het ontwikkelen en vastleggen van criteria, rekenmodellen en veiligheidsfactoren voor het ontwerp van boortunnels in Nederlandse omstandigheden. De werkgroep L520, 'rekenmodellen geotechniek', concentreert zich op de geotechnische aspecten hiervan.

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.