From 10620c3d7d9473c9cabde26b45db8bf5e30bafc8 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Thu, 10 Sep 2026 17:14:21 +0200
Subject: [PATCH] Add bochs/farm glossary entries

---
 glossary.tex | 9 +++++++++
 1 file changed, 9 insertions(+)

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}}