https://besok.github.io/tags/specifications/ Recent content in Specifications on besok Hugo en-us Sun, 08 Nov 2026 00:00:00 +0100 https://besok.github.io/posts/formal-verification-for-the-factory-specs/ Sun, 08 Nov 2026 00:00:00 +0100 https://besok.github.io/posts/formal-verification-for-the-factory-specs/ <h1 id="formal-verification-for-the-factory-specs">Formal Verification for the Factory Specs</h1> <p><strong>Summary.</strong> Technical specifications for robot-cell functions live in text documents and are re-implemented by hand in the design data, the MES, the PLC, and the robot code. This causes ambiguous readings, uncovered edge cases, contradicting rules, and out-of-sync limits. I propose writing the rules once in a typed, executable rule language, analyzing them with a solver, evaluating or generating them in each system, and checking the rule version at runtime. No existing tool covers the whole chain, so the approach needs a custom framework, and a proof of concept (PoC) has to validate it first.</p>