 |
 |
|
Evènement pour le groupe Modélisation et Verification
| Date | 2007-01-25 11:00-12:30 |
| Titre | Certification de la résistance des réseaux de programmes
synchrones aux erreurs matérielles |
| Résumé | Nous définissons un modèle de l'exécution des programmes
synchrones communicants tenant compte des imperfections matérielles
(désynchronisation des horloges, retards dans la transmission des
données). Ces imperfections étant inévitables, les programmes
incluent des techniques de robustesse qui permettent d'implémenter
leur spécification malgré ces défauts. Cependant, ces techniques
sont complexes, modifient fortement les programmes, et sont souvent
ajoutées "à la main". Nous proposons donc une analyse statique
(i.e. sur le code source et pas à l'exécution) et automatique,
basée sur la théorie de l'interprétation abstraite, permettant
de prouver formellement certaines de ces spécifications. |
| Lieu | Salle 076, LaBRI, Rez-de-chaussée |
| Orateur | Julien Bertrane |
| Email | Julien.Bertrane@ens.fr |
| Url | LIENS, Paris, France |
Aucun document lié à cet événement. RetourRetour à l'index
| |