Précédent : PING
Suivant : VIP
L'objectif de l'action VASY est l'expérimentation industrielle de
l'utilisation de méthodes formelles dans le processus de
développement de systèmes complexes. Les résultats attendus
sont de montrer que les méthodes formelles améliorent la
qualité et la productivité de la conception des systèmes.
En vue d'un transfert technologique dans Bull, notre cible d'application,
depuis 1995, est le développement des architectures des multiprocesseurs
UNIX conçus par le centre de développement de Bull à
Pregnana (Milan).
Plus particulièrement, depuis 1996, la cible d'application de l'action
VASY est le protocole de cohérence des caches de l'architecture
multiprocesseur CC-NUMA développée a Bull-Pregnana.
Rapport d'activité 1997
