Précédent : PING
Suivant : Visioconf
1. Depuis fin 96, la spécification et vérification
formelle de l'architecture Polykid en cours de développement,
à partir de la spécification informelle, a été
fait en étroite collaboration avec les architectes de Bull-Pregnana, qui
ont jugé cette activité très profitable.
2. Le programme d'émulation du composant RCC a permis de mettre en place
une activité supplémentaire de validation de l'architecture,
complémentaire des autres activités de tests et simulation.
3. Une personne supplémentaire a été
détachée de Bull-Pregnana dans VASY pour une durée de deux
ans (à partir du 01.07.97) pour acquérir une expertise en
méthodes formelles et contribuer à leur application aux
systèmes développés à Pregnana.
Rapport d'activité 1997
