Formalizes sensor telemetry in SIS–10, revealing implications for safety systems design.
This paper formalizes the role of continuous sensor telemetry within the SIS–10 safety kernel. We define typed sensor domains, stochastic measurement models, drift/bias/noise decomposition, failure predicates, predictive hazard scoring, reliability tracking, and a compositional safety invariant. The resulting formulation is compatible with SIS–10’s temporal algebra, event semantics, and SIL–based verification framework
No takes yet. Share an insight, caveat, or question.
Usman Zafar (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: