1001 Smart Cities

Permanent project revision

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

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

Current revision. This is the snapshot used by the live entity page.

unreviewed

Corrected fundingModel from "public-budget" to "public", a value the taxonomy defines. The old value was outside the enum, so this entry formed a funding bucket of its own in every count that groups by it.

sha256:1d591bf2c28ada480430a25504770187b0b66b8c7f1364f3cbe1f26adc2bbf42
All revisions → Current entity page →

Change set

  • replace /snapshot/projectFingerprint — Updated projectFingerprint to the current sourced project record.
  • replace /snapshot/governance — Updated governance to the current sourced project record.
2
of 2 claims mapped
4
source dossiers
3
publication dates recorded
0
archives linked
0
exact locators
0
content captures hashed

Claims, one by one

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)

Source dossiers and revision state

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
Revision history → Permanent version link → Machine-readable record → Evidence Constitution →
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
Claims linked
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
Claims linked
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.