VOS COORDONNEES - Laboratoire d`Informatique et de

VOS COORDONNEES :
Civilité : Mr
Titre : Pr
Nom : Mesnard
Prénom : Frederic
Numéro de téléphone : 0692231295
Email : [email protected]
FICHE DE SYNTHESE DU PROJET :
Orientation du projet - priorité 1 : recherche blanc
Orientation du projet - priorité 2 : preuve de concept
Dénomination du projet : Rundroid
Duret du projet : 3 ans à compter du 1/1/2014
Description courte du projet : Le projet Rundroid vise à développer à l’université de la Réunion
une expertise scientifique ainsi qu’une plateforme logicielle d’analyse de code autour d’Android, le
système d’exploitation pour mobiles promu par Google.
Identification de l'objectif du projet : Android est actuellement le système pour mobiles le plus
vendu dans le monde avec 79% de parts de marché au 2ème trimestre 2013 et plus d’un million
de nouveaux appareils activés chaque jour. Environ 1,5 milliard d’applications Android sont
téléchargées par mois.
Le sentiment de “confiance” envers une application est devenu aujourd’hui primordial sur ces
systèmes. Pour un développeur, tout bug peut compromettre le succès commercial de son produit.
Pour un utilisateur, tout bug peut avoir des conséquences pénibles (plantage de l’appareil,
batterie vidée rapidement, failles de sécurité, …).
L’objectif du projet est de développer une plate-forme d’analyse de code Android sous licence libre
et de permettre son utilisation en ligne : 1) via une interface web permettant à tout programmeur
de soumettre l’application qu’il développe et d’obtenir une description des bugs détectés 2) via un
web service permettant à tout utilisateur, depuis son mobile, de soumettre une application qu’il a
téléchargée et d’obtenir un résumé des bugs présents et une indication sur leur danger potentiel.
L’idée est de proposer un nouveau service aux utilisateurs Android tout en développant, sur un
plan fondamental et technique, des méthodes de vérification adaptées à ce système. À notre
connaissance, les outils de vérification de code Android existants sont soit des prototypes de
recherche pointus pour la détection de certaines failles de sécurité soit des produits commerciaux
destinés aux développeurs et applicables uniquement à une forme intermédiaire du code (par ex.
Klocwork et Julia).
L’idée est également de former des étudiants (stages de master proposés sur les objectifs du
projet). Ce projet peut très concrètement contribuer au développement de la filière TIC et donc au
développement économique de La Réunion. Il s’intègre parfaitement dans la Stratégie Régionale
d’Innovation (SRI).
Ce projet se déroulerait au sein du LIM, laboratoire d'informatique et de mathématiques de
l'université de La Réunion. Pour mémoire, celui-ci compte 28 enseignants-chercheurs et 16
doctorants et a produit 34 articles de revues internationales à comité de lecture et 11 articles de
revues nationales à comité de lecture dans la période 2008-2011.
Résumé des retombées scientifiques et techniques attendues :
- 1 ou 2 publications scientifiques de rang A par an
- développement de relations scientifiques avec des chercheurs européens et sud-africains du
domaine
- positionnement du laboratoire sur un créneau technologique innovant, en adéquation avec le
thème Informatique mobile et communicante de l’axe Informatique et applications du LIM
- développement de logiciels d'analyse statique sous licence libre GPL/LGPL
Résumé des retombées industrielles et économiques attendues :
- développement d’une expertise locale sur un domaine à fort potentiel des TIC
- formation d’étudiants de l’UR sur ce domaine
- éventuelle création d’une start-up locale
- éventuelle sensibilisation des développeurs et entreprises locaux à l’emploi d’outils d’analyse
statique de code pour accroître la qualité des applications Android avant déploiement
PROJET :
I. PRESENTATION DU LABORATOIRE :
Unité de Formation et de Recherche : Sciences et Technologies
Laboratoire : LIM
Directeur du laboratoire : Mr Pr Diatta Jean [email protected] 0262483318
Liens nationaux et internationaux :
Localisation du projet : Université de La Réunion, PTU
Nombre de chercheurs (doctorants, post-doctorants, chercheurs permanents et contractuels) :
0
Nombre de chercheurs : 0
Nombre de chercheurs dont nombre de doctorants issus des 5 pays cibles : Chine, Inde,
Maurice, Afrique du Sud, Australie : 0
Projet(s) de recherche en cours :
Publications nationales et internationales 2008-2011 :
dont Publications avec des équipes des Pays cibles : Chine, Inde, Maurice, Afrique du Sud,
Australie : - - - - - - - - - II. PRESENTATION DU PROJET :
Titre du projet : Rundroid
Responsable du projet : Mr Pr Mesnard Frederic [email protected] 0692231295
Descriptif du projet : La vérification logicielle est une thématique de recherche universitaire et
industrielle visant à accroître la qualité et la sûreté de fonctionnement des programmes
informatiques. En effet, les logiciels envahissent notre environnement et leur complexité croît sans
arrêt. Les erreurs de programmation surviennent plus fréquemment avec des conséquences
parfois sérieuses.
Afin de limiter ces erreurs, les entreprises intègrent des langages de programmation et des
schémas de conception plus sûrs. Elles testent les programmes sur de grands jeux de données,
mais cette technique ne peut pas couvrir toutes les exécutions possibles. Certaines utilisent des
techniques automatiques de vérification qui se matérialisent en un logiciel qui inspecte le
programme à vérifier pour trouver des bugs potentiels. Pour des raisons théoriques
fondamentales, le logiciel de vérification ne peut pas trouver l'ensemble exact de bugs réels. On
accepte donc que l'ensemble effectivement calculé contient de fausses alarmes (des bugs
potentiels qui ne peuvent pas survenir en réalité) ou ne contient pas certains bugs réels.
Objectifs de l'action de recherche : Ce projet se situe dans le contexte du développement de
techniques automatiques de vérification. L’objectif est de développer, tant sur le plan théorique
que pratique, un ensemble d’analyses pour les applications Android. L’idée consiste à partir des
techniques proposées pour les langages impératifs orientés objets standard (Java par exemple)
et à les étendre au système Android, qui présente de fortes spécificités.
Calendrier prévisionnel : 36
Chercheurs impliqués dans le projet (et équipes de recherches) de l'Université de La Réunion
:2
Chercheur 1 : Mr Pr Mesnard Frederic [email protected] 0692231295 LIM Sciences
et Technologies
Chercheur 2 : Mr Pr Payet Etienne [email protected] 0692603966 LIM Sciences et
Technologies
Chercheurs impliqués dans le projet (et équipes de recherches) extérieurs à l'Université de La
Réunion : 3
Chercheur 1 : Mr Pr Bagnara Roberto [email protected] Dipartimento di Matematica e
Informatica, Parme, Italie Sciences et Technologies
Chercheur 2 : Mr Pr Vidal German [email protected] Departamento de Sistemas Informáticos y
Computación, , Valence, Espagne Sciences et Technologies
Chercheur 3 : Mr Pr Visser Willem [email protected] Dept of Mathematical Sciences, Stellenbosch,
Afrique du Sud Sciences et Technologies
Liens avec d'autres projets de recherche (locaux, nationaux ou internationaux) : 0
III. ANCRAGE AVEC LE MILIEU LOCAL :
Adossement à des pôles de compétitivité ou des clusters : 0
Intitulés :
Labellisation par un pôle de compétitivité ou un cluster régional : non
Preuve de concept avec comme objectif :
Brevets attendus : 0
Thèmes des brevets :
Partenariats publics-privés envisagés : 0
Partenariats :
Organisation de congrès mixtes publics/privés : 0
Intitulés des congrès :
Participation à des business events : 0
Intitulés des business events :
Nombre de publications attendues : 6
Intitulés des publications :
Contrats industriels ou avec acteurs socio-économiques : 0
Intitulés des contrats et entreprises partenaires :
Caractère innovant, originalité :
1) Nouveau service pour les utilisateurs Android. Ce projet vise à proposer un outil de vérification
d’applications téléchargées (détection de bugs, de failles de sécurité, de code malicieux, ...).
2) Formation à l’innovation. Ce projet met en œuvre les dernières technologies TIC dans des
usages en plein développement. Les chercheurs impliqués encadrent des étudiants en
informatique de l’université de la Réunion. Des stages de master seront proposés sur les objectifs
du projet. L’intérêt est de former ces étudiants par la recherche à partir de sujets à finalité
industrielle directe et de développer des compétences locales sur des thématiques à fort
potentiel. Ce projet contribue donc au développement de compétences de haut niveau et à la
création d’un vivier de futurs créateurs d’entreprises à forte valeur ajoutée. Il place la Réunion sur
une niche porteuse, particulièrement innovante et en plein développement.
3) Positionnement du laboratoire sur un créneau technologique innovant. Cela ne peut être que
profitable au LIM, par exemple pour des liens avec des entreprises locales visant une ouverture à
l’international.
Partenariats développés avec les pays cibles : 1
Partenariat 1 : Mr Pr Visser Willem [email protected] University of Stellenbosch Afrique du sud
IV. SYNTHESE DU PROJET ET PLAN DE FINANCEMENT GLOBAL :
Région - Fonctionnement : 12600€
Région - Equipement : 10390€
Région - Personnel (hors stagiaires) : 0
Région - Stagiaires : 7848€
Etat - Montant global : 0
Europe - Montant global : 0
Entreprise - Montant global : 0