Sites Inria

Il y a 5 Résultats avec le mot clé : "Fiabilité"

Jean-Jacques Lévy, directeur du laboratoire commun Inria - Microsoft-Research - © Bernard LACHAUD

Unithé ou café

Un p'tit bug, un gros boum !

Laure Guion - 26/09/2008

Le monde moderne nous a habitué aux pannes informatiques. L’erreur logicielle la plus connue a provoqué l’explosion de la fusée Ariane 5 lors de son premier vol en 1996. Cette fusée était une des premières à faire autant de place à l’informatique embarquée. L’informatique n’est pas la physique. Les solutions approchées n’y existent pas. Tout doit être correct jusqu’au moindre détail. Le plus petit bogue peut  provoquer la faillite d’un gros système ou l’explosion d’une fusée d’un milliard... de francs. En appliquant de simples méthodes d’analyse statique de programme, il a été possible d’aider très rapidement à la réparation du code embarqué sur Ariane 5. La fiabilité des programmes est toujours en 2008 un domaine de recherche très actif.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Un p'tit bug, un gros boum !

Lire la suite

Modélisation mathématique pour l'optimisation de la maintenance dans les centrales électriques

Le logiciel MARS (Maintenance Assessment of Repairable Systems) a été développé par le LJK et EDF R&D. Il implémente des modèles aléatoires permettant l'évaluation des effets conjoints du vieillissement et de la maintenance des systèmes réparables complexes. Nous montrerons comment utiliser cet outil pour optimiser la maintenance des centrales de production d'électricité.

Mots-clés :

Accueil > Centre > Grenoble > Innovation > RII SNEE > Démos > Modélisation mathématique pour l'optimisation de la maintenance dans les centrales électriques

Lire la suite

Protection de la vie privée Protection de la vie privée sur terminal mobile - © Inria / Photo H. Raguet

Internet

Internet du futur : performances et respect de la vie privée

Claude Castelluccia, Vincent Roca, Françoise Breton - 22/11/2012

Les internautes sont de plus en plus courtisés par un e-commerce fleurissant. S’ils bénéficient déjà, pour certains, de la télévision en streaming  sur des terminaux mobiles comme les smartphones , ils sont aussi activement profilés à des fins publicitaires. Impossible aujourd’hui de penser l’Internet et les terminaux mobiles sans se préoccuper de leur fiabilité, de leur sécurité et de la préservation de la vie privée.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Internet du futur : performances et respect de la vie privée

Lire la suite

Airbus Airbus A350. - © Airbus

Systèmes critiques

La fiabilité des systèmes devient un défi majeur

Hubert Garavel, Isabelle Bellin - 20/11/2012

En 20 ans, les systèmes informatiques (ordinateurs, logiciels, réseaux) ont envahi notre vie courante et sont désormais au cœur d’applications de plus en plus vitales. Leur complexité technique augmente sans cesse, alors que leur contexte de production est de plus en plus tendu, réductions de coûts et de délais obligent. Quelles conséquences en termes de qualité, sûreté et sécurité ? Éviter les défaillances informatiques représente un enjeu d'avenir, majeur pour l’industrie, sur la base des progrès scientifiques de ces dernières décennies.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > La fiabilité des systèmes devient un défi majeur

Lire la suite

Rencontre collaborative

17ème Rencontre maths-industrie

8/04/2013

Le 8 avril, le Centre Inria Bordeaux – Sud-Ouest accueillera la 17e rencontre Math-Industrie.

Son objectif : faire se rencontrer et dialoguer, industriels et mathématiciens autour de problèmes ouverts relatifs à la fiabilité et à la sureté de fonctionnement.

Lieu : Centre de Recheche Inria Bordeaux - Sud-Ouest, Talence

Mots-clés :

Accueil > Centre > Bordeaux > Agenda > 17ème Rencontre maths-industrie

Lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !