Designing Safety-Critical Software on Non-Lockstep Hardware

Abstract Modern safety-critical software increasingly relies on stateful algorithms such as observers, filters, and estimators. When deployed on processors without lockstep execution support, transient hardware faults can silently corrupt internal st...