AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2007

ATVA’07 (du 22 au 24 octobre 2007)

Sunday 13 May 2007

Fifth International Symposium on Automated Technology for Verification and Analysis

Tokyo, Japan, October 22-24, 2007

ATVA 2007

Soumission des articles : 21 mai 2007
Notification de l’acceptation : 25 juin 2007

Publié dans Manifestations, Conférences | Pas de commentaire »

FET’07 (du 7 au 9 novembre 2007)

Saturday 12 May 2007

7th IFAC International Conference on Fieldbuses and nETworks in industrial and embedded systems

Toulouse, France, November 7-8-9, 2007

FET 2007

Soumission des articles : 5 juin 2007
Notification de l’acceptation : 10 septembre 2007

Publié dans Manifestations, Conférences | Pas de commentaire »

Journée AFSEC « Outils » le 22 juin 2007

Monday 7 May 2007

Journée Outils

Cette journée a pour but de présenter 4 outils de conception et d’analyse des systèmes manipulant soit des dynamiques continues et événementielles (Modelica, AltaRica) soit purement événementielles (GreatSPN, TINA).
Seront discutés les aspects multi-échelles, multi-physiques qui apparaissent dans certains de ces outils et qui relèvent bien du cadre des systèmes embarqués. Les comportements dysfonctionnels voire critiques seront également abordés au cours de ces représentations.
Pour une bonne appréhension de ces outils industriels et/ou universitaires, seront présentés les fonctionnalités majeures autour d’une démonstration.

Télécharger le descriptif : Journee OUTILS

Télécharger le formulaire d’inscription : Inscription (doc), Inscription (pdf)

Infos Pratiques

Journée organisée par Eric Niel.
Le vendredi 22 juin 2007 de 9h à 17h30 au Laboratoire Ampère – INSA de Lyon
Salle Lucky Luke – Bâtiment Léonard de Vinci
Département de Génie Industriel (voir plan de situation sur www.insa-lyon.fr)

Programme

  • 8h30-9h15: accueil
  • 9h15 -10h45: Présentation de Modelica par Sébastien FURIC Société Imagine (Roanne)
  • 11h -12h30: Présentation de GreatSPN par Patrice Moreaux LISTIC (Annecy),
  • 12h30 - 13h30: déjeuner au restaurant universitaire de la Doua
  • 13h30 – 15h: Présentation d’AltaRica par Antoine Rauzy IML/univ. Marseille
  • 15h00-16h30: Présentation de TINA par Bernard Berthomieu/François Vernadat LAAS Toulouse
  • 16h30-17h30: Table ronde…

Publié dans Actions Afsec, Journées | Pas de commentaire »