Sites Inria

Forum Méthodes Formelles

Test et méthodes formelles

Cockpit Airbus A350 © Airbus

Le prochain Forum Méthodes Formelles sera retransmis le 16 Juin 2015 de 8h45 à 17h30 à Inria Grenoble - Rhône-Alpes. Ce forum est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

  • Date : 16/06/2015
  • Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre
  • Organisateurs : Cette conférence est organisée par Aerospace Valley et Minalogic, et accueillie par Inria Grenoble Rhône-Alpes.
► Programme
  • 08h45 -09h00 : Accueil des participants
     « Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactions »
     Bruno Legeard (Université de Franche-Comté / FEMTO – Smartesting)
  • 09h00-09h05 :  « Courte introduction à la journée  »
     Agusti Canals (CS Communication & Systèmes)
  • 09h05-10h00 : «  Formal methods and tests: toward runtime verification   »
     Klaus Havelund (NASA Jet Propulsion Laboratory, Laboratory for Reliable Software)
  • 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) - Pierre Monteil (Rolls-Royce Civil Nuclear)
  • 11h00-11h30 : Pause Café 
     
  •  11h30-12h30 :  « Génération de tests pour des systèmes concurrents »
    • « TGV: Génération de tests de conformité à partir de modèles formels »
       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 »
       Massimo Zendri et Abderahman Kriouile (STMicroelectronics, Grenoble)
  • 12h30-14h00 : Repas
  • 14h00-15h00 :  « Génération de tests à partir des exigences »
    • «Mise au point et test d'exigences temps-réel avec STIMULUS»
      Erwan Jahier (VERIMAG) - Bertrand Jeannet (ARGOSIM)
    • «Validation d'un système de drone : de la mise au point des exigences au test de l'implémentation»
      Valentin Brossard (SOGILIS)
  •  15h30-16h00 : Pause café
  • 16h00-17h00 « Interactions entre preuve et tests »
    • « STANCE : un outil d'analyse de contrexemples inspiré du test »
       Hélène Waeselynck (LAAS-CNRS/TSF) - Virginie Wiels (ONERA/DTIM)
    • « Test-Sequence Generation with HOL-TestGen »
       Burkhart Wolff (Université Paris-Sud, LRI)
  • 17h00-17h30 :  Table Ronde animée par Cyrille COMAR (Adacore)
    « Tests et méthodes formelles, où en est-on ? »

Keywords: Systèmes critiques Minalogic Preuve Méthodes formelles Aerospace Valley

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !