Analyzing Internal Propagation

• Extended Propagation Analysis (EPA):

  • Set variable count to 0
  • Randomly select an input x according to D
  • Alter the value of variable sensor input variable a or program variable a at location l and execute the succeeding code.
  • Increment count if the output anomaly satisfies PRED
  • If count > 0, then mitigate.

repeat

Previous slide

Next slide

Back to first slide

View graphic version