Radu Mateescu
En partenariat avec
- Inria Grenoble - Rhône-Alpes, Montbonnot, de 13h30 à 18h
- Inscription gratuite
- Contact
Inria Grenoble - Rhône-Alpes
Service Relations Extérieures et Valorisation (REV)
intech-gra@inria.fr
Tél. : 04 76 61 55 43
Les composants informatiques, matériels et logiciels, sont devenus omniprésents dans tous les secteurs de la vie et de la société. Le parallélisme, la communication et la synchronisation se manifestent à tous les niveaux, depuis l’échelle microscopique des réseaux sur puce jusqu’à l’échelle macroscopique des grilles et des nuages de calcul, en passant par les ordinateurs et dispositifs embarqués multi-cœurs. Les applications informatiques qui exploitent ces équipements sont complexes et souvent critiques, leurs défaillances pouvant avoir des conséquences lourdes en termes humains et économiques. C’est pourquoi, une conception rigoureuse des systèmes critiques, basée sur l’utilisation des méthodes formelles et assistée par des outils de validation adéquats, est devenue plus nécessaire que jamais. Lire la suite