Forum Méthodes Formelles Cycle de conférences

" Test et méthodes formelles "

Mardi 16 Juin 2015 Toulouse

• Inscription par mail Pôle AESE

Retransmis en direct :

• Grenoble Informations & Inscription
• Saclay Informations & Inscription

Programme

08h45 -09H00 Accueil des participants

09h00-09h05 « Courte introduction à la journée » Slides /Vidéo
Agusti Canals (CS Communication & Systèmes)

09h05-10h00 « Model-based testing dans l'industrie - usages et dissémination » Slides /Vidéo
Bruno Legeard (Université de Franche-Comté / FEMTO – Smartesting)

10h00-11h00 « Génération de tests pour des systèmes synchrones »

• « GATeL et la génération de séquences de tests fonctionnels: impact opérationnel et certification »
  Bruno Marre (CEA LIST) Slides /Vidéo*
  Pierre Monteil (Rolls-Royce Civil Nuclear) Slide /Vidéo*
  (*) Suite à un incident technique, ces deux videos ne sont pas complètes

11h00-11h30 : Pause Café

11h30-12h30 « Génération de tests pour des systèmes concurrents » Vidéo

• « TGV: Génération de tests de conformité à partir de modèles formels » Slides
  Thierry Jeron (INRIA Rennes) - Wendelin Serwe (INRIA Grenoble)
• « Génération de tests basés sur les modèles pour des systèmes sur puce avec cohérence de caches » Slides
  Massimo Zendri et Abderahman Kriouile (STMicroelectronics, Grenoble)

12h30-14h00 Repas

14h00-15h00 « Test d'exigences temps-réel »

• « Mise au point et test d'exigences temps-réel avec STIMULUS »
  Erwan Jahier (VERIMAG) - Bertrand Jeannet (ARGOSIM) Slides /Vidéo
• « Validation d'un système de drone : de la mise au point des exigences au test de l'implémentation »
  Valentin Brossard (SOGILIS) Slides /Vidéo

15h00-15h30 « Tests dirigés par les modèles »

• « Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactions » Slides /Vidéo
  Bruno Legeard (Université de Franche-Comté / FEMTO – Smartesting)

15h30-16h00 Pause café

16h00-17h00 « Interactions entre preuve et tests »

• « STANCE : un outil d'analyse de contrexemples inspiré du test » Slides /Vidéo
  Hélène Waeselynck (LAAS-CNRS/TSF) - Virginie Wiels (ONERA/DTIM)
• « Test-Sequence Generation with HOL-TestGen » Slides /Vidéo
  Burkhart Wolff (Université Paris-Sud, LRI)

17h00-17h30 : Table Ronde animée par Cyrille COMAR (Adacore) Vidéo
« Tests et méthodes formelles, où en est-on ? »

home