Le laboratoire d’Informatique de l’université de Franche-Comté (LIFC), créé en 1987, est associé au CNRS depuis le 1er janvier 2003. Il entre au département Sciences et technologies de l’information et de la communication comme Formation de recherche en évolution (FRE) dans le domaine de la recherche informatique et du traitement de l’information. Cette association est le résultat du travail de l’ensemble du laboratoire, constitué de 34 enseignants-chercheurs, dont 10 responsables de recherche, 30 doctorants et 4 personnels ITA ― Ingénieur, technicien, administratif ― répartis sur deux sites : Besançon et Belfort-Montbéliard.
• Les recherches du LIFC sont organisées en deux équipes et une action : – l’équipe Distribution et parallélisme recouvre, d’une part, des recherches en algorithmique distribuée pour le partage de ressources en réseau et les applications collaboratives (télémédecine, télémaintenance, projet coopératif…), d’autre part, des recherches en algorithmique numérique pour résoudre des problèmes de calcul intensif dans les domaines de la simulation numérique (météo, aérodynamique, traitement d’images…) – l’équipe Techniques formelles et à contraintes développe des méthodes et des techniques pour fiabiliser les logiciels embarqués dans des environnements où la sécurité est critique (automobile, ferroviaire, aéronautique, bancaire, carte à puce…). Elle construit, d’une part, des méthodes originales pour la vérification de systèmes développés de manière progressive avec un processus de raffinement, d’autre part, une méthode de génération automatique de tests des systèmes réalisés à partir d’un modèle formel. Un outil appelé BZ-Testing Tools, qui entre en phase de transfert industriel, a vu le jour grâce à cette activité soutenue par l’ANVAR ― Agence nationale de valorisation de la recherche
• – l’action Système d’information et de communication pour l’aide à l’apprentissage humain a pour but d’étudier expérimentalement l’apprentissage collaboratif du français langue étrangère pour concevoir des environnements informatiques d’aide à l’apprentissage. Les travaux sont centrés sur l’étude des interactions au sein des groupes de formation.
• La vitalité du laboratoire se concrétise par un rayonnement au travers d’un partenariat industriel et académique intense. Les partenaires industriels, dans le cadre de contrats et de projets de recherche des Réseaux nationaux en technologie du logiciel et en Réseaux et télécommunication, financés par le ministère délégué à la Recherche et aux nouvelles technologies et le ministère de l’Économie, des finances et de l’industrie, sont PSA, SCHLUMBERGER, THALES, GEMPLUS et SUN. Les partenaires académiques de ces projets sont les laboratoires LSR ― Système et réseaux ― de Grenoble, LIP ― Informatique du parallélisme ― de Lyon et I3S ― Informatique, signaux et systèmes ― de Sophia Antipolis. Le LIFC est également membre du projet INRIA CASSIS ― Combinaison d’approches pour la sécurité des systèmes infinis ― qui est commun avec le LORIA, unité INRIA Lorraine à Nancy. Enfin, le LIFC participe aux groupes de recherche nationaux du CNRS dans trois domaines : programmation, système et interaction homme-machine. Sur le plan européen, le LIFC est partenaire d’un projet ITEA ― Information technology for european advancement ― sur la télémaintenance industrielle.
• Cette association est une étape qui atteste de la qualité des travaux scientifiques du LIFC dont l’approche met en synergie les points de vue théoriques et expérimentaux. Elle se donne pour objectif de développer des partenariats lui permettant de confronter ces approches à l’échelle industrielle et de développer des collaborations européennes au sein des réseaux d’excellence et des projets intégrés du 6e PCRD ― Programme cadre de recherche et développement.
Jacques Julliand
Laboratoire d’Informatique (FRE CNRS 2661)
Université de Franche-Comté
Tél. 03 81 66 64 51 – Fax 03 81 66 64 50
julliand@lifc.univ-fcomte.fr
