IDI_Master/projet_altarica
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add nbFailures contant response

Browse source
This commit is contained in:
Yorick Barbanneau 2023-03-01 23:53:03 +01:00
parent 63e7626c64
commit 96e5d82914
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
rapport.tex
View file

@ -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)} \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. % 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}} \section{Résultats avec le contrôleur initial {\tt Ctrl}}
\subsection{Calcul d'un contrôleur} \subsection{Calcul d'un contrôleur}
\subsubsection{Avec 0 défaillance (0.5 point)} \subsubsection{Avec 0 défaillance (0.5 point)}