PROGRAMME
Mercredi
15 janvier 2003
|
||
9h00 - 9h30 | Accueil des participants | |
9h30 - 11h00 | Tutoriel
1 (salle minquiers) Introduction à la modélisation de systèmes réactifs avec UML et les langages synchrones Emmanuel Ledinot (Dassault Aviation, St-Cloud) |
Tutoriel
2 (salle Houat-Hoedic) |
11h00 - 11h30 | Pause café | |
11h30 - 12h30 | Tutoriel 1 (suite) | Tutoriel 2 (suite) |
12h30 - 14h00 | Déjeuner (salle valorisation) | |
14h00 - 14h15 | "Ouverture
de la conférence" C. Labit |
|
Session
"UML et approche formelle"
|
||
14h15 - 15h00 | Intégration
de données formelles dans les diagrammes d'états d'UML Attiogbé Christian, Pascal Poizat, Gwen Salaün (INRIN-Université de Nantes) |
|
15h00 - 15h45 | Expressing
dynamic properties of static diagrams in Z Yves Ledru, Sophie Dupuy-Chessa (LSR-IMAG, St-Martin-d'Hères) |
|
15h45 - 16h30 | Argo/UML
B : un outil de transformation systématique de spécifications
UML en B Hung Ledang, Jeanine Souquières, Sebastien Charles, Thuan TruongNinh (LORIA-Université Nancy 2) |
|
16h30 - 17h00 | Pause café | |
Session
"Langages de scénarios"
|
||
17h00 - 17h45 | Formalisation
des besoins à l`aide de schémas LSCs Jeanine Souquières, Maritta Heisel (LORIA-Université Nancy 2) |
|
17h45 - 18h30 | Projections
et comparaisons de scénarios Loïc Helouët (IRISA-INRIA Rennes) |
Jeudi
16 janvier 2003
|
|
9h00 - 10h00 | Conférence
invitée : "MDA" Jean Bézivin (Université de Nantes) |
10h00 - 10h15 | Pause café |
Session
"Outils pour B"
|
|
10h15 - 11h00 | Traduction
de B vers des langages de programmation : points de vue du projet BOM Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet (LSR-IMAG, St-Martin-d'Hères), Nicolas Stouls (ClearSy, Aix-en-provence)Laurent Voisin (LSR-IMAG, St-Martin-d'Hères) |
11h00 - 11h45 | Génération
de composants à partir de spécification B Dorian Petit, Georges Mariano (INRETS/ESTAS, Villeneuve d'Ascq), Vincent Poirriez (Université de Valenciennes) |
11h45 - 12h30 | Validation
des règles de base de l`Atelier B Karim Berkani (France Telecom R&D, Lannion - LaMI-Université d'Evry), Catherine Dubois (CEDRIC, Evry), Alain Faivre (CEA-Laboratoire LSP, Gif-sur-Yvette), Jérôme Falampin (Siemens Transportation Systems, Montrouge) |
12h30 - 14h00 | Déjeuner (Club des profs) |
14h00 - 15h00 | Conférence
invitée : "Comment
valider un modèle mathématique en biologie?." Janine Guespin-Michel (Université de Rouen, Labo. Microbiologie du froid, Rouen) |
Session
"Test"
|
|
15h00 - 15h45 | Reification
de scripts executables en generation de tests a partir de specifications
formelles : application aux mecanismes de transaction de la JavaC Fabrice BOUQUET, Bruno Legeard (Université de France-Comté, Besançon) |
15h45 - 16h15 | Pause café |
16h15 - 17h00 | Modèle
et langage d`observation pour le test d`agents mobiles Marche Mikael, Leroy David, Quemener Yves-Marie (France Telecom R&D, Lannion) |
17h00 - 17h45 | Stratégie
de couverture de test à haut niveau dabstraction Pierre Bontron, Marie-Laure Potet (LSR-IMAG, St-Martin-d'Hères) |
17h45 - 18h30 | UML-CASTING:
Test synthesis from UML models Lionel VAN AERTRYCK (AQL, Cesson-Sévigné), Thomas JENSEN (IRISA/CNRS, Rennes) |
20h00 | Banquet |
Vendredi
17 janvier 2003
|
|
9h15 - 10h15 | Conférence
invitée : "La méthode
B et l'ingénierie système" Didier Essamé (Siemens Transportation Systems, Montrouge) |
10h15 - 10h30 | Pause café |
Session
"systèmes réactifs "
|
|
10h30 - 11h15 | Expression
en B et raffinement des systèmes réactifs temps réel A. Hammad, J. Julliand, H. Mountassir, D. Okalas Mossami (Université de Franche-Comté, Besançon) |
11h15 - 12h00 | Machines
virtuelles pour le B événementiel Jean-Paul Bodeveix, Mamoun Filali (IRIT-Université Paul Sabatier, Toulouse) |
12h00 - 12h45 | Un
langage d`horloge pour spécifier et analyser les réactions
synchrones Mirabelle Nebut (IRISA, Rennes) |
12h45 - 14h15 | Déjeuner (Club des profs) |
Session
"Vérification"
|
|
14h15 - 15h00 | Modélisation
et vérification de systèmes répartis : une approche
intégrée avec LfP F. Gilliers (SAGEM SA, Eragny), F. Kordon, D. Regep, Y. Thierry-Mieg (LIP6, Paris) |
15h00 - 15h45 | Model
Checking des propriétés dynamiques sous hypothèses
d`équité, exploitant le raffinement Samir CHOUALI, Jacques JULLIAND (LIFC-Université de Franche-Comté, Besançon) |
15h45 - 16h30 | Conception
et validation d`un protocole avec le modèle AltaRica Alain Griffault (LaBRI-Université de Bordeaux 1, Talence) |
16h30 - 16h45 | Cloture des journées |