Ideas List

• do a data flow analysis on binary and quantify radiation risk for each value
  • fuzz + static analysis of non-fuzzed parts: path slicing
  • failure model for matrix dot products given properties of IEEE floats, can we extend to all computations automatically?
• knowing algorithm that we run means we can detect errors without duplicating the application
  • DMR for instructions that touch critical bits
• address you jump to is flipped -> all function addresses differing by 1 bit jump back to correct function
• Hexagon DSP for double modular redundancy
  • emit program as DSP/GPU code, and then compare end results?
• Memory scrubbing with the DSP? maybe GPU too?
• Hexagon DSP as a watchdog
  • Check the result of a computation with a lower-resolution problem
  • use DSP as a sketch for control flow