Efficient protection for routing programs via semantics-aware instruction vulnerability assessment
High-energy particles can silently corrupt routing computations in space-based networks, yet conventional failure signals may not expose the resulting silent data corruption (SDC). Selective instruction duplication mitigates SDC, but frequency-based selection ignores routing semantics, and methods based on fault inject...