|
JSLC 2000 : Communications
Les communications
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 ?
Daniel 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
| 
Présentation