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

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

International Journal of Aerospace Engineering

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