MARDI 14 NOVEMBRE

• Laurent MOUNIER, Laboratoire VERIMAG :  IF : un environnement pour la validation de systèmes distribués


• Alain KERBRAT, Sté Telelogic :  Génération et exécution automatisées de tests à partir de spécifications exécutables


• François TERRIER, CEA/Leti :   AGATHA : un générateur de tests multi-formalismes pour les systèmes distribués

Test et testabilité de logiciels synchrones

• Nicolas HALBWACHS, Laboratoire VERIMAG :  Tests et testabilité des logiciels synchrones


• Farid OUABDESSELAM, Laboratoire Logiciels Systèmes et Réseaux :  Techniques et outils de test pour les logiciels réactifs synchrones


• Chantal ROBACH, Laboratoire de Conception et d’Intégration des Systèmes :  Analyse de testabilité de systèmes flot de données


• Farid OUABDESSELAM :  Le projet AUTOFOR

Retour d’expériences industrielles

• Bernard DION, Sté Esterel Technologies :  Spécification objet UML et vérification formelle de systèmes critiques : mise en œuvre sur deux applications industrielles


• François PILARSKI, EADS Airbus :  Les techniques de preuve sont-elles industriellement opérationnelles ?


• aniel PILAUD, Sté Polyspace :  Détection d'erreurs d'exécution par l'interprétation abstraite. Retour d'expérience sur les langages ADA et C


• Daniel PEREZ, Schneider Electric :  ²Mise en œuvre des techniques synchrones pour des applications industrielles de sûreté 

MERCREDI 15 NOVEMBRE (Sécurité des systèmes)

• Pierre PARADINAS, Sté Gemplus :  Cartes à microprocesseur : systèmes à fortes contraintes


• Dominique BOLIGNANO, Sté Trusted Logic :  Méthodes formelles et sécurité : perspectives


• Carlos MARTIN, Service Central de la Sécurité des Systèmes d’Information :  Schéma français d'évaluation et de certification de la sécurité des technologies de l'information


• Alain MERLE, CESTI LETI/CEA :  Validation des produits suivant les critères communs


• Dominique CHAUVEAU, Sté Silicomp AQL :  Castor : un outil d’aide à la conception, l’évaluation et l’audit d’architectures sécurisées

JEUDI 16 NOVEMBRE  (Journée UML)

• P. WARD and George KRASOVEC, PWA Inc : : Problems with the UML: Formal versus Informal.


• Anders EK , Telelogic :  Realtime Extensions to UML Powered by SDL


• Bran SELIC, Principal Engineer, Rational Software :  Real-Time System Engineering with UML


• David HAREL, Weizmann Institute of Science :  From Play-In Scenarios to Code : an Achievable Dream