SATO 8: afgezonken tunnels 8 – benodigde voorzieningen

Deze publicatie omvat de indeling van SATO (Specifieke aspecten tunnelontwerp). De documenten zijn los te downloaden vanaf de kennisbank.

Afstudeeronderzoek naar de toepassing van staal-beton-staal-sandwichconstructies voor het fabriceren van afgezonken tunnelelementen. Met deze techniek kan een bredere dwarsdoorsnede van de tunnel worden gecreëerd.

De Werkwijzer monitoring zinktunnels is gericht op het inrichten van een monitoringsysteem in een tunnel, in samenhang met het daaropvolgende proces van data-analyse, data-interpretatie, het uitvoeren van een conditiebepaling van de tunnel en het voorspellen van toekomstig gedrag. De werkwijzer is bedoeld ter ondersteuning van de besluitvorming over monitoring: wat moet er worden gemonitord, op welke manier en met welke frequentie? Daarbij gaat het vooralsnog om het verzamelen van data voor wetenschappelijk onderzoek (door PhD-, PDeng- en MSc-studenten).

In juni 2023 is door de N.V. Westerscheldetunnel opdracht gegeven aan Arcadis Nederland BV (hierna Arcadis) om de stabiliteit van de constructie te beoordelen, de mogelijke oorzaak van de schade te onderzoeken en te adviseren over de te nemen maatregelen.

Degradation of materials used in tunnel construction can cause damage and eventually lead to tunnel closure. To support tunnel owners and their consultants in identifying, preventing, and stopping these failure mechanisms, the COB network has described more than fifteen types of damage along with instructions for maintenance and (non-destructive) inspection techniques.

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.