Bilan 2010-2015

Laboratoire dInformatique de Nantes Atlantique

Bilan 20102015

Version du 22 septembre 2015

LINA, Universit de Nantes 2, rue de la Houssinire BP 92208 44322 NANTES CEDEX 3

Tl. : 02 51 12 58 17 Fax. : 02 51 12 58 97 http://www.lina.univ-nantes.fr/

./img/logolinapetit.eps./img/logoUnivNantes.eps./img/logoEMN.eps./img/CNRS.eps./img/logoINRIA.eps

Table des matires

Prface 7

I LINA 9

1 Prsentation 111.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.2 Politique scientifique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.3 Profil dactivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131.4 Organisation et vie du laboratoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131.5 Synthse des rsultats et faits marquants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

II Equipes et plateforme 23

2 AeLoS 252.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

3 ASCOLA 313.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

4 AtlanMod 394.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 444.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

5 ComBi 455.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 455.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

3

6 DUKe 536.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 596.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

7 GDD 617.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 657.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

8 OPTI 678.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 688.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 698.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

9 TALN 719.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 719.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 759.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

10 TASC 7910.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7910.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8110.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8310.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

11 COCo 8511.1 Prsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8511.2 Ralisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8711.3 Implication dans la formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8711.4 Stratgie et perspectives scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

III ANNEXES 89

A Prsentation synthtique des quipes 91A.1 LINA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92A.2 AeLoS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94A.3 ASCOLA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96A.4 AtlanMod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98A.5 ComBi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100A.6 DUKe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102A.7 GDD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104A.8 OPTI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106A.9 TALN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107A.10 TASC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109A.11 COCo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

B Lettre de mission contractuelle 113

4

C quipements, plateformes 115

D Organigramme fonctionnel 119

E Rglement intrieur 121

F Ralisations et produits de la recherche 135F.1 AeLoS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135F.2 ASCOLA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156F.3 AtlanMod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179F.4 ComBi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194F.5 DUKe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207F.6 GDD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233F.7 OPTI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247F.8 TALN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252F.9 TASC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276F.10 Plateforme COCo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291F.11 Rcapitulatif des publications pour lensemble des quipes du LINA . . . . . . . . . . . . . . . . 295

G Liste des contrats 297G.1 Contrats institutionnels sur financement public . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297

G.1.1 AeLoS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 298G.1.2 ASCOLA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301G.1.3 AtlanMod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307G.1.4 ComBi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311G.1.5 DUKe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317G.1.6 GDD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326G.1.7 OPTI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331G.1.8 TALN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334G.1.9 TASC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339G.1.10 COCo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344

G.2 Brevets, contrats industriels, contrats sur financement priv . . . . . . . . . . . . . . . . . . . . . 345G.2.1 AeLoS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345G.2.2 ASCOLA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348G.2.3 AtlanMod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349G.2.4 DUKe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 350G.2.5 GDD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353G.2.6 TALN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354G.2.7 TASC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355

H Document unique dvaluation des risques - DUER 357

I Glossaire 365

5

Prface

Je le baptise Petite Poucette, pour sa capacit envoyer des SMS avec son pouce. Cest lcolier, ltudiantedaujourdhui, qui vivent un tsunami tant le monde change autour deux. Nous connaissons actuellement unepriode dimmense basculement, comparable la fin de lEmpire romain ou de la Renaissance Michel Serres.

Comme lindique rgulirement Michel Serres, nos socits occidentales vivent une troisime rvolution lieau passage de lcriture aux nouvelles technologies numriques. Comme toute rvolution, celle-ci est daborddestructrice de valeurs avant dtre productrice de nouvelles richesses.

A lchelle dun laboratoire informatique, par essence pourvoyeur de nouvelles technologies numriques, laquestion est de sinterroger rgulirement sur les transformations en cours pour, autant que faire se peut, lesanticiper en renforant son potentiel scientifique thorique tout en adaptant ses applications aux domainesdinnovation stratgiques de son territoire numrique au sens de Bernard Stiegler.

La rdaction de ce bilan prparatoire la visite de lHCERES est une belle opportunit de regarder le cheminparcouru en cinq ans par le LINA et sa capacit danticipation des nouvelles technologies associes aujourdhuiau cloud computing, aux big data, au web des donnes, la mdecine personnalise . . .

Nous laissons, au lecteur de ce bilan, le soin dapprcier les progrs raliss et les rsulats obtenus dans lesdomaines de la fondation logique des outils de preuve, du fondement thorique des systmes distribus, deloptimisation par contraintes dont celle des centres de donnes, du dveloppement des mthodes probabilistespour la fouille et lapprentissage des donnes, des algorithmes de la gnomique comparative, de lapproche parmodles en particulier pour la biologie des systmes, et finalement de lanalyse des productions langagires.

7

http://next.liberation.fr/culture/2011/09/03/petite-poucette-la-generation-mutante_758710http://www.nantesmetropole.fr/actualite/l-actualite-thematique/un-oeil-exterieur-sur-l-ecosysteme-numerique-de-nantes-metropole-enseignement-et-recherche-67172.kjsp?RH=ART_ENSEIGNEMENTterritoire numrique

Premire partie

LINA

9

LINA-UMR 6241Prsentation

1.1 Introduction

Historiquement, le LINA (Laboratoire dInformatique de Nantes Atlantique) rsulte de la runion en 2004 delInstitut de Recherche en Informatique de lUniversit de Nantes (IRIN) et du dpartement informatique delcole des Mines de Nantes (EMN). Initialement FRE (Formation de Recherche en volution), le LINA setransforme en UMR 6241 en janvier 2008 avec trois tutelles : lUniversit de Nantes, lEMN et le CNRS. Enjanvier 2013, Inria devient partenaire du LINA avec trois quipes1 communes au Centre Inria Rennes BretagneAtlantique. Ce partenariat avec Inria est lorigine de la convention dUMR signe par nos diffrentes tutelles le9 janvier 2013.

Le LINA est rattach lInstitut des Sciences de lInformation et de leurs Interactions (INS2I) du CNRS.Il affiche cinq thmes scientifiques : Logiciels et systmes rpartis , Sciences des donnes , Contrainteset optimisation , Bioinformatique et Ressources et applications multilingues . Ces champs relvent de lasection 27 du CNU et des sections 6 (principale) et 7 (secondaire) du CNRS.

En juin 2015, le LINA compte prs de 180 personnes hberges sur deux sites distants dune dizaine dekilomtres, celui de la Lombarderie et celui de la Chantrerie, tous deux sur les bords de lErdre. Le site dela Lombarderie regroupe une grande moiti du laboratoire dont ses services supports, hberge par la Facultdes Sciences. Le site de la Chantrerie runit lautre moiti au sein de deux coles dingnieurs : EMN etPolytechNantes.

1.2 Politique scientifique

Le LINA sest donn pour premire mission le dveloppement de la recherche informatique nantaise sur lesdeux dimensions fondamentales (productions scientifiques) et applicatives (ralisations logicielles). Sa deuximemission est de raliser le continuum formation-recherche, la majorit de ses membres tant des E/C rattachs quatre dpartements denseignement : UFR Sciences, IUT, PolytechNantes et EMN. Sa troisime missionest doprer, sur son territoire, le lien avec les acteurs de linnovation aussi bien pour le cur de la disciplineinformatique que pour les aspects interdisciplinaires lis aux usages du numrique. Le laboratoire sinvestitfinalement trs significativement dans le dveloppement de la communication scientifique et technique (CST) plusparticulirement en direction des lycens.

Lobjectif scientifique est dafficher au niveau international lexcellence de nos travaux en nous concentrantsur les cinq couleurs affiches par nos thmes. Nous les utilisons pour attirer Nantes les meilleurs candidatsdocteurs, postdoctorants, enseignants-chercheurs et chercheurs de ces domaines. Ces cinq thmes ont t

1Pour mmoire ASCOLA (janvier 2009), TASC (janvier 2011) et AtlanMod (janvier 2013 - mai 2015).

11

https://www.lina.univ-nantes.fr/http://www.cnrs.fr/ins2i/http://www.inria.fr/equipes/ascolahttp://www.inria.fr/equipes/taschttp://www.inria.fr/equipes/atlanmod

12 Bilan 20102015 LINA

choisis en complmentarit avec ceux de lIRCCyN Nantes mais galement des laboratoires rennais et toutparticulirement lIRISA et le Centre Inria Rennes Bretagne Atlantique. Le LINA participe activement2 auxtravaux du labex CominLabs (COMunication and INformation sciences Laboratories) inaugur en juin 2011 avecneuf autres laboratoires et centres de recherche bretons. En cela, nous avons pleinement atteint lobjectif affichen juin 2010 au moment de la prparation de la dernire valuation AERES.

Depuis son origine, le LINA est organis en quipes de recherche de taille variable mais suffisante pourgarantir leur prennit sur le quinquennat. Ces quipes runissent un ensemble de permanents partageant un mmeprojet scientifique et mutualisant leurs moyens, en particulier contractuels, au sein dune maison commune .Chaque nouvelle valuation est loccasion de revoir le projet et le primtre de lquipe. Au 30 juin 2015, le LINAcompte neuf quipes de recherche :

les quipes AeLoS (Architectures et Logiciels Srs) et OPTI (Optimisation globale et multiobjectifs) cresen septembre 2010 avant la visite AERES de dcembre 2010 ;

lquipe GDD (Gestion de Donnes Distribues), anciennement ATLAS-GDD, redevenue GDD suite larrt de lEPC ATLAS en dcembre 2010 aprs le dpart de P. Valudriez, a volu vers les systmesdistribus et le web des donnes ;

lquipe TASC (Thorie, Algorithmes et Systmes en Contraintes), anciennement Contraintes, devenue EPCInria en janvier 2011 ;

lquipe AtlanMod (Atlantic Modeling) cre en janvier 2012 sous la direction de J. Cabot (recrut en 2010par lEMN), devenue EPC Inria de janvier 2013 mai 2015 et transforme par Inria en quipe de centre avecle dpart de J. Cabot en juin 2015 ;

lquipe DUKe (Data User Knowledge) cre en janvier 2014 par runion des quipes GRIM et COD suiteaux remarques du dernier comit de visite ;

les quipes ASCOLA (Aspect and Composition LAnguages), galement EPC Inria depuis 2009, ComBi(Combinatoire et Bioinformatique) et TALN (Traitement Automatique du Langage Naturel) dj existantesdans le prcdent quadriennal.

Pour trois de ces quipes, le modle de fonctionnement est donc celui des quipes Inria et pour une autre (GDD)il sen rapproche fortement. Lune des spcificits du LINA, lie sa construction et son jeune ge (11 ans), estque ses quipes sont associes principalement un site et la composante hbergeuse. Ce point sur la genseet le modle des quipes et du laboratoire sera dvelopp dans le projet de fusion avec lIRCCyN.

Lun des progrs importants raliss par les quipes du LINA depuis cinq ans porte sur la valorisation dupatrimoine logiciel des quipes. Pour accompagner celle-ci, nous avons initi un modle de plateforme logicielle.Lide est de faire travailler ensemble des ingnieurs en charge de la ralisation de prototypes et dmonstrateurslogiciels, sur un sujet transverse plusieurs quipes, via des moyens mutualiss. La premire instance est celui dela forge LINA dont le lancement a correspondu avec larrive en septembre 2011 de notre premier IR1 CNRS. Ladeuxime instance est la plateforme COCo ddie la recherche en ducation, initie grce au volet formation duCominLabs.

De manire concomitante, certaines des quipes de recherche disposent dingnieurs permanents en charge dudveloppement de logiciels spcifiques dont le solveur Choco (TASC) et les langages de transformation de modlesATL et ModisCo (AtlanMod). Dautres quipes ont bnfici, via le Conseil Rgional et/ou la SATT, dingnieursde maturation. Ceux-ci ont permis de dvelopper les logiciels Apopsis de dtection dopinion (TALN) et Pilgrimdapprentissage de modles graphiques probabilistes (DUKe).

Lannexe C Equipements, plateformes prcise notre stratgie de valorisation logicielle qui a conduit laccueildune vingtaine dingnieurs et la cration de trois startups sur la priode 2010-2015.

2Implication dans 5 des 28 projets selectionns par l"International Advisory Committee" (IAC).

http://www.cominlabs.ueb.eu/fr

LINA 13

1.3 Profil dactivit

Le tableau ci-dessous synthtise les activits de chaque quipe rparties en quatre champs : recherche acadmique(RA), interaction avec lenvironnement (IE), appui la recherche (AR) et formation par la recherche (FR).

Rpartition globale en pourcentage des activits de lquipeEquipes RA IE AR FR TotalAeLoS 35% 25% 10% 30% 100%ASCOLA 40% 30% 10% 20% 100%AtlanMod 40% 30% 10% 20% 100%ComBi 50% 30% 10% 10% 100%DUKe 40% 30% 15% 15% 100%GDD 55% 15% 15% 15% 100%OPTI 60% 10% 10% 20% 100%TALN 50 % 20 % 15 % 15 % 100%TASC 45% 20% 20% 15% 100%COCo 20% 30% 40% 10% 100%

1.4 Organisation et vie du laboratoire

Lannexe D prsente lorganigramme de lunit qui est organise en neuf quipes de recherche, affiches au seinde cinq thmes scientifiques, quipes pour lesquelles travaillent trois services supports.

1.4.1 Evolution des effectifs

Depuis juin 2010, le LINA a vcu une augmentation de 13 % de son effectif en personnels permanents de recherche(70 79). Notre politique a t de favoriser les recrutements externes pour insuffler une nouvelle dynamiquesans pour autant ngliger les promotions internes des MdC3 en charge de responsabilits critiques. Ainsi, nousavons accueilli cinq nouveaux professeurs forms hors de Nantes : P. Molli (2010, LORIA@Nancy, responsableGDD), A. Mostefaoui (2011, IRISA@Rennes), J. Cabot (2012, U. Toronto, responsable AtlanMod), Y. Pri (2012,LIRIS@Lyon) et C. Jard (2012, IRISA@Rennes, responsable fdration AtlanSTIC).A ceux-ci, il convient dajouter le recrutement externe (doctorat ralis en dehors de Nantes) de 10 nouveauxMdC4 et celui de trois ingnieurs permanents5 de recherche. Ces recrutements ont contribu une volutionsignificative des quipes de recherche avec en particulier le renouvellement complet de la direction de lquipeGDD (octobre 2011), laccueil de lquipe AtlanMod (janvier 2012), les renforcements des quipes AeLoS etDUKe et le renouvellement de la direction de ComBi (mars 2013).

Permanents : E/C, C et ingnieurs

PR MC dont HDR CR IR TOTAL %2010 20 47 23 3 702015 25 49 31 2 3 79Delta 5 2 8 -1 3 9 12,9

Les quipes de recherche et la direction sont aides dans leurs tches par trois services communs respectivementen charge de ladministration (RH, finances & budget, assistance aux quipes), de la valorisation de la recherche

3 Promotions MdC PR de J. Bourdon (2015, responsable quipe ComBi), J.-M. Menaud (2013, responsable scientifique socit EasyVirt),F. Guillet (2010, responsable master DMKM) et M. Sdholt (2010, responsable quipe ASCOLA).

4 H. Skaf (Nancy/LORIA GDD 2010), F. Boudin (Montral/RALI TALN 2011), G. Jean (Tubingen/FML ComBi 2011), H. LECapitaine (La Rochelle/MIA DUKe 2011), M. Tisi (Politecnico di Milano AtlanMod 2012), E. Gurevsky (Avignon OPTI 2012), A.Larhlimi (Postdam/MPI ComBi 2012), S. Quiniou (Caen/GREYC TALN 2012), F. Richoux (Tokyo/JFLI TASC 2012), B. Delahaye(Rennes/IRISA AeLoS 2013).

5 D. Vintache (IR1 CNRS, 2011) H. Brunelire (ingnieur EMN, 2012) et C. Prudhomme (ingnieur EMN, Cdisation septembre 2014).


(suivi des doctorants, des contrats et des indicateurs de lunit, communication interne et externe) et du supportinformatique (administration systmes et rseaux, gestion des systmes dinformation et gestion du parc).Lensemble de ces trois services na gagn quun membre permanent sur la priode (une assistante dquipe Inria)soit une augmentation de 12,5 % ce qui est peu compar laugmentation des membres du laboratoire (permanents+13 % et non permanents + 7 %) et surtout du volant dactivit contractuelle qui a plus que doubl entre les priodes2010-2011 et 2014-2015.

Permanents : service support

AJT T AI IE/IR MA TOTAL %2010 2 2 1 2 1 82015 2 2 2 2 1 9Delta 1 1 12,5

Non permanents : doctorants, post-docs et ingnieurs

DOC POST DOC IE/IR TOTAL %2010 62 5 5 722015 54 7 16 77Delta -8 2 11 5 6,9

1.4.2 Evolution des moyens

Dotation des tutelles la direction du laboratoire

Anne/Tutelle CNRS EMN Inria UN AUTRES TOTAL2010 68,7 68,3 137,02011 66,0 68,3 134,32012 59,6 5,0 58,5 123,12013 55,0 4,3 15,0 60,7 135,02014 55,0 4,3 15,0 60,7 135,02015 50,0 4,5 15,0 60,7 130,2Total (ke) 354,3 18,1 45,0 377,2 794,6

45 % 2 % 6 % 47 %Activit contractuelle : montant des contats signs par anne

Anne/Tutelle CNRS EMN Inria UN AUTRES TOTAL2010 50,5 722,3 80,8 994,5 30 1878,12011 72,3 782,1 307,6 79 12412012 67,4 1226,2 1405,4 573,5 15 3287,42013 50,5 1535 30 1557 38,8 3211,32014 780 394 1043,7 308,7 2526,42015 1255,9 1146,8 91,9 26 2520,5Total (ke) 240,7 6301,4 3056,9 4568,2 497,5 14664,8

2 % 43 % 21 % 31 % 3 %Activit contractuelle : dcoupage annuel au prorata temporis

Anne/Tutelle CNRS EMN Inria UN AUTRES TOTAL2010 5,2 465 28,9 763,9 6 12692011 36,5 675,4 26,9 900,4 19,3 1658,52012 54,3 876,5 113,8 785,2 32,5 1862,42013 62 963,9 565,7 687,6 82 2361,32014 45,8 1219,5 520,3 1086,8 179,2 3051,62015 29,2 1266,1 605,4 969,8 120,6 2991,1Total (ke) 232,9 5466,6 1861,1 5193,6 439,7 13193,9

2 % 41 % 14 % 39 % 3 %

Les tableaux mettent en regard la dotation attribue annuellement par nos tutelles et les ressources propresdes quipes du laboratoire. La dotation gre par la direction du laboratoire reprsente un peu plus de 5 % delenveloppe financire globale. Pour les contrats publics et privs, les tableaux compilent lensemble des contratssigns sur une anne civile et donnent galement un dcoupage au prorata temporis . Nous avons franchi le

LINA 15

seuil annuel des 3 Me de ressources propres annuel en 2013 (doublement par rapport 2010), avec un lgerflchissement en 2014 (2.5 Me), plateau qui devrait tre nouveau dpass en 2015. La moyenne sur 5 ans(2010-2014) est de 2.4 Me. Cette augmentation trs significative de lactivit contractuelle sest traduite par lerecrutement de nombreux non permanents, principalement des ingnieurs de dveloppement (+11) mais galementde doctorants en compensant la diminution sensible des bourses institutionnelles. Paradoxalement, la rduction dunombre de doctorants prsents dans lunit en juin 2010 et juin 2015 est en partie due au raccourcissement desdures des thses : contrairement la fin du dernier quadriennal nous naccueillons plus quun tudiant en 4meanne contre sept en 2010 et les rinscriptions en 5me anne sont devenues exceptionnelles (trois en juin 2010).

1.4.3 Vie de lUnit

La vie de lunit est rythme par les runions mensuelles du conseil de laboratoire (avis sur le budget,lvolution des quipes, les fiches de poste, les dossiers ATER, le classement des bourses institutionnelles...)et des responsables dquipe (appels projets, politique scientifique, recrutements, organisation du nouveaubtiment...). La consultation des membres du conseil et des responsables dquipe pour tous les sujets importantsrencontrs dans la gestion dun laboratoire a permis de sensibiliser, ces questions, une nouvelle gnration dE/C.

Afin de favoriser lanimation scientifique interne au laboratoire, la direction a officialis en juillet 2013, la crationdes cinq thmes scientifiques dj mentionns. En terme daffichage, cette dcision tait en phase avec la dmarcheESR et RFI de la Rgion Pays de Loire visant communiquer sur nos domaines dexcellence. Cette dcisionprparait galement le projet de rapprochement avec lIRCCyN, ces thmes trouvant leur prolongement natureldans les ples du nouveau laboratoire. Voici la distribution de nos neuf quipes sur les cinq thmes :

1. Logiciels et systmes rpartis : AeLoS, ASCOLA, AtlanMod et GDD2. Sciences des donnes : DUKe et GDD3. Contraintes et optimisation : OPTI et TASC4. Bioinformatique : ComBi et DUKe5. Ressources et applications multilingues : TALN

Lintention ntait pas de crer une nouvelle structure, mais bien un lieu danimation runissant les quipesproches scientifiquement, une quipe pouvant figurer dans plusieurs thmes. Lanimation de ces thmes a tconfie une jeune gnration dE/C dans le but de prparer la relve scientifique. Chaque animateur disposedune enveloppe financire annuelle (entre 3 000 e et 5 000 e par thme), prise sur la dotation de nos tutelles,consacre lorganisation dateliers/sminaires, laccueil dinvits, la prparation des concours CNRS et Inria, laparticipation aux confrences de rfrence du thme, la (co)gratification de stages de M2. . .

La direction se runit sur une base hebdomadaire pour traiter les affaires courantes. Ce codir restreint est constitudu directeur, du directeur adjoint, des trois responsables des services supports et de lassistante de direction.Chaque lundi est publie LINA-HEBDO, la lettre qui prsente une compilation synthtique des informations de lasemaine destines lensemble des membres du laboratoire.La direction largie aux 4 reprsentants de sites/composantes (UFR, IUT, EMN et Polytech) se runitmensuellement pour prparer les conseils de laboratoire et traiter, en liaison avec les composantes, de tous lespoints relevant de la stratgie de dveloppement du laboratoire. Les animateurs de thme peuvent tre convispour traiter de points spcifiques comme le classement des bourses de thse ou les gratifications de stage deM2. Chaque membre de la direction largie est galement en charge dun portefeuille spcifique : directionscientifique, communication scientifique et technique, rdaction de la lettre LINA-HEBDO, suivi des affairesdoctorales, gestion du btiment, gestion de la carrire des E/C (dont commission de parrainage6 des HDR etrunions dinformation sur la rdaction des dossiers de qualification/promotion/PEDR) et suivi des demandes deformation.

Le grand sminaire organis sur une base trimestrielle est loccasion dinviter lensemble des membres dulaboratoire (et des laboratoires voisins) des exposs donns par des invits prestigieux couvrant un large spectre

6 En 2015, 63 % des MdC dtiennent une HDR contre 49 % en 2010. Huit de ces HDR ont t soutenues sur la priode et quatre sont encoreen prparation pour la fin 2015.


scientifique. Nous avons ainsi eu le privilge de recevoir : R. Doursat, B. Stiegler, A.-M. Kermarrec, H. ComonLundh, F. Maraninchi, J. Gonzalo, R. Di Cosmo, L. Miclet, D. Thieffry, F. Gandon, J.-Y. Girard, I. Boguslavsky,S. Russell, F. Pachet, G. Dowek, D. Bouyssou, G. Pujolle, A. Lcuyer et S. Knerr. Les prsentations filmes desderniers orateurs sont disponibles sur notre site.

Finalement, la mise au vert bisannuelle du laboratoire est loccasion de regrouper hors de Nantes et sur deux jourspleins les membres du laboratoire avec un taux de participation denviron 40 %. Ainsi la mise au vert doctobre2010 ( Berder) a permis un retour sur la visite de lAERES, celle doctobre 2012 (au Bono) de faire un point mi-quadriennal et celle de mai 2014 ( Pornichet) de discuter du projet de fusion avec lIRCCyN et du modle dunouveau laboratoire.

1.5 Synthse des rsultats et faits marquants

Nous prsentons les faits marquants, maximum cinq par groupe de faits, illustrant les principaux rsultats du contraten cours.

1.5.1 Ralisations et produits de la recherche

Nous avons choisi de mettre en avant un faisceau de ralisations dmontrant le niveau de maturit acquis dans undomaine de recherche ou dinnovation stratgique :

1. confirmation des rsultats autour de la programmation par contraintes avec des publications et des prixrguliers la confrence CP, la mise en ligne dun catalogue de contraintes et dune srie associedexercices, le dveloppement du logiciel CHOCO soutenu par un grant Google et plusieurs fois lauratdu challenge MiniZinc. La diffusion de CHOCO a conduit lANR LabCom TransOp avec Eurodcisionainsi qu la cration de la startup COSLING par un docteur du LINA, par ailleurs laurat des prix de thseAFIA et ACP 2015. Organisation de la confrence CPAIOR en 2012 Nantes aprs celle de CP en 2006 ;

2. nouveaux rsultats thoriques en algorithmique distribue avec le meilleur algorithme de consensus connu,prix du meilleur papier PODC2014 (GDD [21]). Egalement la meilleure structure rplique de donnesde type squence et la ralisation de lditeur collaboratif associ, prix du meilleur papier tudiant ACMDocEng2013. Nos travaux sur les nouvelles manires de grer ldition collaborative de documentsmassivement distribus (projet DeSCeNt) viennent dtre distingus par le comit international en chargede lvaluation mi-parcours du labex CominLabs ;

3. consolidation de la dynamique autour du Cloud Vert (Green IT et Cloud) avec linstallation dun nudnantais de GRID5K pilot par la disponibilit dnergie verte. Cette activit a vu la visite en 2013 deT. Hirofuchi chercheur lAIS, la publication avec lui de papiers de rfrence dans le domaine de lavirtualisation (IEEE CloudCom 2013 et CGC 2013 (ASCOLA [39, 40])), la ralisation du frameworkSimgrid pour la simulation dalgorithmes distribus, la coordination de lANR Entropy puis la cration dela startup EasyVirt en charge du logiciel btrCloud (gestion et optimisation par contraintes denvironnementsvirtualiss). Enfin, la premire place la comptition GRID5K Scale Challenge 2014 obtenue par lun denos doctorants ;

4. nouvelle dynamique en bioinformatique avec de trs beaux rsultats thoriques en combinatoire et desapplications la gnomique comparative (accessit prix de thse G. Kahn 2013) mais galement une vraieperce en modlisation des systmes vivants la frontire informatique et biologie (PICS EMBAsSY2015-2017 avec lUniversit de Princeton, participation dun membre du LINA (premier informaticien !) auprogramme Integrative Biology Antartic Program en 2010, ralisation dun portail sur ltude des rseauxbiologiques et invitation dun doctorant lcole dt NSF C-MORE en 2014 (7 % de slection). Finalementco-organisation Nantes en 2015, avec lquipe IRCCyN/MeForBio, de la confrence de rfrence enbiologie des systmes CMSB ;

5. augmentation significative de notre participation des projets interdisciplinaires via de nombreuses ANR linterface STIC-SHS (dont EPISTEME, HUMBLE, CIRESFI et ORPHEE en 2014) et dans le domainedu traitement automatique des langues. Fort investissement galement linterface STIC-Sant avec le

http://www.lina.univ-nantes.fr/?-Seminaires-.htmlhttp://sofdem.github.io/gccat/http://imedia.emn.fr/global_constraints_coursehttp://www.choco-solver.org/http://research.google.com/university/relations/focused_research_awards.htmlhttp://www.minizinc.orghttp://www.agence-nationale-recherche.fr/?Projet=ANR-13-LAB2-0005http://cosling.com/http://www.emn.fr/z-info/cpaior-2012/http://web.archive.org/web/20110326174836/http://www.sciences.univ-nantes.fr/cp06/http://www.descent.cominlabs.ueb.eu/frhttp://grivon.apgrid.org/takahiro-hirofuchihttps://www.grid5000.fr/mediawiki/index.php/Grid5000:School2014http://cmore.soest.hawaii.edu/summercourse/2014/index.htmhttp://cmsb2015.sciencesconf.org/resource/page/id/6

LINA 17

pilotage du projet rgional de bioinformatique GRIOTE et une collaboration trs active avec lINSERMet la SFR Sant : dveloppement de la plateforme BiRD (Bioinformatique Recherche et Dveloppement)de BioGenOuest qui propose une offre de services centre sur la gnomique ; lancement de la plateformeSyMetRIC de gestion de donnes biomdicales pour la mdecine personnalise. Implication croissante linterface STIC-Education avec nos recherches sur les nouvelles technologies ducatives et la mise en uvrede la plateforme COCo.

Le dveloppement dun logiciel daide lamnagement urbain (projets FUI Sustains et FET Graceful), du serious game Lodpaddle de smantisation des donnes ouvertes de la ville de Nantes construit dans le cadredu projet europen LOD2 (appel PUBLINK) et les jeux de stratgie dvelopps en coopration avec les socitsInsane Unity (Rennes) et Facebook/FAIR (Paris) participent galement notre ouverture linterdisciplinarit.

1.5.2 Publications majeures

Nous avons privilgi les publications dans un forum (confrence et/ou revue) majeur, ralisant un point dtapedans le parcours scientifique dune quipe et associant un doctorant :

1. ACM LICS 2012 : G. Jaber et N. Tabareau et M. Sozeau "Extending Type Theory with Forcing" (ASCOLA[51]). Ce papier prsente lextension des thories logiques qui fondent les outils de preuve. Il dveloppe lanotion de types inductifs pour le prouveur Coq et prfigure lERC CoqHoTT de N. Tabareau ;

2. MFCS 2012 & Elsevier Journal of Computer and System Sciences 2015 : L. Bulteau, G. Fertin et I. Rusu"Pancake Flipping is Hard" (ComBi [58]). Rsolution dun problme NP-complet ouvert depuis 35 ans avecde nombreuses applications en gnomique comparative. Prfigure le prix de thse Gilles Kahn de L. Bulteausur les aspects algorithmiques des rarrangements gnomiques ;

3. ACL 2014 : E. Morin et A. Hazem "Looking at Unbalanced Specialized Comparable Corpora for BilingualLexicon Extraction" (TALN [59]). Prfigure le prix de thse ATALA 2015 de A. Hazem pour son travail surlextraction de lexiques bilingues partir de corpus comparables ;

4. CP 2013 et Constraints Journal 2014 : M. Pelleau, C. Truchet et F. Benhamou "Octogonal Domains forContinuous Constraints" (TASC [64]). Ce papier initie les travaux sur interprtation abstraite et contraintes.Il a reu le prix du meilleur papier jeune chercheur ;

5. ACM PODC 2014 : A. Mostefaoui, M. Hamouna et M. Raynal "Signature-Free Ansynchronous ByzantineConsensus" (GDD [21]). Best paper dcrivant le meilleur algorithme de consensus actuellement connu.

1.5.3 Logiciels (et documents) majeurs

Les progrs accomplis dans le dveloppement et la diffusion de nos logiciels sont illustrs par les ralisationssuivantes :

1. le logiciel CHOCO pour la programmation par contraintes : Google "focused research awards" en 2010, deuxmdailles dargent au challenge MiniZinc 2013 et trois mdailles de bronze au MiniZinc 2014, lorigine dela startup COSLING 2014 pour la diffusion de sa version 3. Limage de la PPC nantaise est aussi entretenuegrce au portail ddi la prsentation dun catalogue de 420 contraintes globales ;

2. le logiciel MoDisco, open source Eclipse, qui fournit un cadre gnrique ddi la ringnierie des logicielspatrimoniaux pour la dcouverte de modles. Ce logiciel est utilis par plusieurs projets FUI et europens et adonn lieu la publication Elsevier [8]. MoDisco contribue avec ATL, le portail sur lingnierie des modles,le support de cours "MDSE in Practise" utilis par plus de 50 universits la notorit de lcosystmenantais dans le domaine de lIDM ;

3. le logiciel TermSuite open source UIMA pour lextraction de la terminologie monolingue et bilingue partirde corpus comparables. Rsultat du STREP TTC et de lANR TermITH, utilis actuellement dans le projetIA ISTEX (lexcellence documentaire pour tous), ce qui a permis TALN daccueillir en dtachement uningnieur CNRS ;

4. la bibliothque PILGRIM (ProbabIListic Graphical and RelatIonal Models) pour la manipulation de modlesgraphiques probabilistes constitue, pour lquipe DUKe, un fil conducteur de sept thses soutenues et 6 autres

http://griote.univ-nantes.fr/http://lodpaddle.univ-nantes.fr/lodpaddle/http://www.insaneunity.com/blog/http://www.sciences-techniques.univ-nantes.fr/1440061640427/0/fiche___actualite/https://hal.archives-ouvertes.fr/hal-00685150http://www.emn.fr/z-info/ntabareau/coqhott/https://hal.archives-ouvertes.fr/hal-00717712https://hal.archives-ouvertes.fr/hal-01097565https://hal.archives-ouvertes.fr/hal-00785598https://hal.inria.fr/hal-00944019http://choco-solver.org/?q=Choco3http://research.google.com/university/relations/focused_research_awards.htmlhttp://sofdem.github.io/gccat/http://www.eclipse.org/MoDisco/http://www.sciencedirect.com/science/article/pii/S0950584914000883http://modeling-languages.com/https://www.sites.google.com/site/mdsebook/https://logiciels.lina.univ-nantes.fr/redmine/projects/termsuitehttp://uima-fr.org/http://www.istex.frhttp://www.univ-nantes.fr/1426686244395/0/fiche___actualite/&RH=RECHERCHE


en cours. Un projet de maturation SATT a en vue une utilisation commerciale pour lanalyse prdictive desbesoins des clients ;

5. le nud de GRID5K hberg sur le site de lEMN. Il bnficie dun financement du CPER 2015-2020 pourexprimenter la gestion de centres de donnes pilots par la disponibilit dnergie verte : projet SeDuCe("Sustainable Data Centers"). Les principales exprimentations portent sur les algorithmes doptimisationpour les grandes infrastructures distribues, ltude de la robustesse des rseaux pairs pairs, les simulationsdans le domaine de lhydrologie ou de lnergie.

Nous signalerons aussi le logiciel, en devenir, CRATE, ddi ldition collaborative, massive et temps rel surun navigateur web dvelopp dans le cadre de lANR SocioPlug et du projet DeSceNt du CominLabs. Ces progrslogiciels ont t accomplis grce laccueil dun nombre significatif dingnieurs (17 ingnieurs maturation,dveloppement et pdagogie sur la priode).

1.5.4 Rayonnement et attractivit acadmiques

Le rsultat le plus enthousiasmant est lobtention dun ERC Starting Grant par un ancien laurat du prix GillesKahn recrut sur un poste de CR Inria en 2009. terme, il sagit de lopportunit de dvelopper une nouvellequipe en attirant Nantes des spcialistes de Coq et des assistants de preuve. Symboliquement, cest un beausuccs de nature motiver les (jeunes) E/C du laboratoire prparer des dossiers comptitifs : prix de thseGilles Kahn, ANR JCJC et ERC. Nous observons dailleurs la mise en place dune vraie dynamique au niveaudes doctorants avec les travaux de plusieurs dentre eux distingus par leur communaut scientifique (ce point estdtaill dans la section formation) :

1. ERC Starting Grant CoqHoTT 2014 ("Coq for Homotopy Type Theory") de N. Tabareau. Il sagit dexplorerla faon dont lassistant de preuve Coq pourrait sappuyer sur une extension de la thorie des types par desconcepts homotopiques propose par le mathmaticien Vladimir Voevosdky pour introduire une vraie notiondgalit dans Coq ;

2. premier accessit au prix de thse Gilles Kahn 2013 pour L. Bulteau Ordre et dsordre dans lalgorithmiquedu gnome [87] qui vient dobtenir un poste CR2 CNRS LIGM ;

3. au niveau international, participation deux quipes associes Inria dans les domaines des contraintes etdes systmes distribus : TASCMEL entre le NICTA de Melbourne (P. Van Hentenryck puis P. Stuckey) etTASC ; REAL entre lquipe PLEIAD de lUniversit de Santiago du Chili (E. Tanter) et ASCOLA ;

4. les quipes du LINA sont toujours fortement impliques dans lorganisation Nantes des confrencesnationales de rfrence de leur domaine. Ainsi pour la priode concerne, nous avons accueilli huitmanifestations : CPAIOR 2012 (contraintes, IA et recherche oprationnelle), Eclipse DemoCamp 2012(IDM), LACL 2012 (Logical Aspect of Computational Linguistic), Algotel 2013 (Aspect ALgorithmiquedes TELcommunications), BDA 2013 (Base de Donnes Avances), TALN 2013 (Traitement Automatiquedes Langues Naturelles), SFC 2015 (Socit Franaise de Classification) et CMSB 2015 (ComputationalMethods for Systems Biology) ;

5. les membres du laboratoire ont prsid les comits de programme des confrences internationales suivantes :AOSD 2010@Rennes (M. Sdholt), ICGI 2012@Washington (co-chair C. de La Higuera), CPAIOR2012@Nantes (N. Beldiceanu et N. Jussien), ECMFA 2014@York (J. Cabot), MODELS2015@Ottawa (J.Cabot) et CMSB 2015@Nantes (J. Bourdon co-chair). Nous mentionnerons au niveau national la prsidencedu comit de programme des confrences TALN2013 (E. Morin), RECITAL2013 (co-chair F. Boudin),JFPC 2013@Marseille (C. Truchet) et JFPC 2014@Angers (T. Petit), BIOSTEC 2014@Angers (co-chair C.Sinoquet).

1.5.5 Contrats majeurs

La stratgie du laboratoire a toujours t de simpliquer fortement dans son cosystme. En tmoigne son rle depilote dans le montage de projets rgionaux structurants. Au niveau national, nous sommes fiers de nos rsultatsaux diffrents appels projets ANR et nous pensons avoir acquis la maturit suffisante pour assurer la coordinationde projets europens. Nous retiendrons donc pour illustrer cette stratgie :

https://www.grid5000.fr/mediawiki/index.php/Nantes:Homehttp://tabareau.fr/coqhotthttp://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/prix-de-these-2013/http://real.gforge.inria.fr/

LINA 19

1. la coordination des projets rgionaux structurants DEPART 2009-2012 (traitement des modalits audio,manuscrite et crite des langues), AFSEC-PdL 2013-2016 (approche formelle des systmes embarquscommunicants) et GRIOTE 2013-2018 (fdration des activits bioinformatique de treize laboratoires dela rgion PdL). Construction du RFI Numrique 2015-2020 (270 E/C sur les sites de Nantes, Angers, LeMans et Laval) qui a vocation prolonger la fdration AtlanSTIC pour structurer le dveloppement dunumrique en Pays de la Loire sur un triangle Recherche, Formation et Innovation ;

2. la participation huit FUI : ODISAE, HYPERWIND, MoNoGe, ITM Factory, TEAP, COOL IT, SUSTAINSet ISTA3, le plus souvent avec des entreprises du territoire dans le primtre du ple de comptitivit Imageset Rseaux ;

3. la participation quatre projets du CominLabs dont trois coordinations : DeSCeNt (c), EPOC (c), COCo (c),SecCloud et LIMAH ;

4. la coordination7 de six nouvelles ANR depuis 2010 : LabCom TransOp 2013 avec Eurodecision, ModlesNumriques SAMOGWAS 2013, Infra SocioPlug 2013, Contint CRISTAL 2011, Contint Kolflow 2010 etEmergence Entropy 2010 venant sajouter aux quatre dj coordonnes depuis 2008 : Arpege CESSA 2009,Arpege SelfXL 2009, Contint MeTRICC (nomin 2013) et Verso DataRing 2008 ;

5. la coordination du STREP TTC (Terminology extraction Translation tools and Comparable corpora)2010-2012.

1.5.6 Interactions avec lenvironnement social, conomique et culturel

Dans cette mandature, le LINA a investi significativement dans la mdiation scientifique dabord au niveau de laFte de la Science puis en rponse aux nombreuses sollicitations sur le dveloppement de la culture scientifiquedans le domaine du numrique : participation au comit ditorial du blog binaire du monde, aux manifestationsNantes Tech, aux journes Science and You. . . Au titre de linteraction avec lenvironnement, nous mettrons doncen avant les points suivants :

1. la cration de trois startups par trois de nos anciens docteurs8 : Dictanova (TALN/Apopsis en 2011) etCosling (TASC/CHOCO3 en 2015) ou lun de nos enseignants chercheurs : EasyVirt (ASCOLA/Entropy en2011). Chacune de ces startups est accueillie dans lun de nos btiments ou proximit immdiate ;

2. la construction du nouveau btiment LINA-AtlanSTIC financ par le Conseil Rgional que nous devrionsrceptionner lhiver 2016 et qui a vocation devenir une vitrine des STIC en Pays de la Loire et le bateauamiral du RFI numrique. Il sagit dune extension de 2200 m2, offrant en sus dune trentaine de nouveauxbureaux dE/C, un espace daccueil constitu dun amphithtre, de trois salles de runions modulables etdune salle immersive ;

3. le rle jou au niveau national, dans la cration de la SIF, par lun des membres du LINA ayant assurla premire prsidence (de mai 2012 janvier 2015). Localement, cette action sest traduite par ledveloppement de la CST, par exemple depuis 2012, laccueil annuel de 250-300 lycens la dcouverte dulaboratoire pendant la Fte de la Science pour un budget annuel de 1500 e ;

4. limplication des membres du laboratoire dans les structures de gouvernance de lUniversit(vice-prsidences recherche et numrique), de la COMUE UBL (co-direction dpartement NUMERIC),du bureau du CCRRDT Pays de Loire (prsidence de commission STIC-Math), du ple de comptitivitImages et Rseaux (participation au CSV et au CA), ainsi que de lassociation ADNOuest (participation auCA) nous a permis de dvelopper notre rseau de partenaires acadmiques et industriels ;

5. lutilisation du dispositif CIFRE : nous avons bnfici de onze de ces bourses sur la priode dont uneavec Nantes Mtropole (donnes ouvertes) et sept avec des TPE/PME locales. Nos participations huit FUInous ont permis dtablir des relations prennes avec des entreprises rgionales dont OBEO, MiaSoftware,KEOPS, Sodifrance, Softeam, CapGemini, MMA et DCNS.

Nous conclurons par un indicateur de maturit du LINA : plusieurs membres du laboratoire sont aujourdhuiimpliqus dans des instances rgionales et nationales. Nous comptons deux vice-prsidents (Recherche etNumrique) de lUniversit de Nantes, le directeur de la fdration AtlanSTIC, le directeur de lED-STIM, un

7Le LINA est partenaire de 16 autres ANR dont 4 linterface STIC-SHS. Leurs prsentations sont disponibles sur notre site.8Dictanova : F. Poulard et M. Vernier : thses soutenues en mars 2011 ; Cosling : J.-G. Fages, thse soutenue en 2014.

http://griote.univ-nantes.fr/https://www.lina.univ-nantes.fr/?-RFI-numerique-.htmlhttp://www.lina.univ-nantes.fr/?-FUI-.htmlhttp://www.descent.cominlabs.ueb.eu/frhttp://www.lina.univ-nantes.fr/?-Projets-coordonnes-par-le-.htmlhttp://www.ttc-project.eu/http://binaire.blog.lemonde.fr/http://www.cnrs.fr/ins2i/spip.php?article1221http://www.dictanova.com/http://www.cosling.com/http://www.easyvirt.com/http://www.societe-informatique-de-france.fr/http://u-bretagneloire.fr/http://www.images-et-reseaux.com/fr/http://www.adnouest.org/http://www.lina.univ-nantes.fr/?-Partenaire-.html


co-directeur du labex CominLabs, un co-directeur du dpartement NUMERIC de la COMUE UBL et le prsidentde la commission Electronique-STIC-Maths du CCRRDT. Trois membres du LINA sigent au CNU 27, un membreau Comit national du CNRS (section 6), un autre au Conseil Scientifique de lINS2I et un dernier au CERNAde lalliance Allistene. Finalement, la direction encourage les participations des membres du LINA aux tchesdintrt collectif comme les comits de visite AERES/HCERES, les diffrentes valuations de lANR, de lANRTet de la PES/PEDR.

1.5.7 Contribution des actions de formation

1. dans le cadre du montage du RFI Numrique, cration de la filire informatique de lUniversit de Nantesen partenariat avec lEMN et lECN. Cette filire lance en 2014 est pilote par un membre du laboratoire.Lun des buts est de constituer un lieu dchange pour harmoniser la carte des formations et travailler lamutualisation de modules denseignement entre composantes et coles du site nantais ;

2. direction du volet formation du labex CominLabs et mise en place du laboratoire dinnovation pdagogiqueCominOpenCourseware (COCo) pour la dissmination et la promotion de didacticiels multimdia ouverts ;

3. dveloppement de la liaison mdiation-recherche autour des questions de lducation en informatique avecle copilotage du projet Classcode (PIA Entrepreneuriat) dont le but est de former 300 000 ducateurs,animateurs et enseignants dinformatique sur cinq ans en France ;

4. participation au master informatique de Nantes et ses parcours ALMA (responsable, trente tudiants),ATAL (responsable), Erasmus Mundus DMKM (responsable), ECD (responsable) et ORO. Participation la Miage (responsable) et au master de bioinformatique (co-responsable) ;

5. au niveau de la formation doctorale, 92 thses de doctorat ont t soutenues sur la priode (18 par an enmoyenne pour 3-4 financements annuels des tutelles). En sus de laccessit Gilles Kahn 2013, plusieurs denos doctorants ont obtenu un prix de thse dcern par leur communaut.

Belle occasion de conclure sur les meilleurs papiers jeune chercheur de M. Pelleau (CP 2011), J.-G. Fages (CP2013) et B. Ndelec (ACM DocEng 2013) ; les prix de I. Figueroa et J. Pastor, laurats respectifs de lACM StudentCompetition de la confrence Modularity 2013 et de la comptition GRID5K Scale Challenge 2014 ; les prix dethse : Simon Rgnier 2011 de D. Porumbel, ATAL 2014 et 2015 de E. Delpech et A. Hazem, AFIA et ACP 2015de J.-G. Fages, progamme Gaspard Monge pour loptimisation et la RO (PGMO) 2015 de B. Martin.

http://www.comin-ocw.org/http://www.societe-informatique-de-france.fr/wp-content/uploads/2015/05/2015-06-j-pedago-classcode.pdfhttp://www.master-info.univ-nantes.fr/#KLINK

LINA 21

1.5.8 SWOT des activits passes

Positif (pour atteindre lobjectif) Ngatif (pour atteindre lobjectif)

Ori

gine

Inte

rne

(org

anis

atio

nnel

le)o

bjef

) Forces

Dynamique dun jeune laboratoire : crationFRE 2004, transformation UMR 2008

Thmes scientifiques bien tablis Monte en puissance des cadres moyens et

dune nouvelle gnration dE/C Partenariat avec Inria : 2 EPC, 1 EC et

convention dUMR de janvier 2013 Prsence affirme au sein du CominLabs Startups (3) et logiciels issus du labo Insertion dans lcosystme (bi)rgional et

connexion au territoire

Faiblesses

Progression moins rapide que celle desgrands autres ples universitaires franaisavec lchec de la proposition dIDEX UBL+

Modle faible dUMR avec prdominancedes composantes et des dpartements

Dficit de chercheurs et dinvits Offre de formation encore morcele et peu

lisible : Flux dtudiants en master insuffisant Masters trop dconnects du laboratoire Vivier de doctorants locaux insuffisant

Ori

gine

Inte

rne

(org

anis

atio

nnel

le)o

bjef

) Opportunit

ERC CoqHoTT Potentiel de cration de nouvelles EPC Inria Dynamique de la fusion IRCCyN-LINA :

Renouvellement des quipes Gain en visibilit et en attractivit

Nouveau btiment vitrine des STIC CST et enseignement informatique Nantes Tech et le Quartier de la Cration RFI numrique / Atlanstic 2020 :

Evolution de la fdration AtlanSTIC Liaisons avec les ples I&R et EMC2 Filire denseignement dinformatique

des Pays de la Loire

Menaces

Identit du laboratoire consolider en prenanten compte le multi sites

"Less is More" : attention ne pas perdre enagilit avec la fusion avec lIRCCyN.

Concurrence avec lIRISA, le Lab-STICC etlIETR en Bretagne.

Vieillissement des quipes de recherche : Gestion des carrires Diminution des postes

Couplage faible entre formation et recherche Dispersion face aux diffrentes initiatives

numriques externes

La suite de ce document dtaille le bilan de chacune des neuf quipes ainsi que celui de la plateforme COCo.

Deuxime partie

Equipes et plateforme

23

quipeAeLoS

2.1 Prsentation

2.1.1 Introduction

Lquipe Architectures et Logiciels Srs (AeLoS) cre en 2010, concentre ses travaux sur les modles et mthodes,formels et semi-formels, pour construire des logiciels et vrifier leurs proprits. Deux principaux axes sontdvelopps : les modles et langages pour les architectures logicielles et les mthodes de modlisation et danalyseformelle des composants et logiciels. Lobjectif principal est de fournir diffrents niveaux dabstraction (modle,service/composant, architecture), des moyens pour construire des logiciels qui vrifient les proprits attendues.Nous explorons ainsi les fondements en termes de modles et smantiques, et les applications logicielles. Lesdomaines dapplication sont par exemple les systmes concurrents et rpartis, les grands systmes dinformationdes entreprises, les systmes embarqus communicants.

2.1.2 Composition de lquipe au 30 juin 2015

Personnels permanents

Nom Prnom Fonction Employeur ArriveAndr Pascal MC CN U. Nantes 01/01/97Ardourel Gilles MC CN U. Nantes 01/09/03Attiogb Christian PR 1C U. Nantes 01/09/94Delahaye Benoit MC CN U. Nantes 01/09/13Jard Claude PR CE1 U. Nantes 01/09/12Lanoix Arnaud MC CN U. Nantes 01/09/08Mottu Jean-Marie MC CN U. Nantes 01/09/09Oussalah Mourad PR 1C U. Nantes 01/09/99Tamzalit Dalila MC CN U. Nantes 01/09/01

25

26 Bilan 20102015 AeLoS

Doctorants

Nom Prnom Financement Employeur ArriveAbboud Mira ETR U. libanaise 01/09/14Aouadhi Mohamed Amine CDE U. Nantes 01/10/14Boukhedouma Saida ETR USTHB 01/12/09David Nicolas CD U. Nantes 01/10/14Hassan Adel ETR Gvt. tunisien 01/10/14Pepin Jonathan CIFRE Sodifrance 01/01/13Perrin Matthieu CDENSX ENS Cachan 01/09/13Sferruza David CIFRE Escale Digitale 01/11/14

Principaux membres non permanents et anciens membres

Nom Prnom Fonction Employeur Arrive DpartCosta Mateus Post-doc U. Nantes 27/01/11 26/01/12Ouederni Meriem ATER U. Nantes 01/12/11 31/08/12

J. Rocheteau, enseignant-checheur lICAM Nantes, contribue aux activits de lquipe et co-encadre la thse deD. Sferruzza. J. Rocheteau deviendra membre de lquipe dans le nouveau projet.

2.1.3 Organisation et vie de lquipe

Membres Lquipe a t renforce durant le quadriennal par larrive de C. Jard (PR, 2012) et B. Delahaye (MC,2013) ; ils apportent des comptences supplmentaires dans le domaine des modles formels, de la smantique dela concurrence et de la vrification, notamment avec des modles probabilistes et le Model-checking statistique.Larrive de C. Jard a t accompagne par le dmarrage du projet rgional structurant "Approches formelles dessystmes embarqus communicants" (AFSEC-Pays de la Loire) dans le cadre duquel la thse de N. David a tlance en 2014. Pour faciliter lintgration de B. Delahaye nous avons dmarr, en lien avec le projet AFSEC-PdLune nouvelle thse finance par une allocation ministrielle, sous la direction de C. Jard : le doctorant est A.Aouadhi, il est co-encadr par A. Lanoix.En ce qui concerne les dparts, aprs son sjour comme ATER dans lquipe, M. Ouederni a obtenu en 2013un poste de MC lENSEEIHT de Toulouse. T. Degueule a lui, obtenu une allocation de thse lIRISA en2013, aprs son stage de M2 dans lquipe. Neuf thses ont t soutenues dans la priode. Quatre docteurs sontenseignants-chercheurs en Algrie : A. Amirat (2010) - U. Souk Ahras, M. Messabihi (2011) - U Tlemcen,H. Abldelhakim (2011) - U. Guelma et F. Aoussat (2012) - USTHB. Trois sont ingnieurs dans le priv : A.Hock-Koon (2011), A. Ghaddar (2013) et A. El Kheir (2014). R. Belkhatir (2014) est ATER lUniversit deGrenoble. O. Finot (2014) est en recherche demploi

Moyens Lquipe est auto-finance et se dveloppe avec les moyens institutionnels et des partenariats industriels.Plusieurs thses ont dmarr dans la priode, avec une allocation ministrielle (A. AOUADHI), deux contratsindustriels CIFRE (J. Pepin, D. Sferruzza), un financement sur projet rgional (N. David), une thse en cotutelleavec le Liban (M. Abboud), une thse en cotutelle avec lAlgrie (M. Gherari).

Animation Nos travaux sont organiss autour de deux axes : les architectures logicielles dune part et lesmthodes de modlisation et danalyse formelle des composants et logiciels dautre part. Nous avons un sminaireinterne dquipe qui a lieu toutes les deux ou trois semaines avec un calendrier prtabli. Cest loccasion o lesmembres de lquipe exposent tour de rle, et partagent leurs derniers travaux, lectures et rflexions. Nous yfaisons intervenir aussi nos invits de passage au laboratoire.Une collaboration renforce avec lquipe Systmes Temps Rels (IRCCyN/STR) se dveloppe autour du projetAFSEC-PdL ; un co-encadrement de thse est en cours (D. Nicolas) et de nouveaux projets sont en gestation. Nousinterragissons aussi avec lquipe Gestion de Donnes (GDD) avec deux thses co-encadres (M. Perrin et M.Petrolia), et avec lquipe AtlanMod (co-signature darticles).

AeLoS 27

2.1.4 Politique scientifique

Les dfis autour du logiciel font lobjet de programmes internationaux successifs, et suscitent aussi lintrtdes industriels compte tenu des impacts socitaux et conomiques des applications informatiques. Nous avonsinscrit nos travaux dans la ligne des grands dfis acadmiques (Verified Software (HOARE, MISRA), SoftwareArchitectures (GARLAN)) ; ces dfis ont un cho certain dans le contexte industriel (par exemple dans les ples decomptitivit comme System@tic ou les programmes Briques gnriques du logiciel embarqu - BGLE).Dans le cadre de nos travaux sur laxe des architectures logicielles, nous avons poursuivi les objectifs de dfinitionde mthodes de modlisation et de rutilisation de styles de conception, et de nouveaux langages pour lesarchitectures logicielles ; de nouveaux rsultats ont t publis dans des articles et revues de premier rang parexemple [42, 47, 48, 50, 69].En qui concerne le deuxime axe, les objectifs sont ceux de llaboration de mthodes et modles efficientspour construire et analyser de diffrents points de vue, des composants et logiciels. Des rsultats nouveaux surles modles concurrents, paramtrs, probabilistes, temporiss ont t prsents dans des articles ou revues depremier rang [5,6,10,26,26,27]. De nouveaux rsultats sur la vrification dassemblages de composants modlissformellement ont t publis dans [32, 87, 90].Paralllement aux travaux acadmiques et la recherche de projets financs par les institutions (Rgion et ANR),nous avons investi dans le montage de projets de recherche industriels (CIFRE, partenariat direct de recherche)pour exprimenter nos approches sur des problmes rels et pour garantir des moyens financiers indispensables aufonctionnement de lquipe.Nous avons soumis deux projets ANR en tant que porteurs : le projet LOIRE1 en 2011, le projet ByPaaS2 en 2015 ;en tant que partenaires, nous avons contribu cinq projets ANR : AdpFix3 [STRA1] en 2010, ONECAD4 en2011, DIVA5 en 2012, M4E6 en 2013, et PACS7 en 2014.Nous sommes porteurs du projet rgional (AFSEC-PdL, 2012, [RAY10]) et contributeurs dans le projet DESCENTdu Labex CominLabs (co-encadrement de thses : M. Perrin et M. Petrolia).Nous sommes porteurs pour lUniversit de Nantes dans un consortium euro-argentin du programme Programmeof exchange between Argentina and Europe on Languages, Logic, and Analysis of Systems (PAELLAS) [RAY4]dpos au mois dAvril 2015. Ce projet fait suite un prcdent projet euro-argentin (Mobility between Europeand Argentina applying Logics to Systems - MEALS - auquel participait B. Delahaye. Nous sommes partenaires etresponsables dun lot de travail dans le projet Parameterised Analysis of Concurrent Systems, (PACS, B. Delahaye)qui a t retenu pour financement partir de 2014 par lANR. Nous sommes partenaires dans le projet ANRIMPRO (C. Jard).Nous sommes porteurs du projet ByPaaS : une plateforme pour dvelopper des applications SaaS mutualisesfaiblement couples (D. Tamzalit) qui a franchi le cap des prslections par lANR pour la campagne 2015[STRA5]. Nous sommes partenaires du projet ANR Outil numrique dvaluation de la capacit daccueilet de dveloppement dun territoire littoral ou tendu (ONECAD, P. Andr), projet port par le laboratoireGEOLITOMER (UMR 6554) de 09/2011-09/2013.Nous avons particip au montage dun projet europen FP7, Rigorous Design of Web/Service-based Applications(RiDE, 2012) [STRA2], et dun projet STREP (ICT FET du FP7) Correct-by-Construction Composition of WebServices (C3Web) en 2012 [STRA3].

2.1.5 Faits marquants

Amliorations substancielles des concepts et outils de manipulation des automates probabilistes - trs utilespour les systmes dynamiques complexes - permettant ainsi daider dans les phases de modlisation [5,55] ;

1Construction correcte de Logiciels Ractifs Embarqus2Une plateforme pour dvelopper des applications SaaS mutualises faiblement couples3Mthodes et outils pour lAnalyse et le Dveloppement paramtr de Familles de systmes de contrle embarqus4Outil numrique dvaluation de la capacit daccueil et de dveloppement dun territoire littoral ou tendu5Dispositifs de vote automatis6Modalits lectorales : valuation des volutions lectroniques7Parameterized Analysis of Concurrent Systems

http://www.meals-project.eu/


Introduction de la notion de variabililit comme service [39] ; elle permet de grer la variabilit desapplications en tant que service et ainsi de pouvoir lexternaliser comme le sont dautres exigences dansle dveloppement des applications SaaS mutualises (cloud) ;

Publication dune mthode outille qui, partir des informations issues des transformations de modles, credes modles partiels qui, leur tour, sont utiliss pour gnrer des modles de test complets, plus efficacespour dtecter les fautes que les rsultats existants [32, 35] ;

Construction dun projet structurant avec lquipe STR de lIRCCyN : le projet AFSEC-PdL ; nous avonsdmarr dans ce cadre un co-encadrement de doctorant (N. DAVID). Nous avons aussi dans ce cadre, en lienavec le dpartement Informatique de lIUT, dfini un poste et recrut en 2014 sur la thmatique Logiciels etSystmes, un enseignant-chercheur (L. Jezequel) pour travailler conjointement avec les deux quipes.

2.2 Ralisations

Logiciel ONECAD (Ministre de lEnvironnement) : Expertise de modlisation sur le projet ONECAD(amnagement du littoral) en partenariat avec le laboratoire Geolitomer (UMR 6554), financ par la Fondationde France, qui a abouti au logiciel ONECAD [LOG2].Logiciel COSTO : Extension de la plateforme exprimentale COSTO de lquipe, avec des modules de gnrationde harnais de test (CostoTest). Prsentation MoDeVVa2013, Workshop on Model Driven Engineering,Verification and Validation [LOG1].

2.2.1 Production scientifique

Nous donnons ici quelques rsultats phares ; une liste complte des rsultats de lquipe est fournie dans lannexeF.1 - production scientifique.Architectures logicielles La qualit des architectures logicielles services dpend pour beaucoup du type decouplage fait entre les diffrents services ; dans [50] nous avons propos la dfinition de mtriques pour valuerle couplage faible dans la composition de services web. Des amliorations sur nos mtriques sont proposesdans [19, 35]. La gestion de la variabilit dans les applications, notamment dans le cloud, pose des difficultsimportantes ; nous avons introduit la notion de variabililit comme service dans [39] ; on peut ainsi externaliserla gestion de la variabilit dans le dveloppement des applications base de services (SaaS mutualises). Dans[34], nous avons labor une ontologie de domaines pour aider la description des architectures logicielles. Unemthode de description multiples perspectives est propose dans [33] pour matriser la structrure des architectureslogicielles. Dautres rsultats importants publis sont par exemple [42, 47, 48, 69].

Modlisation, construction et analyse formelles La modlisation et lanalyse formelles des systmes qui secomposent dynamiquement et qui sont issus denvironnements priori diffrents, posent des difficults encoreirrsolues comme la diversit des horloges des composants. Nous avons propos une solution, dans [27], sousforme dune algbre de machines (I/O-automates) qui permet de dcrire des comportements conformes auxcontraintes temporelles des environnements des diffrents composants. Dans [57], nous avons propos une mthode base dvnements discrets pour modliser et vrifier des systmes de contrle rpartis avec compositiondynamique. Dans [6], nous avons propos une amlioration du pouvoir expressif des modles temporiss avecdes systmes de transition dhorloge (Clock Transition Systems). Il sagit ici de la combinaison du modle desrseaux de Petri temporiss et du modle des rseaux dautomates temporiss, tirant ainsi partie des avantagesdes deux types de modles. Dans [61], nous avons tendu un formalisme composants prcdemment dfini,par une opration de substitution dynamique de composants, afin de grer la reconfiguration dynamique dans lessystmes ou architectures base de composants. Dautres importants rsultats sont lists en annexe, parmi lesquels[5, 10, 26, 32, 87, 90]. Nous continuons explorer lanalyse des relations complexes entre causalit et temps dansles rseaux de Petri temporels et dvelopper ltat de lart en matire de dpliages des rseaux de plus en plusgnraux [10, 65, 126]. Nous travaillons aussi sur lintroduction de nouvelles smantiques mieux adaptes pourcapturer le paramtre temps dans des modles avec du paralllisme. Ces travaux, dvelopps conjointement aveclquipe STR de lIRCCyN, constituent une spcialit nantaise reconnue dans le monde.

AeLoS 29

2.2.2 Rayonnement et attractivit acadmique

Lquipe AeLoS est bien intgre dans les communauts nationales et internationales de ses domaines de recherche.Nous collaborons avec les quipes du Loria (Mosel, Nancy), de lIRIT (Acadie, Toulouse), de Inria (Convecs,Grenoble), de VERIMAG (Grenoble), du LIP6 (MoVe, Paris Ouest), du LIPN (LCR, Paris Nord), de lIRISA(Rennes). Dans le domaine des architectures logicielles, nous collaborons avec les quipes de lUniversit de Nice(I3S, Nice), de lIRISA (quipe Archware), du LAAS (quipe SARA) et du LIRMM (quipe Marel).

AeLoS est une quipe attractive, de par son positionnement sur des comptences varies allant des modlesaux mthodes formelles et de leur emprise directe sur les applications logicielles. Les concours de recrutementdenseignants-chercheurs ont chaque fois attir de trs bons candidats (Concours MCF en 2009, 2013 et 2014).

Nous participons plusieurs comits de programme de confrences de notre domaine [RAY29] [RAY36] et descomits ditoriaux ou de lecture [RAY37] [RAY52], ainsi quaux jurys de thses et HDR prsentes dans nosdomaines [RAY21] [RAY25].

Nous avons co-organis (B. Delahaye) la 11me cole MOdelling and VErifying parallel Processes (MOVEP 2014)avec lquipe STR/IRCCyN (D. Lime) [RAY11].

M. Oussalah est le fondateur de la confrence francophone sur les architectures logicielles [RAY8], et fait partiedu comit international de la confrence europenne du domaine : ECSA [RAY28].

D. Tamzalit est co-fondatrice du workshop Models & Evolution [RAY14].

la faveur des derniers recrutements, nous avons diversifi et renforc la collaboration linternational : Universitde Cordoba/Argentine, Universit de Mons/Belgique, RWTH Aachen University/Allemagne, Universit du Liban,Universit de Tunis, Universit dAlger, etc.

Plusieurs membres de lquipe ralisent des expertises pour lANR [RAY2], pour la HCERES [RAY1] et autresinstitutions [RAY18] ainsi qu linternational [RAY4], [RAY6], [RAY5], [RAY20].

2.2.3 Interactions avec lenvironnement social, conomique et culturel

Depuis plusieurs annes, nous collaborons rgulirement avec des partenaires non-acadmiques sur desproccupations quils nous soumettent et pour lesquelles parfois nous rpondons avec nos comptences etsolutions acadmiques qui sont ainsi confrontes des systmes rels complexes. Plusieurs contrats CIFRE ontainsi t monts aprs de nombreux mois de discussion pour faire converger les besoins rels exprims et nosproccupations de recherche vers un partenariat de recherche. Certaines fois, nous navons pas abouti des contratsde partenariat de recherche. En guise dillustration, nous avons effectu des contrats CIFRE avec les entreprisesBeOtic (2011), BitaSoft (2010), Horoquartz (2012-2015), Sodifrance (2013), Escale Digitale (2014) ; le ProjetEXAL (Extraction dArchitectures logicielles base de services, entre 2012-2015) ; le projet ESA avec IIter(2010). Nous participons des groupes de travail avec des partenaires non-acadmiques, afin dtre lcoute desbesoins, de suggrer des voix dinnovation et susciter lintrt pour des projets de recherche consquents. Commeexemple, on peut citer notre investissement dans le groupe Qualit avec des entreprises membres de lassociationADNOuest, ainsi que notre participation des vnements organiss par ces associations dentreprises de notreenvironnement local (ADNOuest, Cantine numrique, Alliance Libre).

2.3 Implication dans la formation par la recherche

Lquipe AeLoS est principalement implique dans le Master ALMA dont le responsable est M. Oussallah etdans le Master Miage (B. Delahaye est responsable du M1 Miage). Responsabilit des cours Components andSoftware Architecture, Formal Sofwtare Engineering, Modlisation, Gnie logiciel objets, Vrification validationet qualit du logiciel o nous avons loccasion de former nos tudiants aux techniques de conception darchitectureslogicielles, de modlisation formelle, de preuve et dexploration de modles. En dehors de la formation et delencadrement des doctorants, nous accueillons rgulirement des tudiants de Master pour des stages/projets deM1 ou des stages de M2 (T. Degueule, M2 2013 ; L. Ait Oubelli M2 en 2015 ; J. Bardon M1 2015).


2.4 Stratgie et perspectives scientifiques

Lquipe AeLoS intgrera le ple SLS (Science du Logiciel et des Systmes distribus) du nouveau laboratoire. Leresponsable de lquipe pour le contrat venir sera C. Attiogb.

Principales annexes pour lquipe AeLoS :

La production scientifique, comprenant la bibliographie de lquipe compter de la page 135 Les logiciels et prototypes produits, nots [LOGxy], page 146 Les actions de formation par la recherche, notes [FPRxy], page 146 Les principaux lments de rayonnement et attractivit acadmique, nots [RAYxv], page 147 Les actions dappui la recherche, notes [ENAxy], 147 Les produits destins des acteurs du monde social, conomique et culturel, notes [CSTxy], page 154 Les lments de stratgie politique de lquipe, nots [STRAxy], page 155 Les contrats institutionnels sur financement public, page 298 Les brevets, contrats industriels, contrats sur financement priv, page 345

quipeASCOLA

3.1 Prsentation

Les cyber-cosystmes modernes, notamment le web et le nuage, sont la base des interactions de plus en plusriches entre particuliers, entreprises et institutions publiques. Ces systmes logiciels requirent le dveloppementdapplications logicielles de trs grande taille et leur excution sur des infrastructures de plus en plus complexes.De manire concomitante, ils doivent satisfaire des besoins de performance, de correction et de scurit de plus enplus svres.

3.1.1 Introduction

Dans ce contexte, lquipe ASCOLA cre en janvier 2009, mne des recherches dans les domaines du gnielogiciel et des systmes rpartis. Elle tudie la spcification, le dveloppement et la vrification de logicielscomplexes en couvrant aussi bien des applications dfinies en terme dabstractions de haut niveau que desinfrastructures bas niveau. cette fin, elle dveloppe une approche fonde sur des langages de programmation :la dfinition et limplmentation de nouveaux concepts sont ralises sous forme de langages, souvent de langagesddis (domain-specific languages).Lors de la dernire valuation du LINA, en dcembre 2010, les travaux de lquipe sur la composition logicielleont t jugs excellents et sa reconnaissance dans le domaine des systmes rpartis a t mise en avant. En outre,le projet de lquipe rvlait dune bonne comprhension et expression de dfis futurs, notamment la sret dela composition invasive avec aspects, une approche compositionnelle des politiques de scurit et un modle deressources pour le domaine de lco-TIC (Green IT), en particulier la gestion de la consommation nergtiquebase sur la gnralisation de techniques pour le contrle des ressources. Pendant la priode 20102015, lquipepense avoir renforc sa visibilit dans ses domaines de comptence traditionnels et relev ces dfis en obtenant desrsultats trs visibles thoriquement et pratiquement.

31

32 Bilan 20102015 ASCOLA

3.1.2 Composition de lquipe au 30 juin 2015

Personnels permanents

Nom Prnom Fonction Employeur ArriveCohen Julien MC CN U. Nantes 01/09/05Cointe Pierre PR CE2 EMN 01/07/92Douence Rmi MA HC HDR EMN 01/09/98Grall Herv MA EMN 01/09/06Lebre Adrien CR 1 Inria 01/09/08Ledoux Thomas MA HC EMN 01/11/97Menaud Jean-Marc PR 2C EMN 01/09/00Noye Jacques MA HC EMN 01/09/96Royer Jean-Claude PR 2C EMN 01/01/92Sdholt Mario PR 2C EMN 01/09/97Tabareau Nicolas CR 1 Inria 01/09/09

Doctorants

Nom Prnom Financement Employeur ArriveBengrabit Walid Europe Armines 01/10/13Blouet Paul Europe Bourse IMT/VUB 01/11/13Bervian Gustavo Europe Armines/Rgion Pdl 15/09/10Cherruau Ronan-Alexandre Europe Armines/EPA 01/10/12Dumont Frdric CIFRE EasyVirt 01/01/13Dupont Simon CIFRE Sigma 01/11/12Garnier Alexandre CD EMN 01/10/13Hasan Sabir ANR INSA Rennes 01/12/13Hebbal Yacine CIFRE Orange Labs 01/11/14Li Yunbo CD EMN 01/11/13Marchand Florent CD EMN 01/10/12Pastor Jonhatan CD EMN 01/10/12Quirin Kevin CD EMN 01/09/13

Pendant la priode aucun permanent na rejoint ou quitt lquipe. Nous avons accueilli trois visiteurs de longuedure :

Hirofuchi Takahiro (Dr.), chercheur de linstitut AIST au Japon, pendant lanne entire 2013. Awais Rashid (Pr.), directeur du laboratoire Security Lancaster luniversit de Lancaster

(Royaume-Uni), pendant 3 mois entre jan. 2010 et mars 2011. Paolo Anneda (Dr.), chercheur linstitut italien CRS4, en nov. 2011.

Lquipe a eu rgulirement des candidats participants aux derniers tours de slection de recrutement du CNRS etdInria. En juin 2015, Guido Salvaneschi a t admis lissue du concours CR2 CNRS.Dix-sept thses ont t soutenues : quatre docteurs sont enseignants-chercheurs ltranger : A. Ajouli (2013)- U. Kairouan (Tunisie), I. Figueroa (2014) - U Chili, K. Garces Pernett (2010) - U. Los Andes (Colombie), A.Hanousse (2011) - U. Guelma (Algrie). Neuf sont ingnieurs dans le priv : A. Assaf (2011), Y. Kouki (2013),M. Lacouture (2014), D.H. Nguyen (2011), H. Nguyen Van (2011), A. Nunez Lopez (2011), R. Pottier (2012), F.Quesnel (2013), J. Van Ham (2015). Deux sont ingnieurs dans le public : F. Alvares De Oliveira (2013) Inria etG. Le Louet (2014) lEMN. G. Jaber (2014) est post doct lU. Queen Mary (R.U.), D. Allam (2014) est ATER PolytechNantes.

Deux HRD ont t soutenues sur la priode : J.-M. Menaud (2011) et R. Douence (2015).

ASCOLA 33

Principaux membres non permanents et anciens membres

Nom Prnom Fonction Employeur Arrive DpartHaddad Mehdi Post-doc Armines 05/01/15Le Louet Guillaume Post-doc EMN 01/09/14Lejeune Jonathan Post-doc Armines 01/10/14Ben Hassine Mahmoud IR EMN 01/01/09 31/08/10Bernard Thierry IR Armines 23/05/11 30/06/12Bernard Thierry IR Armines 01/01/13 30/06/14Bourdier Tony MA Associ EMN 01/09/01 31/08/12Chavrier Thomas IR Inria 01/10/10 30/09/11Chebaro Omar Post-doc Inria 16/01/12 15/05/13Figueroa Pallet Ismael Post-doc Inria 01/07/14 31/12/14Hermenier Fabien MA Associ EMN 01/09/09 31/08/10Hirofuchi Tahiro Post-doc EMN 02/01/13 31/12/13Kouki Yousri IR EMN 01/12/13 31/12/14Leger Marc IR EMN 01/04/08 01/09/10Louberry Christine MA Associ EMN 01/09/10 31/08/11Massot Clothilde IR Inria 03/10/11 02/10/12Mehta Hemant Kumar Post-doc Inria 11/02/13 10/02/14Mercadal Julien MA Associ Armines 01/09/12 31/08/13Quesnel Flavien MA Associ Armines 01/03/13 27/02/14Sellami Mohamed IR Armines 01/09/13 31/08/14Sharrock Rmi MA Associ EMN 01/09/11 31/08/12

3.1.3 Organisation et vie de lquipe

Animation scientifique. La vie de lquipe est anime par deux sminaires scientifiques dont un sminairehebdomadaire traitant de travaux du gnie logiciel et des langages de programmation ainsi quun sminairebimensuel de porte thmatique plus large qui sert le plus frquemment aux doctorants afin de prsenter leurrsultats avant de participer des confrences et dautres manifestations scientifiques.

Moyens financiers. Ils proviennent, pour une petite partie, des dotations institutionnelles de Mines Nantes etdInria avec une somme denviron 35 Ke par an mais en baisse continue sur la priode dvaluation. Cettedotation est entirement mutualise entre les membres de lquipe pour ses activits scientifiques. Lessentieldu financement de lquipe provient de fonds propres contractuels issus essentiellement de contrats collaboratifseuropens, nationaux et avec des industriels. Leur montant a augment denviron 300 Ke par an environ 550 Kepar an sur la priode 2010 2015. Ces moyens sont grs par le responsable du contrat et affects principalementaux activits lies ce contrat, mais aussi mutualiss pour une petite partie.

3.1.4 Politique scientifique

Objectifs scientifiques. Lambition globale de lquipe est de permettre une dfinition compositionnelle,notamment en terme de consommation de ressources, des logiciels de grande taille. Cette ambition se dclineen quatre objectifs scientifiques principaux :

1. dvelopper des nouveaux moyens de spcification et dimplmentation pour les fonctionnalits transverses,par exemple la scurit et la synchronisation dactivits rparties ;

2. fournir des nouveaux moyens de preuve et danalyse de proprits de programmes ;3. permettre la gestion de ressources, notamment en nuage, par des moyens dclaratifs et leur implmentation

dune manire entirement rpartie, cest--dire sans utilisation dtat centralis ;4. appliquer ces moyens pour la gestion de ressources loptimisation nergtique en nuage.


Stratgie et positionnement. ASCOLA poursuit, diffrents niveaux, une politique scientifique tournefortement vers linternational. En sus un fort encouragement la publication darticles dans les meilleuresconfrences et journaux internationaux, cette politique inclut un soutien la participation des permanents et desnon permanents, doctorants inclus, des confrences rputes des fins de rseautage et de veille scientifique,mme sans prsentation darticle. Lquipe soutient aussi fortement les cooprations internationales, incluantnotamment sept projets et rseaux europens, une quipe associe Inria avec celle d. Tanter de luniversit duChili [RAY7]), des visites de longue dure et des thses en co-tutelle (5 sur la priode avec des quipes europenneset sud-amricaines).Au niveau national, la politique scientifique dASCOLA est caractrise par des cooprations avec les meilleuresquipes franaises dans ses domaines. Ces cooprations sont typiquement abordes dans le cadre de programmesnationaux et institutionnels, notamment via le CNRS et Inria, et sexpriment souvent par des projets coopratifs detype ANR, FUI. . .

3.1.5 Faits marquants

ASCOLA a produit des rsultats dans des confrences et journaux de tout premier rang concernant ladfinition et lanalyse de proprits de composition logicielle. Ces rsultats incluent notamment les modlesformels les plus expressifs ce jour pour la dfinition de fonctionnalits transverses [34, 62, 67], telles quela scurit, pour des systmes squentiel et rparti.

N. Tabareau a tendu des concepts et des techniques pour lextension des thories logiques qui formentla fondation des outils de preuves [51]. Il a obtenu un ERC Starting Grant correspondant sur la priode2015-2020 pour son projet CoqHoTT [RAY1].

Lquipe a publi un nombre important de rsultats dans des meilleures confrences et journauxinternationaux sur la gestion des ressources, notamment laide de la virtualisation des calculs sur desinfrastructures rparties [9, 11, 31, 32]. Ces travaux ont permis de dvelopper deux contributions logicielles,une extension de loutil SimGrid [LOG??] et le systme btrCloud pour la gestion de centres de donnes laide de contraintes explicites [LOG??] qui est maintenant co-dvelopp par la jeune pousse EasyVirt co-fonde par J.-M. Menaud en 2011.

Lquipe a produit des rsultats notables dans le domaine de lco-TIC, concernant notamment la mdiationentre services sur la base de proprits nergtiques [6, 42, 65].

Finalement, depuis 2012, ASCOLA a dvelopp une expertise significative dans le domaine de lascurisation des logiciels complexes sur la spcification et limplmentation de proprits de scurit parcomposition logicielle [27, 76].

3.2 Ralisations

3.2.1 Production scientifique

Lquipe a produit des rsultats majeurs qui sont dclins ci-dessous selon ses objectifs principaux.

Composition logicielle et fonctionnalits tranverses. ASCOLA a publi une srie de rsultats dans desmeilleures confrences et journaux internationaux concernant la dfinition, limplmentation et lanalyse deproprits de composition logicielle. Ces rsultats incluent notamment les modles formels les plus expressifs ce jour pour la dfinition de fonctionnalits transverses.Lquipe a introduit les fondations, actuellement encore les plus gnrales, pour un traitement formel defonctionnalits transverses dapplications squentielles et rparties. Nous avons propos, en particulier, le premiermodle formel le plus expressif pour le typage statique dapplications par aspects [7], le premier modle permettantle raisonnement laide de techniques de bi-simulations dans des applications rparties [67] et une extension destypes sessions (session types) [34] permettant de grer certaines situations de concurrence (race conditions).

ASCOLA 35

Extensions de thories logiques pour systmes de preuve. N. Tabareau a dvelopp des techniques pourlextension des thories logiques qui forment la fondation des outils de preuves. Ces travaux ont notamment abouti une notion gnralise de types inductifs pour le prouveur Coq [51]. Il a obtenu un ERC Starting Grant dans cedomaine sur la priode 2015-2020 pour son projet CoqHoTT : Coq for Homotopy Type Theory . Son objectifest laugmentation de lexpressivit des thories la base dassistants de preuves en unifiant notamment la notiondgalit en mathmatique et celle disponible au cur de la thorie de type.

Gestion de ressources et virtualisation des systmes distribus. ASCOLA est devenue une des toutespremires quipes au niveau international travaillant sur la virtualisation des calculs rpartis. Les rsultatscorrespondants comprennent le premier algorithme entirement rparti pour leur ordonnancement (c.--d. sansaucun contrle centralis) [9], les premires techniques pour loptimisation nergtique laide de placement demachines virtuelles [65] et des abstractions nouvelles pour le service-level agreement pour des applications ennuage [31].En outre, ces travaux ont permis de dvelopper deux contributions logicielles trs visibles. Dabord, une extensionde loutil SimGrid (dvelopp par dautres quipes dInria) pour la simulation dalgorithmes rpartis large chelle.Cette extension a t tlcharge en tant que composant de la distribution de SimGrid des milliers de fois partoutdans le monde.

co-TIC. Lquipe a produit des rsultats notables dans les domaines de linformatique verte et delco-informatique, rcemment notamment la mdiation entre services sur la base de proprits nergtiques [30].Ce domaine constitue aujourdhui un domaine pivot pour lquipe.

Dfinition compositionnelle de politiques de scurit. Lquipe a dvelopp une reconnaissance grandissantedans le domaine de la scurisation des logiciels complexes. Elle a prsent, en particulier, une srie de rsultatsconcernant la spcification et limplmentation de proprits de scurit par composition logicielle. Des rsultatsnotables rcents incluent des techniques pour lapplication de politique de responsabilisation dans le nuage [27,76].

3.2.2 Rayonnement et attractivit acadmique

Comit de pilotage et de slection, co-organisation de manifestations. M. Sdholt a prsid de 2009 2011 lassociation internationale de droit californien Aspect-Oriented Software Association (AOSA) qui animela communaut correspondante et gre la confrence internationale Modularity (ex-AOSD), soutenue par lACM.Il est membre depuis 2010 du comit de pilotage de cette confrence et a t membre jusquen 2012 du comitde pilotage de la confrence Software Composition. P. Cointe est membre de lassociation AITO en charge dupilotage de la confrence internationale ECOOP. J.-M. Menaud est membre du comit de pilotage de la fdrationde confrences francophones RenPar/CFSE/Sympa. J.-C. Royer a co-fond, en 2012, la srie de manifestation desjournes francophones sur les lignes de produits et est membre de son comit de pilotage.Des membres de lquipe ont particip des comits de programme de confrences internationales rputes,notamment de plus visibles : AOSD/Modularity10,12 ; IEEE BigData13,14 ; ACM/IEEE CCGrid13 ; IEEECloudCom12,14 ; IEEE Cloud&Green Computing11,12 ; ECOOP10,13 ; ENERGY11 ; Euromicro11 ;Euro-Par13 ; ACM EuroSys10 ; ACM GPCE12 ; ACM/IEEE GreenCom10,12 ; ACM Supercomputing13.Pour une liste complte [RAY8].Ils ont prsid des comits de programme de confrences internationales, notamment AOSD 2010. Ils ontgalement particip la co-organisation dune quinzaine dateliers et dautres manifestations au niveauinternational et national [ENA10].Des membres de lquipe ont donn des prsentations invites des multiples manifestations scientifiques et dansdes quipes trangres et franaises [RAY11].

Animation de communauts, tches ditoriales et expertises. Lquipe est fortement implique dans le rseauGrid5000 qui offre des ressources matrielles et logicielles mutualises des chercheurs. Mines Nantes fournit


un nud de calcul (env. 100 curs actuellement) et A. Lbre fait partie du comit de pilotage scientifique et ducomit darchitectes de ce rseau depuis 2011.J.-M. Menaud a t prsident adjoint du chapitre franais dACM/SIGOPS jusquen 2011. Lquipe a t impliquedans le pilotage de plusieurs GDR, en particulier, le comit scientifique du GDR GLP (langages de programmation)et du GDR ASR (Architectures, Systmes, Rseaux).M. Sdholt est le co-prsident de la revue internationale Transactions in Aspect-Oriented Software Development(TAOSD) de Springer depuis 2015 et membre de son comit ditorial depuis 2010. J.-C. Royer a t et J. Cohenest membre du comit ditorial de Technique et Science Informatiques (TSI).Finalement, lquipe a contribu lexpertise de multiples projets europens, internationaux et nationaux [ENA16].

Collaborations, chercheurs invits. ASCOLA participe depuis 2009 une quipe associe avec lquipe Pleiaddu professeur . Tanter de luniversit du Chili. Chaque anne entre 23 chercheurs de chaque quipe visitentlautre. Cette quipe est lorigine dune quinzaine de publications dans les domaines de la composition logicielle,la programmation rpartie et la scurit logicielle. En outre, deux thses ont t co-supervises et des ancienstudiants ont travaill ultrieurement dans lquipe partenaire.Plus gnralement, ASCOLA coopre frquemment avec des quipes internationales en co-supervisant (etco-finanant) des thsards, pendant la priode notamment avec des quipes de luniversit de Lancaster, laTechnische Universitt Darmstadt et la VU Brussel.Finalement, lquipe a accueilli trois chercheurs internationaux pendant des priodes longues et des cooprationssuivies [RAY1

Documents

Bilan 2010-2015