From 96e5d82914faffe03504a5e44c40109528c324c8 Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Wed, 1 Mar 2023 23:53:03 +0100 Subject: [PATCH] Add nbFailures contant response --- rapport.tex | 10 ++++++++++ 1 file changed, 10 insertions(+) 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)}