Participation du Projet à des manifestations externes, promotions et dissémination

Actions en 2003
Actions en 2002
Actions en 2001

1-En 2003

Dans le cadre de la Conférence Neptune du 21 janvier 2003, présentation des ouvertures au "model-checking" offertes par Acotris :

• "ACOTRIS : Real Time and Model Checking", Michel Nakhlé (CS SI), Thierry Gautier (INRIA - UR de Rennes) et Charles Modiguy (CS SI).

Démonstration également de l'environnement sur le sous-ensemble "Process Ballon muni de son contrôle-commande" de l'application Marine.

2-En 2002

2.1-Présentations et démonstration à SIM°OUEST'2002

Les deux applications projet ont été présentées dans l'atelier "CAD Process Control" lors du Congrès Européen SIM°OUEST. Ce congrès, s'est tenu à l'Ecole Centrale Nantes les 28 et 29 novembre 2002.

Transparents de présentation des applications :

• Fast prototyping of an image processing application with SynDEX, Christophe SCHLOSSERS (MBDA) & Yves SOREL (INRIA)

• A marine application for ACOTRIS project, Pascal Picard & Frédéric Thépaut (SITIA) / Michel Nakhlé & Charles Modiguy & Nhan Truong Trung (CS SI) / Jean-Yves Renaud (CAT)

L'atelier comportait également :

• Une présentation de SynDEx, effectuée par Yves Sorel de l'Inria UR Rocquencourt

• Une présentation de Polychrony, effectuée par Thierry Gautier de l'Inria UR Rennes.

CS SI et SITIA ont également mis en place une démonstration de l'environnement Acotris, sur un sous-enesemble de l'application Marine :

• Spécification du contrôle-commande d'un process ballon vapeur en UML

• Génération automatique du code en SIGNAL (passerelle YATUS de traduction du modèle UML en SIGNAL)

• Exécution du Process Ballon et de son contrôle commande, sur deux PC, en réseau, via une interface en Java.

2.2-Exposé des travaux Acotris lors Les RdV de l'innovation CS"

Afin de promouvoir de nouvelles technologies aux fortes potentialités, CS organise régulièrement des rendez-vous de l'innovation réunissant des experts scientifiques et industriels du secteur. Le thème du rendez-vous du 26 novembre 2002 était : "Les enjeux des logiciels temps réel critiques".

Agennda du rendez-vous "Les enjeux des logiciels temps réel critiques" :

Introduction", Alain Roche, Directeur Technique CS

"Problématique du temps réel critique : Exemple des industries du secteur automobile, et nucléaire", Joseph Beretta, Direction de la Recherche, P.S.A. et Didier Juvin Chef de Projets Systèmes Embarqués, CEA LIST

"CS et le temps réel critique : Exposé + Annexes", Michel Nakhlé, Consultant CS et Patrick Burcet, Chef du Département Logiciels Embarqués CS

"Evaluation de la Sûreté de Fonctionnement des logiciels de Météor (métro sans conducteur) : bilan et perspectives", Loïc Pelhat, Responsable de l'Atelier de Qualification des Logiciels de la RATP

"Projet logiciel embarqué opérationnel et critique (ATC A380)", Pierre Seyte, Responsable Cellule Spécifications Formelles Datalink, AIRBUS France et Eric Saves, chef de Projet CS, spécifications formelles ATC A380

2.3-Journées Nationales du RNTL

Les 23 et 24 octobre 2002, le Projet Acotris a participé aux Journées Nationales du Réseau National de recherche et d'innovation en Technologies Logicielles (RNTL), qui se sont tenues au Centre de Conférences Pierre BAUDIS à TOULOUSE dans le cadre de la manifestation du SITEF 2002.

Dans ce cadre et à la demande du RNTL, le projet Acotris a présenté ses travaux sous la forme d'un poster.

3-En 2001

3.1-Workshop UML & TR

Le 22 novembre 2001, SIM°OUEST et le projet Acotris ont organisé, en partenariat, le Workshop "UML et Temps Réel".

Ce Workshop a réuni différents acteurs impliqués dans des projets de R&D industriels utilisant UML et/ou dédiés Temps Réel, avec pour objectif un échange d'information, un partage d'expérience et une réflexion autour de la diffusion des acquis ( Comités de normalisation, OMG...).

Ce workshop, d'une journée, s'est tenu à IRCCyN (Ecole Centrale Nantes).

Programme :

3.2-Premières journées du RNTL

Les 26 et 27 avril 2001, le Projet Acotris a participé au colloque annuel du RNTL, organisé dans le cadre Premières Rencontres des Sciences et Technologies de l'Information ASTI'2001. Copie du Poster et de la plaquette présentés à cette occasion :

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