diff --git a/rapport.tex b/rapport.tex index 46fd282..ee1fded 100644 --- a/rapport.tex +++ b/rapport.tex @@ -34,10 +34,25 @@ Synthèse (assistée) d'un contrôleur du niveau d'une cuve} \chapter{Le rapport} Le rapport est sur 20 points. -\section{Processus} -\subsection{Rôle du fichier {\tt GNUmakefile} (1.5 points)} +\section{Processus} \subsection{Rôle du fichier {\tt GNUmakefile} (1.5 points)} % A COMPLETER en expliquant les enchainements des calculs effectués. +\paragraph{Le fichier GNUMakeFile} sert à compiler les différents éléments du +projet via la commande \textit{make}. La cible \textit{\$(MODEL).time} est la +plus interresante~: elle utilise trois paramètres afin de contruite les +différents calculs. Cest éléments sont utilisés dans l'ordre défini dans la +liste ci-dessous dans des boucles \texttt{for} imbriquées + +\begin{enumerate} + \item les controlleurs à partir desquel construire les modèles - + \texttt{Crtl} et \texttt{CtrlVV} + \item les nombres de pannes - de 0 à 3 + \item l'itération - de 1 à 5 +\end{enumerate} + +Une fois effectués, les résultats de chaque calcul sont exportées dans le répertoire +\texttt{LaTeX} afin d'étre \textbf{inclus dans ce rapport}. + \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.