Industrial control systems increasingly face adversarial threats, timing drift, transport manipulation, and multi-modal inconsistency. Traditional PLC, DCS, and SIS architectures assume benign timing, trusted networks, and deterministic sensor fusion—assumptions that no longer hold. This paper in troduces SIS-10 (2026), a formally complete, adversary-resilient, transport-authentic, and liveness guaranteed Safety Intelligence Kernel. SIS-10 integrates typed signal semantics, drift-aware temporal algebra, deterministic Byzantine consensus over (value, timestamp), monotonic SIL logic, invariant preserving semantic compression, deterministic ML fallback, predictive shutdown optimization, authenticated transport with global DAG ordering, and a weighted ∆-norm Safety Twin. We prove that SIS-10 satisfies the Indestructibility Condition: no state exists where (valid ∧ safe ∧ admissible) but the system is undefined, ambiguous, or forgeable. SIS-10 is shown to be complete, minimal, and non-improvable without expanding its scope, and maps cleanly onto PLC, DCS, and SIS layers..
Building similarity graph...
Analyzing shared references across papers
Loading...
Usman Zafar (Fri,) studied this question.
synapsesocial.com/papers/6a002162c8f74e3340f9c4aa — DOI: https://doi.org/10.5281/zenodo.20078832
Usman Zafar
Building similarity graph...
Analyzing shared references across papers
Loading...