B3 · Proof · Falke plant PoC/Demo
Safety gaps in your machine —
visible before the assessor finds them.
The gap analysis reads the simulated robot plant of the Falke works against ISO 10218-2, ISO 13849 and ISO 13855. Findings with an identifier, sealed.
Gaps are not searched. They light up.
The gap analysis reads the simulated plant. The 10 integrity findings hurt most: safety functions with a PL d or SIL 2 demand, implemented on the performance layer, without a safe monitor.
▸ PoC/Demo · Falke plant · the same counts as in the ViTwin app
The run reads this hall.
Cell 02 assembles wheels, cell 03 labels. The protection zones are computed live: stop at 2.5 m, warning at 3.3 m, monitor at 4.3 m, per ISO 13855. The gap analysis reads this plant. Five kinds of finding, 538 in total.
Open the hall
From risk assessment to validation.
At cell 02 the chain is concrete: hazard from the worker in the zone, required performance level, protective stop, the three distances, validation. Where a link is missing, the finding lights up.
For example: hazard → required PLr → safety function → safety PLC → sensor & actuator → test
Five kinds of finding. One sealed package.
NORM_GAP · 378: A clause of ISO 10218-2, ISO 13849 or ISO 13855 is in scope of this plant and has no system proof. Clauses out of scope are not counted.
SYS_GAP · 9: A plant requirement has no software requirement under it that carries it.
OVER_FILL · 57: A software requirement has no plant requirement above it.
TEST_GAP · 84: A requirement of the plant has no test. The proof stops at the document, not at behaviour checked at the cell.
INTEGRITY_GAP · 10: Safety functions with a PL d or SIL 2 demand sit on the performance layer, without a safe monitor. The hall shows the protective stop. The finding says what it does not rest on.
Seal 331b4c3c91b7… · SHA-256 over the sorted findings · no ISO norm texts in the package — identifiers and short paraphrased titles only
Items become edges.
Reads
Hall 2: cells, protection zones, safety functions and tests against ISO 10218-2, ISO 13849 and ISO 13855
Transforms
Only in-scope is counted · five kinds of finding, 538 in total
Writes back
538 findings · SHA-256, no norm texts in the package
On AI mapping: an LLM only proposes candidate mappings — the rule engine decides. No LLM in the audit-evidence path.
Honest status.
The sealed run of the Falke plant.