\makeglossaries{}

% Refer to entries using \gls, \Gls, \glspl, \Glspl

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Acronyms
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% \newacronym[
%   text={text in the glossary (uses text in the document if omitted)},
%   plural={plural text in the document (uses text if omitted)},
%   description={description in the glossary (uses description in the document if omitted)},
% ]{key}{text in the document}{description in the document}

\newacronym[description={Ahead-of-Time}]{aot}{AOT}{ahead-of-time}
\newacronym{fail}{FAIL*}{Fault-Injection Leveraged}
\newacronym[description={Faul-Injection}]{fi}{FI}{fault-injection}
\newacronym[description={Detected Unrecoverable Error}]{due}{DUE}{detected unrecoverable error}
\newacronym[description={Just-in-Time}]{jit}{JIT}{just-in-time}
\newacronym[description={Silent Data Corruption}]{sdc}{SDC}{silent data corruption}
\newacronym{wamr}{WAMR}{WebAssembly Micro Runtime}
\newacronym{wasm}{Wasm}{WebAssembly}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Glossary Entries
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% \newglossaryentry{key}{%
%   name={text in the glossary},
%   text={text in the document (uses name if omitted)},
%   plural={plural text in the document (uses text if omitted)},
%   description={description in the glossary},
% }

\newglossaryentry{ancode}{%
  name={AN-Code},
  text={AN-code},
  description={Arithmetic coding scheme protecting against operand errors}
}
\newglossaryentry{anbcode}{%
  name={ANB-Code},
  text={ANB-code},
  description={Arithmetic coding scheme protecting against operand and operator errors}
}
\newglossaryentry{anbdcode}{%
  name={ANBD-Code},
  text={ANBD-code},
  description={Arithmetic coding scheme protecting against operand, operator and operation errors}
}
\newglossaryentry{replication}{%
  name={Replication},
  text={replication},
  description={Hardening technique utilizing replicated hardware or execution in combination with a majority voter}
}
\newglossaryentry{cored}{%
  name={Combined Redundancy},
  first={Combined Redundancy (CoRed)},
  description={Hardening technique utilizing \Gls{replication} in combination with an \gls{anbcode}d majority voter},
}
\newglossaryentry{wamrc}{%
  name={wamrc},
  description={\Gls{wamr}'s \gls{aot} compiler for \Gls{wasm}}
}
