christoph/experimental-evaluation-of-webassembly-under-transient-fault-conditions-for-safety-critical-systems
1
Fork 0
Code Activity

Add bochs/farm glossary entries

Browse Source
This commit is contained in:
christoph
2026-09-10 17:14:21 +02:00
parent 7357f744b2
commit 10620c3d7d
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
glossary.tex
+9
View File
@@ -49,11 +49,20 @@
text={ANBD-code}, text={ANBD-code},
description={Arithmetic coding scheme protecting against operand, operator and operation errors} 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}{% \newglossaryentry{cored}{%
name={Combined Redundancy}, name={Combined Redundancy},
first={Combined Redundancy (CoRed)}, first={Combined Redundancy (CoRed)},
description={Hardening technique utilizing \Gls{replication} in combination with an \glsdisp{anbcode}{ANB-coded} majority voter}, 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}{% \newglossaryentry{iwasm}{%
name={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}} description={\Gls{wamr}'s standalone binary that provides a command-line interface to load and execute \Gls{wasm} modules using \Gls{vmcore}}