23 lines
965 B
TeX
23 lines
965 B
TeX
%! TeX program = lualatex
|
|
%! TeX root = ../../thesis.tex
|
|
\documentclass[../../thesis.tex]{subfiles}
|
|
|
|
\begin{document}
|
|
|
|
\section{Fault-Injection Leveraged}\label{sec:fail}
|
|
|
|
\begin{itemize}
|
|
\item FAIL*~\autocite{schirmeierFAILOpenVersatile2015} architecture
|
|
\item FailBochs backend, how does FAIL* inject
|
|
\item FAIL*'s generic-experiment
|
|
\item How to perform a FAIL* experiment
|
|
\end{itemize}
|
|
|
|
\Gls{fail}~\autocite{schirmeierFAILOpenVersatile2015} is an emulation-based vulnerability analysis tool.
|
|
It provides a toolset to perform \gls{fi} experiments to analyze the vulnerability of software to transient hardware faults.
|
|
In contrast to other \gls{fi} tools, \Gls{fail} enables deep simulator state access while simultaneously supporting multiple simulator backends, like BOCHS~\autocite{bochs} or gem5\footnote{\url[2026-07-02]{https://www.gem5.org/}}. % TODO: Give examples for other FI frameworks
|
|
|
|
% FAIL components/structure/architecture
|
|
|
|
\end{document}
|