Universität zu Köln

Simon, Dirk ORCID: 0009-0003-6493-1613 (2026). Sovereignty by Design: Overcoming the Normalization of Deviance through Mathematical Fidelity. The Sovereign Controller Curriculum (SSC) as a Formal Safety Foundation. Working Paper.

PDF (PDF) SSC_Simon_Dirk (2).pdf - Published Version Bereitstellung unter der CC-Lizenz: Creative Commons Attribution. Download (701kB)

Abstract

This paper establishes the Sovereign Controller Curriculum (SSC) as a rigorous, formal safety foundation for implementing adaptive, high-performance algorithms within safety-critical railway infrastructure. Moving beyond traditional heuristic testing and subjective expert judgment, the SSC replaces "estimating" safety with "commanding" it through mathematical necessity to achieve SIL 4 certification. The core of the framework is the construction of a "Mathematical Cage": mapping the system state into a complete Hilbert Space H and defining safety as a geometric invariant. The functional sovereignty of the controller over non-deterministic AI proposals (QM-level) is mathematically enforced via metric orthogonal projections onto the Safe Action Domain Omega_SA. The analysis proves that a seamless SIL 4 proof chain is achievable through the integration of a recursive eta-Monitor for Lipschitz budgeting and a Sterbenz Guard to ensure numerical integrity and eliminate catastrophic cancellation in floating-point arithmetic. Topological Integrity is maintained by utilizing Zonotopic Flowpipes and reachability analysis, ensuring the physical future remains a conservative subset of the formal safety description. Finally, absolute Freedom from Interference (FFI) is guaranteed through hardware-level enforcement, utilizing a physical Interlock-Gate and dedicated hardware partitioning. By addressing the "Normalization of Deviance" through Mathematical Fidelity, this manifesto provides the blueprint for an autonomy that is no longer subject to human interpretation but is governed by the laws of physics and logic. Sovereignty by Design – The SSC Blueprint

Item Type:	Monograph (Working Paper)
Translated abstract:	Abstract Language Diese Arbeit etabliert das Sovereign Controller Curriculum (SSC) als rigorose, formale Sicherheitsgrundlage für die Implementierung adaptiver Hochleistungsalgorithmen in sicherheitskritischer Eisenbahninfrastruktur. Über traditionelle heuristische Tests und subjektive Expertenurteile hinaus ersetzt das SSC die „Schätzung“ von Sicherheit durch deren „Steuerung“ mittels mathematischer Notwendigkeit, um die SIL-4-Zertifizierung zu erreichen. Kern des Frameworks ist die Konstruktion eines „mathematischen Käfigs“: die Abbildung des Systemzustands in einen vollständigen Hilbertraum H und die Definition von Sicherheit als geometrische Invariante. Die funktionale Souveränität des Controllers über nichtdeterministische KI-Vorschläge (QM-Niveau) wird mathematisch durch metrische orthogonale Projektionen auf den sicheren Aktionsbereich Omega_SA sichergestellt. Die Analyse beweist, dass eine nahtlose SIL-4-Beweiskette durch die Integration eines rekursiven Eta-Monitors für Lipschitz-Budgetierung und eines Sterbenz-Guards zur Gewährleistung numerischer Integrität und zur Vermeidung katastrophaler Auslöschungen in Gleitkommaarithmetik erreichbar ist. Die topologische Integrität wird durch zonotopische Flussleitungen und Erreichbarkeitsanalysen gewährleistet, wodurch sichergestellt wird, dass die physikalische Zukunft eine konservative Teilmenge der formalen Sicherheitsbeschreibung bleibt. Absolute Interferenzfreiheit (FFI) wird durch Hardware-basierte Maßnahmen mittels eines physikalischen Verriegelungsgatters und dedizierter Hardware-Partitionierung garantiert. Indem dieses Manifest die „Normalisierung von Abweichungen“ durch mathematische Genauigkeit adressiert, liefert es den Entwurf für eine Autonomie, die nicht länger menschlicher Interpretation unterliegt, sondern den Gesetzen der Physik und Logik folgt. Sovereignty by Design – The SSC Blueprint German
Creators:	Creators Email ORCID ORCID Put Code Simon, Dirk dsimon10@smail.uni-koeln.de https://orcid.org/0009-0003-6493-1613 UNSPECIFIED
URN:	urn:nbn:de:hbz:38-799611
Identification Number:	10.5281/zenodo.18881406
Number of Pages:	54
Date:	5 March 2026
Language:	English
Faculty:	Faculty of Management, Economy and Social Sciences
Divisions:	Ehemalige Fakultäten, Institute, Seminare > Faculty of Management, Economy and Social Sciences > no entry
Subjects:	Social sciences
Uncontrolled Keywords:	Keywords Language SIL 4, Normalization of Deviance, Hilbert Space, $\eta$-Monitor (Lipschitz Budgeting, EN 50129 Compliance, Formal Verification, Railway Automation, Sovereignty-by-Design, Zonotopic Flowpipes, Borel Integrity, Lyapunov Shield (Stability Enforcement), Hardware Interlock-Gate, Freedom from Interference (FFI), Reachability Analysis English SIL 4 (Sicherheitsintegritätslevel 4), Normalisierung von Devianz, Hilbert-Raum, $\eta$-Monitor (Lipschitz-Budgetierung), EN 50129 Konformität, Formale Verifikation , Bahn-Automatisierung, Souveränität durch Design, Zonotopische Flowpipes (Erreichbarkeitsanalyse), Borel-Integrität, Lyapunov-Shield (Stabilitätsdurchsetzung), Hardware-Interlock-Gate, Rückwirkungsfreiheit (Freedom from Interference), Deterministische Zeitplanung (WCET) German
Refereed:	No
URI:	http://kups.ub.uni-koeln.de/id/eprint/79961