In’Tech
 - Validation formelle de systèmes industriels critiques

11:30
Jeudi
18
Avr
2013
Organisé par : 

Radu Mateescu

Équipes : 
Mots clés : 
Copyright ©MiqsPixImaging
Copyright ©MiqsPixImaging

Information détaillée : 

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

Résumé : 

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