Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants

<div>The comparison of performance overheads among full instruction duplication, Radish, and Radish_D.</div>

International Journal of Aerospace Engineering

Figure 4: Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants 