S O M M A I R E

	1-Revues de Projet
	2-Rapports d'étape
	3-Réunions plénières et/ou de coordination
	4-Réunions spécifiques d'avancement technique
	5-Participation du projet à des manifestations
	6-Sessions de Formation
	7-Technologies

1-Revues de Projet

1.1-Revue finale (à venir)

Date : 24 septembre 2003.

Lieu : dans les locaux de CS SI (1 Avenue Newton - 92142 Clamart Cedex) ; Télécharger Plan d'accès

Début/Durée : 9H30 / 3Heures.

Ordre du jour :

Quoi ?	Qui ?	Durée (mn)
Contour du projet + justification des choix	Michel Nakhlé	15
Méthode Acotris	François Terrier	20
Passerelles "UML -> SIGNAL" : GASP (asynchrone) et YATUS (synchrone)	Yann Tanguy & Charles Modiguy	30
Passerelle "SIGNAL -> SynDEx"	Loïc Besnard & Yves Sorel	10
Passerelle Arhitecture "UML -> SynDEx"	Yann Tanguy & Yves Sorel	10
Démonstration Application N°1 "Traitement d'images"	Christophe Schlossers & Charles Modiguy	30
Démonstration Application N°2 "Marine à cycle combiné"	Pascal Picard & Charles Modiguy	30
Bilan des travaux, discussion et conclusions	Tous	30

Préparation de la revue finale et dates à retenir :

• Transparents Version 0 : 10 septembre 2003.

• Revue à blanc + Contributions au Rapport Final : 17 septembre 2003, dans les locaux de CS SI.

• Draft du Rapport final : 23 septembre 2003.

• Remarque : Les démonstrations devront être également disponibles pour les journées 2003 du RNTL qui auront lieu les 16 et 17 octobre 2003, à Grenoble.

1.2-Revue à mi-parcours du 11/07/2002

Lieu : dans les locaux de MDBA à Châtillon.

Agenda	Agenda
Transparents	Introduction du projet
	Avancement du projet
	Méthode Acotris : lien UML-SIGNAL
	Application N°2 «Marine à Cycle combiné»
	Application de référence «Traitement d'images»
	Transfert, valorisation, promotion...
	Conclusions
Retours	Courriel C Saive
	Courriel J Sifakis
	Rapport

2-Rapports d'étape

2.1-Rapport final (à venir)

Sommaire du Rapport final, avec les contributeurs, tel qu'adopté lors de la réunion plénière du 11/6/2003 :

Quoi ?	Qui ?
Contour du projet	Michel Nakhlé
Méthode Acotris	CEA et INRIA
Passerelle Architecture	CEA
Passerelle asynchrone GASP, de "UML -> SIGNAL"	CEA et CS SI
Passerelle synchrone YATUS, de "UML -> SIGNAL"	CS SI
Passerelle "SIGNAL -> SynDEx"	INRIA
Application N°1 «Traitement d'images»	MBDA
Application N°2 «Marine à Cycle combiné»	SITIA
Evaluation de la méthode Acotris	MBDA, SITIA et CS SI
Transfert, valorisation, promotion...	Michel Nakhlé
Bilan des travaux, conclusion et perspectives	Tous

Recommandations et dates à retenir :

• Recommandations du Ministère pour la rédaction du Rapport final : fichier word

• Contributions au Rapport Final : 17 septembre 2003, dans les locaux de CS SI.

• Draft du Rapport final : 23 septembre 2003.

2.2-Fiches d'étape

• Fiche étape 2003

• Fiche étape 2002

3-Réunions plénières et/ou de coordination

3.1-Dernière réunion

- Réunion du 11/06/2003, à MBDA à Chatillon :

	Ordre du jour
	1) Avancement de la passerelle architecture "UML -> SynDEx" et des spécifications de la passerelle asynchrone GASP de "UML -> SIGNAL" : Exposé Yann Tanguy et François Terrier (CEA).
	2) Avancement des développements des passerelles "UML -> SIGNAL", passerelle asynchrone GASP et passerelle synchrone Yatus : Exposé Charles Modiguy (CS SI).
	3) Avancement de la passerelle "SIGNAL -> SynDEx" : Exposé Loïc Besnard et Thierry Gautier (INRIA).
	4) Avancement de l'application Projet N°1 "Traitement d'images" : Exposé Christophe Schlossers et Karl Lampla (MBDA).
	5) Avancement de l'application Projet N°2 "Navire à Cycle combiné" : Exposé Pascal Picard et Charles Modiguy (SITIA et CS SI).
	6) Evaluation de la méthodologie ACOTRIS : Exposé Amandine Laverré et Charles Modiguy (CS SI).

3.2-Les autres réunions

- Réunion du 12/03/2003, à CS SI à Clamart :

	Ordre du jour
	1) Avancement passerelle architecture et application Projet N°1
	2) Avancement de la passerelle de génération "UML -> Signal" (Yatus)
	3) Point d'avancement application Projet N°2

- Réunion du 04/12/2002, à l'INRIA Rocquencourt :

	Ordre du jour
	1) Avancement de la passerelle de génération "UML -> Signal" (Yatus)
	2) Avancement de la passerelle de génération "Signal -> SynDEx"
	3) Avancement de la traduction "Modèle d'exécution -> Signal" (GASP)

- Réunion du 23/03/2002, à CS SI au Plessis-Robinson :

	Compte-rendu
	1) Avancement travaux CEA-LIST
	2) Description en SIGNAL de l'application de référence
	3) Avancement application Projet N°2

- Réunions du 18/10/2001, 06/11/2001 et 11/11/2001 :

	Compte-rendu
	1) Application de référence
	2) Application Projet N° 2
	3) Evaluation XML/XMI
	4) Méthode "monohorloge V1"

- Réunion du 27/03/2001, à l'Irisa Rennes : Ordre du jour

- Réunion du 07/03/2001, au Ministère de la Recherche, avec Madame Marty : Compte-rendu

- Réunion du 05/02/2001 de démarrage officiel du projet, à CS SI au Plessis-Robinson : Compte-rendu

- Réunion du 07/12/2000, à CS SI Clamart : Compte-rendu

4-Réunions spécifiques d'avancement technique

5-Participation du projet à des manifestations

5.1-Journées nationales du RNTL 2003 (à venir)

Elles auront lieu les 16 et 17 octobre 2003, à Grenoble. Conformément au relevé de décision de la réunion plénière du 11 juin 2003 (dans les locaux de MBDA) les démonstrations préparées pour la revue finale du 24 septembre 2003 devront pouvoir être rejouées à cette occasion; la présence de MBDA et de SITIA est nécessaire à cette occasion.

Message du secrétariat du RNTL (courriel du 4/7/2003) Réseau National des Technologies Logicielles Journées du RNTL 2003 Comme chaque année, le RNTL organise 2 journées de rencontres et de présentation de résultats des projets labellisés, au cours de conférences ou de démonstrations. Cette année, les journées seront tout particulièrement importantes du fait de la fin des premiers projets et plates-formes, dont les résultats devront être mis en valeur. Tous les projets devront être représentés, et les projets et plates-formes se terminant seront sollicités pour des conférences, des sessions «Posters» et des démonstrations. En particulier, une salle sera réservée aux présentations/démonstrations des plates-formes. Vous pouvez dès à présent nous proposer des titres et résumés de conférences et/ou de démonstrations et nous indiquer les ressources qui vous sont nécessaires (connexion réseau, projecteurs, …). Ces journées se dérouleront les 16 et 17 Octobre 2003 au World Trade Center de Grenoble. Réservez dès maintenant ces dates sur vos agendas. En tant que point de contact de projet, nous vous demandons de retransmettre ce message à tous les partenaires de votre projet. Gilles Bogo Secrétariat Général du RNTL http://www.industrie.gouv.fr/rntl/ gbogo@anrt.asso.fr

5.2-Conférence Neptune du 21 janvier 2003 (action passée)

Présentation des ouvertures au "model-checking" offertes par Acotris : prière de se reporter à la page publique "Nouvelles".

5.3-Workshop RNTL 2002

Appel à publication et poster : Courriel Secrétariat du RNTL

5.4-Manifestations 2001

Pour le premier colloque du RNTL et le Workshop SimOuest'2001 du 22/11/2001, merci de se reporter à la page Nouvelles.

6-Sessions de Formation

7-Technologies (novembre et décembre 2000) :

7.1-Réunions préparatoires d'échange sur les technologies mises en oeuvre dans le projet

Participants

• CEA-LIST : François Terrier. CS SI : Michel Nakhlé. INRIA : Paul Le Guernic, Thierry Gautier et Yves Sorel.

Transparents

7.2-Autres

• Participation active (CEA) et passive (CS SI) aux Journées Systèmes et Logiciels Critiques 2000. Les présentations peuvent être visualisées en cliquant sur les liens de la page du sommaire : Sommaire.

© Tous droits réservés Projet RNTL Acotris. Version 8 - Date de mise à jour de la page :