diff --git a/report.lyx b/report.lyx index 17514ab..d9060b0 100644 --- a/report.lyx +++ b/report.lyx @@ -361,6 +361,23 @@ key "Bondi:2000:CSI:350391.350432" handling increasing load, e.g more users, gracefully. \end_layout +\begin_layout Standard +Fault tolerance is used to raise the level of +\emph on +dependability +\emph default + in a system, so that the dependability is high even in presence of errors. + Dependability is defined as the statistical probability of the system functioni +ng as intended at a given point in time. + Fault tolerance is defined as the property of a system to always follow + a specification, even in the presence of errors. + The specification could take the form of error handling procedures which + activate when an error occurs. + This means that a fault tolerant, dependable system, will have a very high + probability of functioning at a given point in time, and is exactly what + is desired. +\end_layout + \begin_layout Subsection Generic \end_layout