Abstract
In this chapter, an efficient system-level approach to model and analyze the propagation of SEUs in a simple processor is introduced. The high-level model of the processor is formalized as a Continuous-Time Markov Chain (CTMC). Probabilistic model checking (PMC) is utilized to exhaustively estimate the impact of SEUs on the behavior of the processor. The proposed CTMC model is analyzed for different SEU injection scenarios and different bit-flip rates. Results demonstrate that the proposed approach can provide an accurate estimation of different metrics, such as Mean Time to Failure (MTTF), Mean Time to Recover(MTTR), Steady-State Availability (SSA), and the probability of failure for each SEU injection scenario in the system’s subcomponents. Furthermore, it is demonstrated that in comparison with existing simulation based analysis of fault impact evaluation, the presented approach is orders of magnitude faster in terms of analysis time.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
