System-Level Characterization, Modeling, and Probabilistic Formal Analysis of LEON3 Vulnerability to Transient Faults

This paper presents a continuous-time Markov chain modeling, analysis, and estimation of the LEON3 proces-sor`s vulnerability to Single Event Upsets (SEUs). At the system-level, the proposed technique provides new insights into SEU propagation probabilities and latency.