Journées du Réseau Thématique Prioritaire SECC

« Systèmes Embarqués Complexes ou Contraints »
14 - 15 Novembre 2002 à l’ENS Cachan

PROGRAMME
- Transparents -

Jeudi 14 Novembre

10-12 Test et vérification
Nicolas Halbwachs et Philippe Schnoebelen
Animateurs de l'action spécifique "Vérification de Propriétés Quantitatives"

• Vérification de Propriétés Quantitatives (Philippe Schnoebelen)
• Vers la combinaison des techniques d'analyse d'accessibilité des systèmes infinis (Nicolas Halbwachs)
  

Richard Castanet et Hélène Waeselynck
Animateurs de l’action spécifique «Techniques avancées de tests des systèmes complexes»

• Techniques avancées de tests des systèmes complexes (R. Castanet)
  

12h-14h Déjeuner

14h - 17h : Securite Logicielle: modèles et vérification

Proposition d’une action spécifique sur ce thème par Hubert Comon (LSV), Frédéric Cuppens (CERT), Thomas Jensen (IRISA) et Yassine Lakhnech (Verimag). Nous prévoyons des exposés sur les thèmes suivants:

• Analyse statique de propriétés de sécurité (Thomas Jensen)
• Vérification automatique de protocoles cryptographiques (Hubert Comon)
• Modèles pour la disponibilité et la survivabilité (Frédéric Cuppens)

17 :15 – 18h30 : Réunion

Discussion de l’organisation et des déliverables de l’action spécifique

Vendredi 15 Novembre

9h - 10h30
Philippe Clauss (ICPS, Strasbourg) animateur de l’ action spécifique «Compilation des systèmes embarqués»

• Compilation pour les systèmes embarqués (Philippe Clauss)

11h - 12h30

Didier Juvin (LIST/CEA) : présentation des activités sur les systèmes embarqués du CEA/LIST (Laboratoire d’Intégration des Systèmes et des Technologies)

• La Plate-forme technologique PLATENEUM (Didier Juvin)
• Sûreté des Logiciels (J. Raguideau)
  Analyse dynamique de systèmes temps réels
  Analyse statique de logiciel
  Génération de test structurels, de tests fonctionnels
• Ingénierie dirigé par les modèles de systèmes temps réel (François Terrier)
  Méthode de développement UML
  Implantation par transformation de modèles
  Analyse de modèles et génération de tests
  Méthode de conception multitâche déterministe de systèmes TR critiques

12h30 – 14h00 : Déjeuner

14h - 16h30 : Synthèse

Joseph Sifakis

• Systèmes embarqués, défis et perspectives

Discussion sur l’organisation du travail:

• Priorités et proposition de nouvelles actions
• Collaboration avec les autres réseaux et actions spécifiques
• Participation à des programmes nationaux
• Participation aux programmes du 6ème PCRD
• Ecole de printemps

LISTE DE PARTICIPANTS