L400 – Verificatie prognosemodel ‘moduul bodem, deel 4 diepe bron’

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.

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

De reader Geotechniek voor het HBO is opgezet als digitaal lesmateriaal en geschikt voor zelfstudie voor alle HBO-studenten Civiele Techniek.

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 de toekomst zullen tunnels steeds vaker te maken krijgen met extreme weersomstandigheden. Het COB-netwerk heeft een eerste verkenning gedaan om de risico’s van klimaatverandering ten aanzien van (toekomstige) tunnels in kaart te kunnen brengen. Het rapport formuleert activiteiten waarnaar in de (nabije) toekomst gehandeld moet worden.

De rekentool MKI-berekening en zwaartepuntanalyse hoort bij het rapport Toepasbaarheid MKI op TTI. Het bevat de data, onderbouwing en resultaten van het project met de oorspronkelijke naam 'Haalbaarheid MKI op TTI'.