Handleiding start COB

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.

Deze presentatie gegeven als onderdeel van de workshop 'Geotechnische risico's en contracten' en geeft een overzicht van de momenten waarop contracten worden afgesloten, verschillende contractvormen en de (geotechnische-) risicoverdeling in contracten.

Deze presentatie werpt een blik op het proces van het magnesium - EDC cluster.

Op 21 en 22 april 2015 organiseerde het KPT een bijeenkomst over de evaluatie van het incident in de Heinenoordtunnel. Deze pdf omvat de presentatie van Remco van Werkhoven (Veiligheidsregio Rotterdam-Rijnmond) over de reconstructie van het incident.

Op 21 en 22 april 2015 organiseerde het KPT een bijeenkomst over de evaluatie van het incident in de Heinenoordtunnel. Vanuit Efectis is onderzoek gedaan naar de brandbelasting. De uitwerking van dit onderzoek is in deze presentatie weergegeven.

De organisatie Landesbetrieb Straßen, Brücken und Gewässer Hamburg (LSBG) wilt graag incidenten in de Elbetunnel automatisch kunnen detecteren. In deze presentatie worden twee mogelijke detectiesystemen met elkaar vergeleken.