Maeslant Barrier: the Closure Decision Is Not a Person's

🤖 AI-generated summary of the sources below · 🔎 Last verified · ◆ 2 sourced claims, none individually verified yet

This overview was generated with AI from the public sources listed below and checked against them before publication. It has not had a complete human fact-check — treat it as a starting point and follow the sources.

How this atlas is made · What “last verified” means · What “source-checked” means · The full record behind this page

✎ Corrected 23 Aug 2026 Publication date recorded for 4 sources. · 3 revisions in all What changed →

Two 22-metre-high steel arms lie on the banks of the Nieuwe Waterweg at Hoek van Holland, inside Rotterdam's municipal boundary, and close the shipping channel that leads to the city and its port. Built between 1991 and 1997 and opened on 10 May 1997, the barrier is unusual not for its size but for who gives the order: a control system called BOS (Beslis- en Ondersteunend Systeem) predicts the surge from wind, tide and sea-level data and issues the closure command itself. The design deliberately takes the decision away from the duty officer. It has closed against a real storm surge twice — on 8 November 2007, in a season when the trigger had been lowered to 2.6 m above NAP for testing, and on 21 December 2023, the first automatic closure at the standard 3.0 m threshold. Every autumn it is closed once as a test.

Live 📅 since 1997
Evidence📊 Independent
what does this mean?The strongest source is an independent non-academic evaluation: an audit office, a government or EU review, or an NGO. It grades who did the looking — not how well the project went. All four grades →
Scale🌍 National

📊 Impact

Two real closures in 28 years of service (8 November 2007 and 21 December 2023) plus an annual test closure. The operational control software runs to roughly 200,000 lines of code, with a further 250,000 lines of simulation code; an independent team formally specified and verified its BesW component in mCRL2 in 2025, covering manual and test modes and fault situations.

🎓 Lesson

Automation is available where the trigger is unambiguous and the decision is binary — a predicted water level either crosses a threshold or it does not. That is exactly the condition most 'smart' city systems fail to meet, and it is why this barrier could hand the decision to software while an air-quality or traffic system cannot. The corollary is that the software becomes the safety-critical component, which is why verifying it is a research project in its own right.

Sources

↗ Wikipedia — MaeslantkeringPublished 22 July 2003Construction 1991-1997, opened 10 May 1997; BOS decides the closure from weather and sea-level data; 3.0 m above NAP threshold, temporarily lowered to 2.6 m for the 2007 season; annual test closure at the end of September or start of October; the two real closures on 8 November 2007 and 21 December 2023; code size figures.
↗ Beers, Booy, Groote, van den Bogaard and Bouwman — formal specification and verification of the BesW control system (arXiv preprint, submitted to FMICS 2025, 11 April 2025)Independent academic work, not operator material. Complete formal specification of the BesW software in mCRL2 including manual and testing modes and all fault situations, with behavioural properties verified in the modal mu-calculus. A preprint: submitted to FMICS 2025, not yet peer-reviewed at the time of writing. Stated verification limits: water levels restricted to a limited set of values, and not all pump and valve failure combinations are covered.
↗ CGI — intelligent decision and support system to control the flood barrierPublished 9 January 2018Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.
↗ Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriersPublished 5 January 2018Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.

📅 How old is the evidence?

Two clocks, kept apart: when this entry’s sources were published, and what has happened to its record in the atlas. Documented span: since 1997. 4 of 4 sources carry a publication date, from 22 July 2003 to April 2025.

When the sources were published

  1. Wikipedia (English) · communityWikipedia — Maeslantkering
  2. Netherlands Water Partnership (NWP) · industry associationDutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers
  3. CGI · vendorCGI — intelligent decision and support system to control the flood barrier
  4. arXiv (preprint repository) · researchBeers, Booy, Groote, van den Bogaard and Bouwman — formal specification and verification of the BesW control system (arXiv preprint, submitted to FMICS 2025, 11 April 2025)

Every source, with links ↑

What happened to this record

  1. Entered the record
  2. Sources last read
  3. Publication date recorded for 4 sources
  4. Publication date recorded for 4 sources
  5. Publication date recorded for 4 sources

Every revision, permanent →

Show your work What this page rests on and what it can’t tell you · all 2 claims with their sources · the forensic record

Evidence Passport · public beta 2 addressable claims, 4 source dossiers, one permanent baseline. The passport is unreviewed — an AI-assisted structural migration, not a human or expert endorsement. Every revision keeps a permanent copy under revision history.

Inspect the claims, one by one — verbatim text, sources and caveats for all 2

The text below is copied verbatim from the published record. Each claim names the source dossiers that carry it; caveats stay attached to the claim they qualify.

Claim 1 clm-936618135bade297 quantitative
Two real closures in 28 years of service (8 November 2007 and 21 December 2023)
Published field
impact · verbatim
Mapping
mapped · no interpretation or interpolation added by this passport
What the mapping says
Wikipedia lists exactly two non-test closures: 8 November 2007 (at the temporarily lowered 2.6 m trigger) and 21 December 2023 (the first automatic closure at the 3.0 m threshold), against an opening in May 1997.
Caveat
No claim-specific caveat recorded

Sources carrying this claim

  1. Wikipedia — Maeslantkering
Claim 2 clm-55690d0b5408375e quantitative
an independent team formally specified and verified its BesW component in mCRL2 in 2025
Published field
impact · verbatim
Mapping
mapped · no interpretation or interpolation added by this passport
What the mapping says
The preprint states a complete formal specification of the BesW software in mCRL2, including manual and testing modes and all fault situations, with behavioural properties verified in the modal mu-calculus.
Caveat
No claim-specific caveat recorded

Sources carrying this claim

  1. Beers, Booy, Groote, van den Bogaard and Bouwman — formal specification and verification of the BesW control system (arXiv preprint, submitted to FMICS 2025, 11 April 2025)
Forensic record — source dossiers, gaps, hashes and the exact revision this page renders

This layer records what is known about each source, what is still missing, and the exact snapshot this page is rendering. A missing date, archive or hash stays visible as missing.

unreviewed Revision 2026-08-23-funding-model-enum effective 2026-08-14 · created 2026-08-23

Awaiting operator and domain-expert review; publication of this revision implies neither.

sha256:1d591bf2c28ada480430a25504770187b0b66b8c7f1364f3cbe1f26adc2bbf42
2
of 2 claims mapped
4
source dossiers
3
publication dates recorded
0
archives linked
0
exact locators
0
content captures hashed

Governance facts carried by the record

Operator
Rijkswaterstaat
Actor types
national-government
Funding model
public
Funding description
Not recorded
Cost
Not recorded
Ownership
Not recorded
Decision rights
Not recorded
Exit conditions
Not recorded

4 source dossiers

Wikipedia — Maeslantkering en.wikipedia.org · 1 linked claim

Open original source ↗

Stable source ID
src-836e75ddb152ccf0
Publisher
Name not classified · en.wikipedia.org
Type / language
web-page · language not classified
Published
2003-07-22
Updated
Not recorded
Source last checked
No source-level check date
Record last verified
2026-08-14
Dossier created
2026-08-23
Retrieved copy
No local capture recorded
Archive
No archived copy linked
Content hash
No captured content hash
Locator
Open the recorded source note

Construction 1991-1997, opened 10 May 1997; BOS decides the closure from weather and sea-level data; 3.0 m above NAP threshold, temporarily lowered to 2.6 m for the 2007 season; annual test closure at the end of September or start of October; the two real closures on 8 November 2007 and 21 December 2023; code size figures.

Descriptive only — not page/paragraph exact
Beers, Booy, Groote, van den Bogaard and Bouwman — formal specification and verification of the BesW control system (arXiv preprint, submitted to FMICS 2025, 11 April 2025) arxiv.org · 1 linked claim

Open original source ↗

Stable source ID
src-bc2221e4cf28c8c8
Publisher
Name not classified · arxiv.org
Type / language
web-page · language not classified
Published
Not recorded
Updated
Not recorded
Source last checked
No source-level check date
Record last verified
2026-08-14
Dossier created
2026-08-23
Retrieved copy
No local capture recorded
Archive
No archived copy linked
Content hash
No captured content hash
Locator
Open the recorded source note

Independent academic work, not operator material. Complete formal specification of the BesW software in mCRL2 including manual and testing modes and all fault situations, with behavioural properties verified in the modal mu-calculus. A preprint: submitted to FMICS 2025, not yet peer-reviewed at the time of writing. Stated verification limits: water levels restricted to a limited set of values, and not all pump and valve failure combinations are covered.

Descriptive only — not page/paragraph exact
CGI — intelligent decision and support system to control the flood barrier cgi.com · background

Open original source ↗

Stable source ID
src-911d352edcfaba0f
Publisher
Name not classified · cgi.com
Type / language
web-page · language not classified
Published
2018-01-09
Updated
Not recorded
Source last checked
No source-level check date
Record last verified
2026-08-14
Dossier created
2026-08-23
Retrieved copy
No local capture recorded
Archive
No archived copy linked
Content hash
No captured content hash
Locator
Open the recorded source note

Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.

Descriptive only — not page/paragraph exact
Claims linked
Background source; no baseline claim points here
Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers dutchwatersector.com · background

Open original source ↗

Stable source ID
src-47d2afef627861bf
Publisher
Name not classified · dutchwatersector.com
Type / language
web-page · language not classified
Published
2018-01-05
Updated
Not recorded
Source last checked
No source-level check date
Record last verified
2026-08-14
Dossier created
2026-08-23
Retrieved copy
No local capture recorded
Archive
No archived copy linked
Content hash
No captured content hash
Locator
Open the recorded source note

Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.

Descriptive only — not page/paragraph exact
Claims linked
Background source; no baseline claim points here
Known limits of this passport
  • Publisher names and source languages have not yet been classified; domains are recorded without guessing.
  • Existing source notes are descriptive locators, not page- or paragraph-exact citations.
  • A missing archive, publication date or content hash is shown as null rather than inferred.
  • The project-level evidence grade ranks the strongest source in the entry; it is not a truth score for every claim.
📎 Cite this project

1001 Smart Cities (2026). “Maeslant Barrier: the Closure Decision Is Not a Person's” — Rotterdam, Netherlands. The Smart City Atlas. https://1001smartcities.org/projects/rotterdam-maeslantkering/ (last verified 2026-08-14). Data: CC BY 4.0.

The underlying data is free to reuse with attribution — see the open data page.

✉️ Get the next source-checked smart-city project in your inbox

One short email a week: the Landmark, one Insight, the new cities. No spam, one-click unsubscribe. About the newsletter · RSS