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

Hubert Garavel 1, * Isabelle Bellin 2
* Corresponding author
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.
Document type :
Journal articles
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
Contributor : Hubert Garavel <>
Submitted on : Friday, April 12, 2013 - 5:09:34 PM
Last modification on : Monday, October 5, 2015 - 4:56:19 PM
Document(s) archivé(s) le : Saturday, July 13, 2013 - 4:10:35 AM

File

La_fiabilitA_des_systA_mes_dev...
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

393

Document downloads

182