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

Hubert Garavel 1, * Isabelle Bellin 2
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : En 20 ans, les systèmes informatiques (ordinateurs, logiciels, réseaux) ont envahi notre vie courante et sont désormais au coeur 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.
Type de document :
Article dans une revue
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 3 p
Liste complète des métadonnées

https://hal.inria.fr/hal-00812770
Contributeur : Hubert Garavel <>
Soumis le : vendredi 12 avril 2013 - 17:09:34
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : samedi 13 juillet 2013 - 04:10:35

Fichier

La_fiabilitA_des_systA_mes_dev...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00812770, version 1

Citation

Hubert Garavel, Isabelle Bellin. La fiabilité des systèmes devient un défi majeur. Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 3 p. 〈hal-00812770〉

Partager

Métriques

Consultations de la notice

474

Téléchargements de fichiers

212