From f29eac98c542c06be42a08111ae518c03bd47f8e Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Thu, 2 Mar 2023 01:09:30 +0100 Subject: [PATCH] Add first interpretation --- rapport.tex | 23 +++++++++++++++++++++-- 1 file changed, 21 insertions(+), 2 deletions(-) diff --git a/rapport.tex b/rapport.tex index 5dedcb5..660beb7 100644 --- a/rapport.tex +++ b/rapport.tex @@ -73,6 +73,26 @@ panne définis dans \texttt{nbFailures}. \paragraph{Interprétation des résultats} % A COMPLETER +\paragraph{} Lors de la premiere itération, avec un controleur initial +\textit{Ctrl} et sans défaillance, nous n'avons pas de situation de +\textit{deadlock}. Nous pouvons attendre 86 état de \textbf{niveau critiques} et +autant de \textbf{situation redoutée} pour un total de 247 états atteignables. +Côté transitions, le système en comporte 3474 dont un tier environ mène à +des coups gagnant. + +\paragraph{}lors de la seconde itération, nous obtenons 97 états et toujours +aucun \textit{deadlock}. Nous ne constatons plus de \textbf{niveau critique} ni +de \textbf{situation redoutée}. Côté transitions, environ \textbf{83\%} mène à +des coups gagnants, mais nous en avons aussi près de 4 fois moins par rapport à +l'itération précédente. + +Les itérations suivantes n'entrainent pas de modification sur le contrôleurs. +Nous pouvons donc dire que qu'il est correct. + +Nous observons aussi que les état \texttt{out1}, \texttt{out2} et \texttt{out3} +sont atteinds dans toutes les itérations, ce qui montre que la vanne de sortie +fonctionne dans ses trois configurations: ouverte, semi-ouverte et fermée. + \subsubsection{Avec 1 défaillance (0.5 point)} \input{LaTeX/System1FCtrl.tex} \paragraph{Interprétation des résultats} @@ -83,8 +103,7 @@ panne définis dans \texttt{nbFailures}. \paragraph{Interprétation des résultats} % A COMPLETER -\subsubsection{Avec 3 défaillances (0.5 point)} -\input{LaTeX/System3FCtrl.tex} +\subsubsection{Avec 3 défaillances (0.5 point)} \input{LaTeX/System3FCtrl.tex} \paragraph{Interprétation des résultats} % A COMPLETER