Merge branch 'master' of dev:/home/robin/git/thesis

This commit is contained in:
Robin P. Clark 2012-11-30 18:56:08 +00:00
commit 9fdbbc4cad

View File

@ -14,7 +14,7 @@ Blanket measures, RAM ROM checks, EMC, electrical and environmental stress testi
\subsection{Practical limitations of testing for certification vs. rigorous approach}
State explosion problem considering a failure mode of a given component against
all other components in the system.
all other components in the system i.e. an exponential (2^N) order of processing resource rather than a ploynomial i.e. N^2.
Impossible to perform double simultaneous failure analysis (as demanded by EN298~\cite{en298}).