Technologies

Logiciels phares

Les logiciels réalisés par les équipes de recherche du centre Inria Lille - Nord Europe couvrent de nombreux domaines d'applications : de la médecine numérique en passant par le commerce ou bien la logistique.

PARADISEO

PARADISEO est une plate-forme logicielle facilitant l’utilisation, le développement et la comparaison de métaheuristiques (algorithmes d’optimisation visant à résoudre des problèmes d’optimisation difficiles) classiques, multiobjectifs, parallèles et hybrides. PARADISEO offre des implémentations de nombreuses métaheuristiques classiques de la littérature ainsi que des métaheuristiques novatrices. Ce logiciel permet également la parallélisation des métaheuristiques. ParadisEO est utilisé pour la résolution de problèmes d’optimisation de grande taille issus de nombreux domaines, tels que : le transport, la logistique, les systèmes de télécommunication ou la bioinformatique.

Contact : équipe-projet Dolphin

SOFA

SOFA est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale. SOFA regroupe de nombreux algorithmes issus de domaines de recherche variés. Des modèles de nature différente peuvent être combinés de façon à produire des simulations complexes qui restent compatibles avec des temps de calcul optimaux. Les domaines d’applications possibles de SOFA sont l'apprentissage et la planification d’interventions médicales, bio-mécanique, jeux vidéos, ...

Contact : équipe-projet S.H.A.M.A.N

PHARO

Pharo est un langage et un environnement de programmation Smalltalk, dynamique, propre, innovant, gratuit et open-source avec lequel des applications professionnelles peuvent être développées. En fournissant un système stable et un noyau simple, des outils de développement excellents, et des mises à jour régulières, Pharo est une plateforme attrayante pour créer et déployer des applications critiques en Smalltalk.

Contact : équipe-projet Rmod

JITS

JITS –Java In The Small– est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste. La chaine d’outil JITS permet de déployer des logiciels dans des plateformes très contraintes. Il devient ainsi possible d’exécuter des programmes Java sur des supports où une machine virtuelle classique ne fonctionne pas. JITS intègre aussi des logiciels d’analyse dont STAN, qui contrôle, au déploiement, l’absence de fuites d’informations dans l’implantation des logiciels, et impose ainsi un haut niveau de sécurité.

Contact : équipe-projet Pops

GASPARD2

Environnement de développement intégré pour co-modéliser, simuler, tester et générer du code logiciel et matériel pour des applications intensives sur SoC (System-on-Chip).Gaspard2 permet un gain de productivité pour l'exploration d'architecture grâce à une méthodologie dirigée par les modèles permettant le couplage d'outils et l'automatisation de la génération de code à partir de modèles abstraits.

Contact : équipe-projet Dart

FRASCATI

FraSCAti est une plate-forme middleware pour les architectures orientées services (SOA) conformes au standard OASIS/OpenSOA Service Component Architecture (SCA). FraSCAti est la première plate-forme réflexive pour SCA. Elle apporte un modèle unifié pour le développement de composants applicatifs et middleware SOA. Les domaine d’applications possibles sont les applications réparties large échelle, le backoffice, les applications Web, les applications mobiles sur SmartPhones.

Contact : équipe de recherche Adam

Bioinformatics software server

L’équipe de recherche SEQUOIA2 propose une suite de logiciels permettant, par exemple, d’effectuer des recherches entre des séquences nucléiques ou d’étudier des sites de fixation de facteurs de transcription. Ces logiciels sont diffusés sur le site de l’équipe sous licence CeCILL mais peuvent être également utilisés via une interface web. Ils sont adossés à des banques d’information importantes qui en font un outil précieux en bio-informatique.

Contact : équipe de recherche Sequoia2

MOOSE

Moose est une plate-forme ouverte et extensible pour l'analyse logicielle, intégrant des modèles de langages, des métriques, d’algorithmes, des moteurs de visualisation et de navigation. Elle accélère la production d'analyses logicielles en fournissant des modèles extensibles et des librairies réutilisables. Divers modèles sont proposés pour l'analyse statique ou dynamique des programmes, l'historique de développement, le code procédural ou aspect.