diff --git a/rapport.tex b/rapport.tex index ee1fded..5dedcb5 100644 --- a/rapport.tex +++ b/rapport.tex @@ -56,6 +56,16 @@ Une fois effectués, les résultats de chaque calcul sont exportées dans le ré \subsection{Rôle de la constante {\tt nbFailures} et de l'assertion associée (0.5 point)} % A COMPLETER en expliquant le rôle de la constante. +\paragraph{nbFailure} détermine le nimbre maximal de panne pouvans intervenir en +même temps sur les valves de notre système. Cette variable est définie à partir +de \texttt{NbPannes} qui elle même est définie dynamiquement dans notre +\textit{Makefile} (cible \textit{\$(MODEL).time}). + +\paragraph{} Cette constante est utilisés dans l'assertion \texttt{nbFailures >= +(V[0].stucked + V[1].stucked + V[2].stucked);} afin de s'assurer que le nombre +de pannes sur le modèle (\texttt{V[x].stucked}) ne dépasse pas le nombre de +panne définis dans \texttt{nbFailures}. + \section{Résultats avec le contrôleur initial {\tt Ctrl}} \subsection{Calcul d'un contrôleur} \subsubsection{Avec 0 défaillance (0.5 point)}