Sensor Telemetry in SIS–10: A Formal Mathematical Specification

Key Points

• The aim is to formalize continuous sensor telemetry within the SIS–10 safety kernel using mathematical specifications.
• Defined typed sensor domains and stochastic measurement models.
• Developed drift, bias, and noise decomposition techniques.
• Created failure predicates and predictive hazard scoring methods.
• Implemented reliability tracking and a compositional safety invariant.
• Established a formulation compatible with SIS–10's temporal algebra.
• Integrated event semantics and a SIL-based verification framework.

Abstract