Précédent : Actions industrielles Remonter :
Actions
industrielles Suivant : CTI CNET « Objets
Réactifs
Participants : Gérard Boudol, Ilaria Castellani, Silvano
Dal-Zilio, Davide Sangiorgi, Roberto Amadio, Amar Bouali, Michel
Bourdellès, Robert de Simone Nos travaux dans la partie «
vérification » de cette collaboration ont principalement porté
sur l'extension de nos méthodes d'analyse par réduction
(abstraction, quotient, observation) au cas des processus
synchrones. Ceci a donné lieu à des dévelopements logiciels
importants, voir sections 3.4.1 et 3.4.2. Un cas d'étude nous a été
fourni par le CNET, portant sur l'étude et la détection
d'interactions entre services ajoutés en téléphonie. La
modélisation « synchrone » du problème en Esterel est encore en
cours.
Pour la partie « modélisation de processus mobiles », le
travail prévu dans cette collaboration est dans le droit fil des
travaux décrit en 3.3,
particulièrement dans les aspects typage et vérification.