Designing Safety-Critical Software on Non-Lockstep Hardware

Feb 18 · 18 min read · 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...