Vignette du système robotique PUMAH pour présenter le laboratoire IRISA

Institut de recherche en informatique et systèmes aléatoires (IRISA)

RENNES CEDEX

L’IRISA mène des recherches dans le domaine de l'informatique et des nouvelles technologies de l'information. Il constitue un pôle de recherche d'excellence avec des priorités scientifiques telles que la bio-informatique, la sécurité des systèmes, les nouvelles architectures logicielles, la réalité virtuelle, l’analyse des masses de données et l’intelligence artificielle.

20230058_0017
Open media modal

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

Photo
20230058_0017
MANDJET, plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques…
20230058_0042
Open media modal

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Photo
20230058_0042
Maîtriser la complexité du logiciel
20230058_0008
Open media modal

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Photo
20230058_0008
Visualisation des données de séquençage génomique
20230058_0054
Open media modal

La prise en compte de connaissances symboliques permet d’affiner la comparaison de voies métaboliques entre plusieurs espèces en quantifiant la similarité et la particularité. Les applications ont concerné le métabolisme des lipides dans un contexte d’élevage en collaboration avec l’INRAe, et l’étude des stéatoses hépatiques avec l’Inserm.

Photo
20230058_0054
Étude comparative des réactions chimiques du métabolisme des lipides chez deux espèces
20230058_0045
Open media modal

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Photo
20230058_0045
Une algue brune et son réseau métabolique
20230058_0013
Open media modal

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Photo
20230058_0013
Visualisation des données de séquençage génomique
20230058_0038
Open media modal

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Photo
20230058_0038
Analyse de protocoles cryptographiques afin d’assurer leur sécurité et la protection de la vie privée
20230058_0018
Open media modal

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

Photo
20230058_0018
MANDJET, plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques…
20230058_0043
Open media modal

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Photo
20230058_0043
Maîtriser la complexité du logiciel
20230058_0009
Open media modal

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Photo
20230058_0009
Visualisation des données de séquençage génomique
20230058_0046
Open media modal

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Photo
20230058_0046
Une algue brune et son réseau métabolique
20230058_0014
Open media modal

Incorporation d'ADN sur une "flowcell" d'un séquenceur MinION. Après un pré-traitement bio-chimique, l'ADN a été extrait des séquences de l'organisme dont il est issu, dupliqué et découpé en fragments. Il est ensuite déposé sur une plaque d'un séquenceur MinION. Cette plaque dispose de "nanopores" (trou d'environ 2 nanomètres de diamètre) dans lesquels passent les fragments d'ADN. Lorsque l'ADN passe à travers le pore, les bases d'ADN sont détectées par un courant électrique qui est ensuite…

Photo
20230058_0014
Séquençage d’ADN par la technologie Nanopore (appareil MinION)
20230058_0039
Open media modal

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Photo
20230058_0039
Analyse de protocoles cryptographiques afin d’assurer leur sécurité et la protection de la vie privée
20230058_0022
Open media modal

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Photo
20230058_0022
Plateforme de recherche sur la sécurité des systèmes industriels connectés
20230058_0019
Open media modal

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.

Photo
20230058_0019
Mur végétal connecté : embellir l’espace intérieur tout en testant les boucles de contrôle
20230058_0044
Open media modal

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Photo
20230058_0044
Maîtriser la complexité du logiciel
20230058_0010
Open media modal

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Photo
20230058_0010
Visualisation des données de séquençage génomique
20230058_0001
Open media modal

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

Photo
20230058_0001
Fibres nerveuses du cerveau estimées par tractographie
20230058_0047
Open media modal

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Photo
20230058_0047
Une algue brune et son réseau métabolique
20210124_0007
Open media modal

Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, avec François Lemercier, post-doctorant et Clément Courageux-Sudan, doctorant, lors d'un échange sur la modélisation de la consommation énergétique d'une infrastructure numérique. Chercheuse à l’Institut de recherche en informatique et systèmes aléatoires (Irisa), Anne-Cécile Orgerie est spécialiste en efficacité énergétique des systèmes distribués. Ses travaux prometteurs visent des centres de calcul moins énergivores.

Photo
20210124_0007
Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, avec François Lemercier et Clément Courageux-Sudan
20210124_0008
Open media modal

Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, avec François Lemercier, post-doctorant et Clément Courageux-Sudan, doctorant, lors d'un échange sur la modélisation de la consommation énergétique d'une infrastructure numérique. Chercheuse à l’Institut de recherche en informatique et systèmes aléatoires (Irisa), Anne-Cécile Orgerie est spécialiste en efficacité énergétique des systèmes distribués. Ses travaux prometteurs visent des centres de calcul moins énergivores.

Photo
20210124_0008
Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, avec François Lemercier et Clément Courageux-Sudan
20210124_0009
Open media modal

Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, dans la salle serveur de l’Institut de recherche en informatique et systèmes aléatoires (Irisa), qui héberge le site rennais de la plate-forme expérimentale Grid'5000. Cette plate-forme est utilisée pour réaliser des expérimentations à large-échelle, afin d'identifier les liens entre l'utilisation des ressources matérielles et logicielles d'infrastructures de Cloud computing et leur consommation énergétique. Chercheuse à l'Irisa, Anne-Cécile…

Photo
20210124_0009
Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, dans la salle serveur de l’Irisa
20210124_0010
Open media modal

Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, dans la salle serveur de l’Institut de recherche en informatique et systèmes aléatoires (Irisa), qui héberge le site rennais de la plate-forme expérimentale Grid'5000. Cette plate-forme est utilisée pour réaliser des expérimentations à large-échelle, afin d'identifier les liens entre l'utilisation des ressources matérielles et logicielles d'infrastructures de Cloud computing et leur consommation énergétique. Chercheuse à l'Irisa, Anne-Cécile…

Photo
20210124_0010
Anne-Cécile Orgerie, médaille de bronze du CNRS 2020, dans la salle serveur de l’Irisa

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.