Inria
Inria.fr
Inria Channel
Il y a 4 Résultats avec le mot clé : "Fiabilité"
Showroom des démos
Vérification de systèmes embarqués critiques avec CADP 2009
Le développement de systèmes embarqués critiques nécessite des outils permettant d'en assurer la fiabilité dès les premières phases de leur conception. La boîte à outils logiciels CADP permet la modélisation et la vérification formelle de ces systèmes. Nous illustrons l'utilisation de CADP dans le cadre de plusieurs études de cas avioniques.
Mots-clés :
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Vérification de systèmes embarqués critiques avec CADP 2009
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
Airbus A350.
-
© Airbus
Systèmes critiques
La fiabilité des systèmes devient un défi majeur
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é ? Eviter 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 :
- Hubert Garavel
- Convecs
- INRIA Grenoble - Rhône-Alpes
- Systèmes critiques
- Logicels embarqués
- Logiciels
- Fiabilité
Accueil > Centre > Grenoble > Actualités > La fiabilité des systèmes devient un défi majeur
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
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 :
- Télévision
- INRIA Grenoble - Rhône-Alpes
- Vie privée
- Internet
- Claude Castelluccia
- TNT
- Vincent Roca
- Streaming
- Fiabilité
Accueil > Centre > Grenoble > Actualités > Internet du futur : performances et respect de la vie privée
Centres de recherche Inria
