Predicting deviations in software execution paths due to EMI injection via reachable sets and random delays

摘要

We describe the process of calculating reachable sets for the dynamics of a hybrid model of logic gates. We then use this framework to estimate the impact of electromagnetic interference on the execution of a segment of code. We consider temporal changes as well as changes to the initial conditions in the logic gates, and we consider their impact on the intended software execution.