Rotterdam harbor storm barrier closes for the first time in its history
1–10 of 18 posts
Re: Rotterdam harbor storm barrier closes for the first time in its history
#2Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/...
Re: Rotterdam harbor storm barrier closes for the first time in its history
#3[deleted]
Re: Rotterdam harbor storm barrier closes for the first time in its history
#4Cool, but what does this mean?
Re: Rotterdam harbor storm barrier closes for the first time in its history
#5Cool, but what does this mean?
no ships can get in or out from a seriously large seaport
Re: Rotterdam harbor storm barrier closes for the first time in its history
#6FYI closing this gate has a huge economic impact and is left over to machines.
The reasoning is a person living in the country would close this gate by fear of loosing families etc, here CODE decides when the time is right to close or stay open. It uses a lot of data to monitor and predict the weather.
Re: Rotterdam harbor storm barrier closes for the first time in its history
#7The title of this is slightly inaccurate. It’s the first time the barrier has closed at its default 300cm surge level. It has previously closed for testing with the level set down to 280cm to test it in storm conditions.
Re: Rotterdam harbor storm barrier closes for the first time in its history
#8Cool, but what does this mean?
It seems to indicate that the sea level is higher than any time since it was constructed. There are significant winter storms in Northern Europe right now, so it’s not unexpected. However this is apparently a “once in a decade” occurrence so either the storms are very bad or the sea levels are unexpectedly high.
Re: Rotterdam harbor storm barrier closes for the first time in its history
#9FYI closing this gate has a huge economic impact and is left over to machines. The reasoning is a person living in the country would close this gate by fear of loosing families etc, here CODE decides when the time is right to close or stay open. It uses a lot of data to monitor and predict the weather.
> The reasoning is a person living in the country would close this gate by fear of loosing families
I don’t think that’s true. The official argument is that human operation wouldn’t reach the required reliability level (https://www.cs.vu.nl/~x/sil/sil.html: “The failure rate demands for this system were required to be 1:10000 for not closing when this was actually necessary, and 1:100000 for not opening the barrier when requested. This asymmetry is caused by the fact that if the sea surge barrier does not reopen, the river discharge can lead to flooding from the inside.”)
I think nobody knows for sure whether the conclusion that software alone would be more reliable than humans alone was correct (my money would be on “it wasn’t”). That’s hard to verify for such a system that “cannot be tested under the conditions for which it was designed” (https://www.researchgate.net/publication/220592956_Human_fac...).
You can’t do that statistically, either, as in real-world use it would take millennia to collect the necessary data, and that’s way longer than the design life of this structure.
Re: Rotterdam harbor storm barrier closes for the first time in its history
#10I love these kind of mega projects! Neat to see it in action.