Verificatierapport: langsvoeggedrag op basis van de elasticiteitstheorie

In dit afstudeerproject is het gedrag van een geboorde tunnelconstructie gelegen in zeer abrupt wisselende geologie onderzocht.

Het COB-netwerk heeft onderzoek gedaan naar de oorzaken en omvang van het 'oprupseffect': het geleidelijk aan cumulatief verplaatsen van mootvoegen in zinktunnels. Dit effect kan op lange termijn negatieve gevolgen hebben voor de structurele integriteit van de tunnel.

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 geeft een beschrijving van verkeerstunnels, van tram- en metrotunnels, van toekomstige tunnelprojecten en van veiligheid in ondergrondse verkeersinfrastructuur. Ook geeft het een overzicht van tunnels en aquaducten in Nederland met hun afmetingen, jaar van openstelling en bouwmethode.

Dit rapport bevat de resultaten van een onderzoek naar data enhanced modelling: het opnemen van meetdata in een model om tot betere voorspellingen te komen. De Drechttunnel diende als casus.

Voor deze rapportage heeft de werkgroep onderzoek gedaan naar de vraag 'Hoe kan een volwassenheidsmodel bijdragen aan een meer beheerst V&V-proces?