\documentclass[slideopt,A4,handout]{beamer}

\usepackage[latin1]{inputenc}
\usepackage[francais]{babel}
\usepackage[T1]{fontenc}
\usepackage{eurosym}

\usetheme{default}

\useoutertheme{infolines}



\usepackage{eso-pic}
\usepackage{monster2e}
\usepackage{tikz}
\usepackage{layout}
\usepackage{xcolor}
\usepackage{amsmath,amssymb}
\usepackage{fancybox}
\usepackage{graphicx}
\usepackage[absolute,showboxes,overlay]{textpos}
\TPshowboxesfalse
\textblockorigin{0mm}{0mm}
\usepackage{rotating}

\definecolor{rouge2}{RGB}{230,68,57}  % red S



\setbeamertemplate{navigation symbols}{}
\setbeamertemplate{blocks}[rounded]
\setbeamercolor{block title}{bg=rouge2!30}
\setbeamercolor{block body}{bg=rouge2!20}
\setbeamercolor{alerted text}{fg=cyan}

\renewcommand{\sfdefault}{lmss}
\sffamily

\setbeamersize{text margin left=1cm,text margin right=1cm}




\begin{document}


%%%%%%%%%%%%%%%%%%%%%PREMIERE PAGE FOND INRIA

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{premiere-sc-fr}} 

\setbeamertemplate{footline}{ \hspace{5em} \textcolor{white} {
    Évaluation à mi-parcours de MARMOTE, Paris\hfill 13 novembre 2013}\hspace{2em}\null \vspace*{3pt}}


\begin{frame}

  \begin{textblock*}{7cm}(13mm,50mm)
    {\textcolor{white} {
        {\Large Évaluation T0+24 MARMOTE}\\[2mm]
        %   { \huge 2 LIGNES MAXIMUM}\\[3mm]
   	{\large MARkovian MOdeling Tools and}\\
        {\large Environments}\\
        {\phantom{A}}\\
        {\large\tt https://wiki.inria.fr/MARMOTE/Accueil}
      }
    }
  \end{textblock*}

  \vspace*{-4pt}\hspace*{5cm}\vspace*{2cm}
  \includegraphics[width=4cm]{DSC05143.jpeg}
  \begin{rotate}{90}\tiny Courtesy Laurent Chusseau\end{rotate}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%% 

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondrouge}} 
\setbeamertemplate{footline}{
\hspace{2cm} 
\raisebox{2.5ex}
  {\textcolor{white}{Alain Jean-Marie - Le projet MARMOTE à mi-parcours}}\hfill 
  \raisebox{2.5ex}
  {\textcolor{white}{13 février 2014 - \insertframenumber \hspace{5mm} \null }}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%


\begin{frame}{Contenu}

\tableofcontents

\end{frame}


%%%%%%%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondrouge+tab}} 

% \setbeamertemplate{footline}{
% \hspace{2cm} 
% \raisebox{2.5ex}
%   {{EMETTEUR - NOM DE LA PRESENTATION}}\hfill 
%   \raisebox{2.5ex}
%   {{\today - \insertframenumber \hspace{5mm} \null }}}

\begin{frame}

  \begin{textblock*}{7cm}(13mm,40mm)
    {\textcolor{white} {
        {\monster 1}\\[2mm]
        { \huge Présentation}\\[3mm]
        % {\Large Sous-titre facultatif}
      }
    }
  \end{textblock*}

  \vspace*{-4pt}
\end{frame}

%%%%%%%%%%%%%%%%%%%%%


\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basrouge}} 

\section{Qui sommes-nous?}

\begin{frame}{Qui sommes-nous?}

Partenaires Institutionnels et leur <<~partner heads~>>:
\begin{itemize}
\item INRIA/MAESTRO: Alain Jean-Marie, coordinateur
\item INRIA/DYOGENE (anc. TREC): Ana Bu\v{s}i\'{c}
\item INRIA/MESCAL: Bruno Gaujal
\item Univ. Versailles-St-Quentin/PRiSM: Jean-Michel Fourneau, co-coordinateur
\item Telecom SudParis/SAMOVAR: Hind Castel-Taleb
\item Univ. Paris-Est-Cr\'eteil/LACL: Nihal Pekergin
\item Univ. Paris 6/LIP6: Emmanuel Hyon
\end{itemize}

Spécialistes de la \textit{modélisation Markovienne} et de ses 
applications en télécoms, systèmes distribués, fiabilité...

Issus de la même école: vocabulaire commun, travaux communs antérieurs...
\end{frame}

\begin{frame}{Que voulons-nous faire dans MARMOTE}

Objectifs du projet:
\begin{itemize}
\item Faire avancer les méthodes de résolution pour chaînes de Markov
  \begin{itemize}
  \item échantillonage exact de la distribution stationnaire («~simulation parfaite~»)
  \item simulation Monte Carlo parallèle
  \item solutions à forme close et algorithmes de résolution de flots
  \item simulation numérique: calcul de bornes, méthodes de transformées, ...
  \end{itemize}
\item Faire avancer les outils logiciels
\item Tester le tout dans plusieurs cas d'application
\end{itemize}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%
\section{Qu'avons-nous réalisé?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondbleu}} 

\begin{frame}

  \begin{textblock*}{7cm}(13mm,40mm)
    {\textcolor{white} {
        {\monster 2}\\[2mm]
        { \huge Qu'avons-nous réalisé?}\\[3mm]
        % {\Large Sous-titre facultatif}
      }
    }
  \end{textblock*}
  
  \vspace*{-4pt}
\end{frame}

%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basbleu}} 

\subsection{Résultats théoriques}

\subsubsection{Échantillonage}

\begin{frame}{Résultats: échantillonage exact (WP1)}

  \begin{block}{Échantillonage exact: principe}
    Principe: simuler un ensemble de trajectoires jusqu'à ce qu'elles
    \alert{couplent}. La distribution de l'état à cet instant-là est
    la distribution stationnaire.
  \end{block}
  \begin{block}{Échantillonage exact: défis}
    Deux paramètres influent sur la complexité algorithmique:
    \begin{itemize}
    \item contrôler \alert{le nombre de trajectoires} à simuler
    \item contrôler \alert{le temps de couplage} des trajectoires
    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}{Échantillonage exact (suite)}

  Réalisations:
  \begin{itemize}
  \item un algorithme pour l'échantillonage dans les réseaux de Jackson
  \item un calcul de borne sur le temps de couplage pour les processus
    de naissance et de mort multidimensionels avec transitions interdites
  \end{itemize}

\end{frame}

\subsubsection{xxx}

\begin{frame}{Résultats xxx}

\begin{block}{xxx: principe et défis}
  bla bla pédagogique
\end{block}

\begin{block}{Réalisations}
  bla bla réalisations
\end{block}

\end{frame}

\subsubsection{Théorie}

\begin{frame}{Théorie (WP4)}

  Réalisations:
  \begin{itemize}
  \item Solutions analytiques à forme close pour des réseaux de files
    d'attente avec signaux et algorithmes adaptés pour les calculs des
    distributions stationnaires

  \item Calcul de \textit{bornes stochastiques} sur des distributions
    (meilleure borne dans le sens $\leq_{\textrm{st}}$) et
    applications à l'analyse d'une file soumis à un flux dont on a
    mesuré une trace.

  \item Simulation Parallèle pour l'analyse de la fiabilité modélisé
    par des Dynamic Fault Trees (pas dans la proposition initiale)

  \item Simulation Parallèle pour certains modèles spécifiées par
    Stochastic Process Algebra par l'approche dite du Parallel Prefix,
    conditions suffisantes d'application et méthodes de simulation.
\end{itemize}

\end{frame}

\subsection{Résultats des applications}

\begin{frame}{Applications}

Résultats:
\begin{itemize}
  \item[WP 5.1] (Modèle Cloud) Méthodologie combinant traces, mesures et
    bornes pour ...

  \item[WP 5.2] Simulation parallèle pour une cellule

  \item[WP 5.3] ...

  \item[WP 5.4] Algorithmes d'\'echantillonage de la distribution stationnaire
    d'une bande \'electronique; méthode de décomposition temporelle

  \item[?]
    Analyse des méthodes de Restart par des résultats à forme produit
\end{itemize}

\end{frame}

\subsection{Résultats logiciels}

\begin{frame}{Logiciel: Contexte}

  \begin{block}{Logiciel: principe}
    Réaliser un environnement logiciel \alert{ouvert} reprenant les
    logiciels existants, capable d'accueillir les contributions de
    différents groupes de recherche, pour qu'il puisse se développer
    de façon \alert{contributive}
  \end{block}
  
  \begin{block}{Logiciel: défis}
    \begin{itemize}
    \item Diversité de logiciels: monolithique multifonctionnel/éclaté,
      langages de programmation divers, ...
    \item Diversité d'utilisateurs: développeur de méthodes
      (interface «~bas niveau~»), développeur
      d'applications (interface «~haut niveau~»)
    \end{itemize}
  \end{block}
  
\end{frame}

\begin{frame}{Logiciel: \'etat de l'art}

  Au d\'emarrage de MARMOTE, plusieurs logiciels d'analyse Markovienne
  d\'evelopp\'es par les membres:
  \begin{itemize}
  \item \texttt{Psi}, \texttt{Psi3} (Inria/MESCAL)
  \item \texttt{Xborne} (UVSQ/PRiSM)
  \item \texttt{ERS} (Inria/MAESTRO)
  \end{itemize}

  Plan de travail en parall\`ele:
  \begin{itemize}
  \item D\'evelopper un logiciel-chapeau qui reprendra toutes ces 
    fonctionnalit\'es
    \begin{itemize}
    \item d'abord en \alert{encapsulant} les applications existantes
    \item ensuite en \alert{incorporant} leur code
    \end{itemize}
  \item Poursuivre le d\'eveloppement ind\'ependant de \texttt{Psi3} et
    \texttt{Xborne}
  \end{itemize}

\end{frame}

\begin{frame}{Logiciel: \texttt{Xborne}}

R\'ealisations:
\begin{itemize}
  \item Logiciel d'analyse d'une file soumis à un flux mesuré par une trace (bientôt disponible, sous matlab)

  \item Logiciel de résolution de réseaux de files d'attente modélisant des restart (en liaison avec Free Univ. Berlin) 
  \end{itemize}

\end{frame}

\begin{frame}{Logiciel: \texttt{Psi3}}

(if any)

\end{frame}

\begin{frame}{Logiciel: \texttt{MARMOTE}}

R\'ealisations:
\begin{itemize}
\item Définition de l'architecture du logiciel MARMOTE
\item Études de cas autour des \textit{scientific workflow systems}
\item Implémentation des objets de base à partir du logiciel ERS
\item Iterfaçage avec le logiciel \texttt{Xborne} (UVSQ/PRiSM)
\end{itemize}

\end{frame}

\begin{frame}{Logiciel: \texttt{MARMOTE} (suite)}

Idée générale:
\begin{itemize}
\item Hiérarchie de modèles Markoviens

  \texttt{On-Off} \alert{is a} \texttt{Homogeneous Birth-Death} \alert{is a} 
  \texttt{General Birth-Death} \alert{is a} \texttt{Continuous-Time Markov Chain}

\item Familles de métriques

  Distribution: stationnaire, transitoire, de temps d'atteinte, etc.

\item Pour chaque modèle et chaque métrique, des méthodes de résolution
  (calcul exact, approché, bornes) adaptées.

  \alert{$\implies$} les rendre accessibles par une API 

\end{itemize}

\end{frame}

\begin{frame}{Logiciel \texttt{MARMOTE} (fin): exemple de code}

\begin{block}{Comparaison de calculs de la distribution stationnaire}
  \small
  \footnotesize\tt
  \textcolor{cyan}{// specific methods for F81\footnote{Felsenstein 81 est un modèle utilisé en bio-informatique}}\\
  Felsenstein81* c1 = new Felsenstein81($\ldots$);\\
  Distribution* d1 = c1-->stationaryDistribution();\\
  Distribution* d2 = c1-->simulateChain($\ldots$)-->getDistribution();\\
  \textcolor{cyan}{// generic methods for MCs}\\
  MarkovChain* c2 = static\_cast<MarkovChain*>(c1);\\
  Distribution* d3 = c2-->stationaryDistribution\_GaussSeidel();\\
  Distribution* d4 = c2-->stationaryDistribution\_PowerMethod();\\
  Distribution* d5 = c2-->stationaryDistribution\_Xborne\_LowerBound();\\
  Distribution* d6 = c2-->replicateSamples\_Psi3($\ldots$);\\
  Distribution* d7 = c2-->simulateChain($\ldots$)-->getDistribution();\\
  Distribution* d8 = c2-->simulateChain2($\ldots$)-->getDistribution();\\
  \textcolor{cyan}{// comparison}\\
  cout~<<~"Distance L1(d1,d2) = "~<<~d1-->distanceL1(d2)~<<~endl;\\
\end{block}

\end{frame}

\subsection{Publications}

\begin{frame}{Publis}

  Quantitativement:
  \begin{itemize}
  \item 2 articles (en révision) dans des revues internationales
  \item $\sim$15 dans des conférences internationales avec comité de lecture
    dont MASCOTS, PERFORMANCE, SIGMETRICS
  \end{itemize}

  Qualitativement:
  \begin{itemize}
  \item L'article de F.~Ait Salaht, H.~Castel, J.-M.~Fourneau
    et N.~Pekergin, «A bounding histogram approach for
    network performance analysis», a obtenu un des trois best paper
    award de la conférence IEEE HPCC 2013, Chine.
  \end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%% 
\section{Comment avons-nous travaillé?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondvert}} 

\begin{frame}

\begin{textblock*}{7cm}(13mm,40mm)
  {\textcolor{white} {
      {\monster 4}\\[1mm]
      {\huge Comment l'avons-nous fait?}\\[2mm]
    }
  }
\end{textblock*}

\vspace*{-4pt}
\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basvert}} 

\begin{frame}{Comment}

  Nous avons recruté:
  \begin{itemize}
  \item Participation de Farah Ait Salaht, doctorante DIGITEO
  \item Participation de Pierre Coucheney (MCF, UVSQ/PRiSM)
  \item Recrutement de Christelle Rovetta, Doctorante (Inria/DYOGENE)
  \item Recrutement d'Issam Rabhi, Ingénieur WP3 (Inria/MAESTRO)
  \item Recrutement de Farah Ait Salaht, Post-Doctorante (TSP/SAMOVAR)
  \item Recrutement de Marion Dalle et Arnaud Panayotis, stagiaires
    (Inria/MESCAL) et deux autres stagiaires hors financement MARMOTE
  \end{itemize}
  $\implies$ 16\% des ETP à T0+24.

\end{frame}

\begin{frame}{Comment (suite)}

  Nous avons organisé des groupes de travail:
  \begin{itemize}
  \item Groupes de travail existants: xxx, yyy, zzz

  \item WP1/WP4: Groupe de lecture hebdomadaire (Paris)
    % Participants: Inria/DYOGENE, LIP6, TSP/SAMOVAR

  \item WP4/WP 5.5: groupe de travail
    sur le Contrôle Stochastique avec financement du GDR RO (Recherche Opéra-
    tionnelle) (Paris, Montpellier, Grenoble)

  \item WP 5.4: Mise en place d'un groupe de travail sur le modèle de laser
    (Montpellier)

  \item WP 5.5: Mise en place d'un groupe de travail sur des mod\`eles
    de «~développement durable~» en Économie (Paris/Montpellier)
  \end{itemize}
  et des réunions plénières: janvier 2013, Octobre 2014, Juillet 2014.

\end{frame}

\begin{frame}{Comment (fin)}

  Nous avons réajusté le programme de travail
  \begin{itemize}
  \item WP 5.2: Suite au d\'epart des contacts biologie, changement de 
    cible vers la mod\'elisation de r\'eactions (bio)chimiques
  \end{itemize}

\end{frame}


%%%%%%%%%%%%%%%%%%%%%
\section{Qu'allons-nous faire?}
%%%%%%%%%%%%%%%%%%%%%

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{fondviolet}} 

\begin{frame}

\begin{textblock*}{7cm}(13mm,40mm)
  {\textcolor{white} {
      {\monster 4}\\[1mm]
      {\huge Qu'allons-nous faire?}\\[2mm]
    }
  }
\end{textblock*}

\vspace*{-4pt}
\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{basviolet}} 

\subsection{Intensifier l'ingéniérie logicielle}

\begin{frame}{Planning futur: logiciel}

Accélérer sur le développement logiciel:
\begin{itemize}
\item Recrutement Ingénieur développement en cours (PSI3, Inria/MESCAL)
\item Recrutement Post-Doctorant algorithmicien (UVSQ/PRiSM)
\item Recrutement Ingénieur parallélisme en cours (UVSQ/PRiSM)
\item Replanification de l'ingeniérie:
  \begin{itemize}
  \item concaténer les deux ingénieurs WP3 INRIA/MAESTRO,
  \item mettre en place un GdT avec les ingénieurs INRIA/MESCAL et UVSQ/PRiSM
  \item sortir une version 0.$\beta$ dans les premières semaines de 2015.
  \end{itemize}
\end{itemize}

\end{frame}

\subsection{Développer les applications}

\begin{frame}{Planning futur: applications}

Développer les applications:
\begin{itemize}
\item Développer l'application WP5.4 (Laser) dans le logiciel MARMOTE
\item Démarrer l'application «~réseaux~» (WP 5.1):
  le post-doc a été recruté au 1/11/14
\item Démarrer xxx
\item Démarrer yyy
\item Nouveau «~use case~»: modèle de gestion de l'énergie en télécoms
\end{itemize}

\end{frame}

\subsection{Communiquer}

\begin{frame}{Planning futur: communication}

Commencer à diffuser le projet:
\begin{itemize}
\item Communiquer dans les conférences nationales: ROADEF 2015, ...

  Cette année en juin: communication bien reçue à l'Atelier en Évaluation
  de Performances, Sophia-Antipolis

\item Communiquer à l'international: soumettre à VALUETOOLS, QEST, ...
\end{itemize}

\end{frame}

\setbeamertemplate{background canvas}{\includegraphics[width=\paperwidth,height=\paperheight]{derniere-sc-fr}} 
\setbeamertemplate{footline}{}

\end{document}


