Forum Méthodes Formelles Cycle de conférences

Analyse Statique : « Retour d’expériences industrielles »

Vendredi 28 juin 2013 Salle de Conférences LAAS-CNRS Plan d'accès

Retransmis en direct au Grand amphithéâtre Inria Grenoble en lien avec INRIA et Minalogic.

Fiabilité des logiciels : interview de Agusti Canals, directeur adjoint C&S et membre Aerospace Valley

Programme

• 08h30 -09H00 Accueil des participants
  
  
• 09h00-10h00 Introduction Vidéo
  • Courte Introduction de la journée slides
    Agusti Canals (C&S)
  • « Static Program Analysis for Verification - an Introduction » slides
    Reinhard Wilhelm (Saarland University)
  
  
• 10h00-11h00 : FRAMA-C Vidéo
  « Différents cas d’application de l'Analyse Statique avec Frama-C dans un contexte industriel »
  Florent Kirchner (CEA-LIST) et Benjamin Monate (TrustMySoft) slides
  Stéphane Duprat (Atos Origin) slides
  
  
• 11h00 -11h30 : Pause Café
  
  
• 11h30-12h50 : AbsInt a3/Astrée Vidéo
  • « Abstract Interpretation-based Static Analysis Tools - Proving the Absence of Runtime Errors and Safe Upper Bounds on the Worst-Case Execution Time and Stack Usage » slides
    Christian Ferdinand (AbsInt)
  • « Analyse statique de programmes avioniques » slides
    Jean Souyris (Airbus)
  
  
• 12h50-14h00 Repas
  
  
• 14h00-15h00 : POLYSPACE Vidéo
  • « Polyspace : démocratisation des méthodes formelles, sur le code et sur les modèles  » slides
    Patrick Munier (The Mathworks - Polyspace)
  • « Améliorer la qualité de logiciel spatial avec Polyspace » slides
    Aurore Dupuis (CNES)
  
  
• 15h00-16h00 : MICROSOFT Vidéo
  « Spécification et vérification de programmes avec CodeContracts » slides
  Francesco Logozzo (Microsoft Redmond), Mehdi Bouaziz (ENS ULM)
  
  
• 16h00-16h30 : Pause Café
  
  
• 16h30-17h30 : Table Ronde animée par Cyrille Comar (AdaCore) Vidéo
  « Analyse statique dans l’industrie, pourquoi ? comment ? pour qui ? »

home