Suivant: Perspectives
Retour: Avancement
Précédent: État de l'art
J'ai conçu lors de mon DEA une analyse qui permet d'obtenir diverses
propriétés sur les systèmes mobiles exprimés dans le pi-calcul.
J'ai étendu cette analyse et publié deux articles :
- Une première analyse [6] permet d'obtenir une
description non uniforme des communications dans un système.
Ceci permet entre
autre de montrer dans le cas d'un protocole client-serveur que
l'information émise par un client ne peut jamais être communiquée à un
autre client. Une algèbre sur le domaine des propriétés permet
d'établir cette propriété même lorsque l'information n'est pas confinée
à l'intérieur du serveur. De plus, cette analyse ne nécessite pas de
connaître les systèmes dans leur intégralité, mais prend en compte les
éventuelles interactions avec un contexte malicieux.
- Une seconde analyse [7] compte le nombre
d'occurrences des processus présents au cours des exécutions.
L'utilisation d'un domaine numérique original permet une analyse assez précise pour
détecter des exclusions mutuelles et pour prouver des non exhaustions de
ressources, tout en évitant l'écueil de l'explosion
combinatoire. Cette analyse est alors utilisée comme critère de
partitionnement pour calculer une approximation de l'ensemble des
traces d'un système et ainsi détecter la possibilité de blocage entre les processus d'un système.
Next: Perspectives
Up: Avancement
Previous: État de l'art
Jerome Feret
2000-11-02