diff --git a/glossary.tex b/glossary.tex index e6a07c2..1abcb03 100644 --- a/glossary.tex +++ b/glossary.tex @@ -49,11 +49,20 @@ text={ANBD-code}, description={Arithmetic coding scheme protecting against operand, operator and operation errors} } +\newglossaryentry{bochs}{% + name={Bochs}, + description={IA-32 emulator used by \Gls{fail}} +} \newglossaryentry{cored}{% name={Combined Redundancy}, first={Combined Redundancy (CoRed)}, description={Hardening technique utilizing \Gls{replication} in combination with an \glsdisp{anbcode}{ANB-coded} majority voter}, } +\newglossaryentry{farm}{% + name={FARM Model}, + text={FARM}, + description={Model to specify \Gls{fi} applications by structuring them into four sets: faults (\(F\)), activations (\(A\)), readouts (\(R\)), and measures (\(M\))} +} \newglossaryentry{iwasm}{% name={iWasm}, description={\Gls{wamr}'s standalone binary that provides a command-line interface to load and execute \Gls{wasm} modules using \Gls{vmcore}}