Evènement pour le groupe Modélisation et Verification


Date 2007-01-25  11:00-12:30
TitreCertification 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. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurJulien Bertrane 
EmailJulien.Bertrane@ens.fr 
UrlLIENS, Paris, France 



Aucun document lié à cet événement.

Retour
Retour à l'index