Sites Inria

Forum Méthodes Formelles

Analyse statique : Retours d'expériences industrielles

Cockpit Airbus A350 © Airbus

Le Forum Méthodes Formelles 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 : 28/06/2013
  • Lieu : Grand amphithéâtre Inria Grenoble
  • Intervenants : Reinhard Wilhelm, Florent Kirchner, Stéphane Duprat, Benjamin Monate, Christian Ferdinand, Jean Souyris, Patrick Munier, Aurore Dupuis, Francesco Logozzo, Mehdi Bouaziz, Cyrille Comar
  • Organisateurs : Cette conférence est organisée par Aerospace Valley et Minalogic, et accueillie par Inria Grenoble Rhône-Alpes.

Le 28 juin 2013 aura lieu la seconde journée consacrée à l’analyse statique de codes pour la validation formelle de systèmes logiciels. Le schéma général pour cette conférence est d'associer systématiquement une présentation d'outil par son concepteur/développeur et le retour d'expérience utilisateur. A cette occasion les grandes entreprises en avionique et espace présenteront leurs expériences à partager pour l'utilisation de ces méthodes dans d'autres domaines tels que la santé ou les transports terrestres.

Cet événement est une retransmission en direct de la conférence de Toulouse.

Programme:

  •  L’Analyse Statique : Présentation
  • FRAMA-C : les cas d’applications de l’Analyse Statique dans un contexte industriel
  • AbsInt a3/Astrée : Analyse statique de programmes avioniques
  • POLYSPACE : amélioration de la qualité de logiciel spatial
  • MICROSOFT : spécification et vérification des programmes
  • Table ronde autour des apports de l’Analyse Statique dans l’industrie.

Retrouvez le programme détaillé

Localisation

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

Haut de page

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