Initial import

00-READONLY-team-data.tex

@@ -0,0 +1,4 @@
+\section*{Project-Team DIVERSE}
+\addcontentsline{toc}{section}{Project-Team DIVERSE}
+\raTeamHistory{Creation of the Project-Team: 2014 July 01}
+\section*{Keywords}

01-READONLY-team-members.tex

@@ -0,0 +1,152 @@
+\section{Team members, visitors, external collaborators}
+\label{members}
+%% Section Members
+\begin{raMemberList}{Uncategorized}
+\raMemberLine{\raMemberFirstname{Cassius} \raMemberLastname{De Oliveira Puodzius}  } 
+
+\raMemberLine{\raMemberFirstname{Jessie} \raMemberLastname{Galasso-Carbonnel}  } 
+
+\raMemberLine{\raMemberFirstname{Gwendal} \raMemberLastname{Jouneaux}   [\raMemberEmployer{UNIV RENNES I}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Dorian} \raMemberLastname{Leroy}  } 
+
+\raMemberLine{\raMemberFirstname{Gunter} \raMemberLastname{Mussbacher}   [\raMemberEmployer{UNIV MCGILL}, \raMemberPeriod{until May 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Yawa Germaine} \raMemberLastname{Nyatsikor}   [\raMemberEmployer{UNIV RENNES I}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Quentin} \raMemberLastname{Perez}   [\raMemberEmployer{UNIV RENNES I}, \raMemberPeriod{until Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Benjamin} \raMemberLastname{Ramone}  } 
+
+\raMemberLine{\raMemberFirstname{Charly} \raMemberLastname{Reux}   [\raMemberPeriod{from Oct 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Mark} \raMemberLastname{Van Den Brand}  } 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Research Scientists}
+\raMemberLine{\raMemberFirstname{Djamel} \raMemberLastname{Khelladi}   [\raMemberEmployer{CNRS}, \raMemberFunctionPro{Researcher}]} 
+
+\raMemberLine{\raMemberFirstname{Gunter} \raMemberLastname{Mussbacher}   [\raMemberEmployer{UNIV MCGILL}, \raMemberFunctionPro{Advanced Research Position}, \raMemberPeriod{from Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Gunter} \raMemberLastname{Mussbacher}   [\raMemberEmployer{UNIV MCGILL}, \raMemberFunctionPro{Advanced Research Position}, \raMemberPeriod{from May 2023 until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Gunter} \raMemberLastname{Mussbacher}   [\raMemberEmployer{UNIV MCGILL}, \raMemberFunctionPro{Senior Researcher}, \raMemberPeriod{from May 2023 until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Olivier} \raMemberLastname{Zendra}   [\raMemberEmployer{INRIA}, \raMemberFunctionPro{Researcher}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Faculty Members}
+\raMemberLine{\raMemberFirstname{Olivier} \raMemberLastname{Barais}   [\raMemberTeamLeader, \raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Professor}, \raMemberHDR]} 
+\raMemberLine{\raMemberFirstname{Mathieu} \raMemberLastname{Acher}   [\raMemberEmployer{INSA RENNES}, \raMemberFunctionPro{Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Aymeric} \raMemberLastname{Blot}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Professor}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Arnaud} \raMemberLastname{Blouin}   [\raMemberEmployer{INSA RENNES}, \raMemberFunctionPro{Associate Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Johann} \raMemberLastname{Bourcier}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Associate Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Stéphanie} \raMemberLastname{Challita}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Associate Professor}]} 
+
+\raMemberLine{\raMemberFirstname{Benoît} \raMemberLastname{Combemale}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Jean-Marc} \raMemberLastname{Jezequel}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Quentin} \raMemberLastname{Perez}   [\raMemberEmployer{INSA RENNES}, \raMemberFunctionPro{Professor}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Noël} \raMemberLastname{Plouzeau}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Associate Professor}]} 
+
+\raMemberLine{\raMemberFirstname{Walter} \raMemberLastname{Rudametkin Ivey}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Associate Professor}, \raMemberHDR]} 
+
+\raMemberLine{\raMemberFirstname{Paul} \raMemberLastname{Temple}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Associate Professor}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Post-Doctoral Fellows}
+\raMemberLine{\raMemberFirstname{Faezeh} \raMemberLastname{Khorram}   [\raMemberEmployer{CNRS}, \raMemberFunctionPro{Post-Doctoral Fellow}]} 
+
+\raMemberLine{\raMemberFirstname{Xhevahire} \raMemberLastname{Ternava}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Post-Doctoral Fellow}, \raMemberPeriod{until Aug 2023}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{PhD Students}
+\raMemberLine{\raMemberFirstname{Lina} \raMemberLastname{Bilal}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Oct 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Ewen} \raMemberLastname{Brune}   [\raMemberEmployer{INRIA}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Oct 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Anne} \raMemberLastname{Bumiller}   [\raMemberEmployer{ORANGE}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{until Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Theo} \raMemberLastname{Giraudet}   [\raMemberEmployer{OBEO}, \raMemberFunctionPro{CIFRE}]} 
+
+\raMemberLine{\raMemberFirstname{Philemon} \raMemberLastname{Houdaille}   [\raMemberEmployer{CNRS}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Gwendal} \raMemberLastname{Jouneaux}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{until Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Zohra} \raMemberLastname{Kebaili}   [\raMemberEmployer{CNRS}, \raMemberFunctionPro{PhD Student}]} 
+
+\raMemberLine{\raMemberFirstname{Piergiorgio} \raMemberLastname{Ladisa}   [\raMemberFunctionPro{PhD Student}]} 
+
+\raMemberLine{\raMemberFirstname{Clement} \raMemberLastname{Lahoche}   [\raMemberEmployer{INRIA}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Dec 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Quentin} \raMemberLastname{Le Dilavrec}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{until Oct 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Romain} \raMemberLastname{Lefeuvre}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Nov 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Georges Aaron} \raMemberLastname{Randrianaina}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}]} 
+
+\raMemberLine{\raMemberFirstname{Chiara} \raMemberLastname{Relevat}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Sterenn} \raMemberLastname{Roux}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{PhD Student}, \raMemberPeriod{from Oct 2023}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Technical Staff}
+\raMemberLine{\raMemberFirstname{Florian} \raMemberLastname{Badie}   [\raMemberFunctionPro{Engineer}, \raMemberPeriod{until Apr 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Romain} \raMemberLastname{Belafia}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Engineer}, \raMemberPeriod{until Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Emmanuel} \raMemberLastname{Chebbi}   [\raMemberFunctionPro{Engineer}, \raMemberPeriod{from Feb 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Emmanuel} \raMemberLastname{Chebbi}   [\raMemberEmployer{INRIA}, \raMemberFunctionPro{Engineer}, \raMemberPeriod{until Jan 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Guy} \raMemberLastname{De Spiegeleer}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Engineer}, \raMemberPeriod{until Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Quentin} \raMemberLastname{Le Dilavrec}   [\raMemberFunctionPro{Engineer}, \raMemberPeriod{from Nov 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Romain} \raMemberLastname{Lefeuvre}   [\raMemberFunctionPro{Engineer}, \raMemberPeriod{until Oct 2023}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Interns and Apprentices}
+\raMemberLine{\raMemberFirstname{Paul} \raMemberLastname{Adam}   [\raMemberEmployer{ENS RENNES}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from May 2023 until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Arthur} \raMemberLastname{Allain}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from May 2023 until Aug 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Yazid} \raMemberLastname{Benjamaa}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from Jun 2023 until Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Jeremy} \raMemberLastname{Bindel}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from Jun 2023 until Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Jean-Baptiste} \raMemberLastname{Doderlein}   [\raMemberEmployer{ENS RENNES}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from Mar 2023 until May 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Philemon} \raMemberLastname{Houdaille}   [\raMemberEmployer{INRIA}, \raMemberFunctionPro{Intern}, \raMemberPeriod{until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Margaux} \raMemberLastname{Millour}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from Jun 2023 until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Bastien} \raMemberLastname{Sauvat}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from Jun 2023 until Sep 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Abdullah} \raMemberLastname{Sen}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from May 2023 until Jul 2023}]} 
+
+\raMemberLine{\raMemberFirstname{Cyriaque} \raMemberLastname{Tossou}   [\raMemberEmployer{UNIV RENNES I}, \raMemberFunctionPro{Intern}, \raMemberPeriod{from May 2023 until Aug 2023}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{Administrative Assistant}
+\raMemberLine{\raMemberFirstname{Sophie} \raMemberLastname{Maupile}   [\raMemberEmployer{CNRS}]} 
+\end{raMemberList}
+
+
+\begin{raMemberList}{External Collaborator}
+\raMemberLine{\raMemberFirstname{Gurvan} \raMemberLastname{Le Guernic}   [\raMemberEmployer{DGA}]} 
+\end{raMemberList}
+

02-overall-objectives.tex

@@ -0,0 +1,59 @@
+
+
+% [doc] -----------------------------
+% [doc] Instructions
+% [doc] -----------------------------
+% [doc] https://intranet.inria.fr/Vie-scientifique/Information-edition-scientifiques/RADAR/Structure-du-rapport
+% [doc] -----------------------------
+
+%% [BEGIN last year imported content]
+
+
+
+
+
+
+% [radar] -----------------------------------
+% [radar] Do not alter this section title
+\section{Overall objectives}
+\label{diverse:context}
+% [radar] -----------------------------------
+
+
+
+%% ---------------------------------------
+%\subsection{Overall objectives}
+%\label{presentation:overall}
+%% ---------------------------------------
+
+
+  \team{}'s research agenda targets core values of software engineering. 
+  In this fundamental domain we focus on and develop models, methodologies and theories to address major challenges raised by the emergence of several forms of diversity in the design, deployment and evolution of software-intensive systems.
+Software diversity has emerged as an essential phenomenon in all application domains borne by our industrial partners. These application domains range from complex systems brought by systems of systems (addressed in collaboration with Thales, Safran, CEA and DGA) and Instrumentation and Control (addressed with EDF) to pervasive combinations of Internet of Things and Internet of Services (addressed with TellU and Orange) and tactical information systems (addressed in collaboration with civil security services).
+  Today these systems seem to be all  radically  different, but we envision a strong convergence  of the scientific principles that underpin their construction and validation, bringing forwards sane and reliable methods for the design of  \textbf{flexible and open yet dependable systems}. 
+  Flexibility and openness are both critical and challenging software layer properties that must deal with the following four dimensions of diversity: \textbf{diversity of languages}, used by the stakeholders involved in the construction of these systems;  \textbf{diversity of features}, required by the different customers; \textbf{diversity of runtime environments}, where software has to run and adapted; \textbf{diversity of implementations}, which are necessary for resilience by redundancy.
+
+  In this context, the central software engineering challenge consists in handling \textbf{diversity} from variability in requirements and design to heterogeneous and dynamic execution environments. 
+  In particular, this requires considering that the software system must adapt, in unpredictable yet valid ways, to changes in the requirements as well as in its environment. 
+  Conversely, explicitly handling diversity is a great opportunity to allow software to spontaneously explore alternative design solutions, and to mitigate security risks.
+
+  Concretely, we want to provide software engineers with the following abilities:
+  \begin{itemize}\itemsep0cm
+      \item to characterize an ``envelope'' of possible variations;
+      \item to compose envelopes (to discover new macro correctness envelopes in an opportunistic manner);
+      \item to dynamically synthesize software inside a given envelope.
+  \end{itemize}
+
+  The major scientific objective that we must achieve to provide such mechanisms for software engineering is summarized below:
+
+    \textbf{Scientific objective for \team{}:} To automatically \textbf{compose and synthesize software diversity} from design to runtime to \textbf{address unpredictable evolution of software-intensive systems} 
+
+  Software product lines and associated variability modeling formalisms represent an essential aspect of software diversity, which we already explored in the past, and this aspect stands as a major foundation of \team{}'s research agenda. 
+  However, \team{}  also exploits other foundations to handle new forms of diversity: type theory and models of computation for the composition of languages; distributed algorithms and pervasive computation to handle the diversity of execution platforms;  functional and qualitative randomized transformations to synthesize diversity for robust systems.
+
+
+
+
+
+
+%% [END last year imported content]