Sites Inria

Il y a 3 Résultats avec le mot clé : "Analyse statique"

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles

28/06/2013

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.

Lieu : Grand amphithéâtre Inria Grenoble

Intervenant(s) : Reinhard Wilhelm, Florent Kirchner, Stéphane Duprat, Benjamin Monate, Christian Ferdinand, Jean Souyris, Patrick Munier, Aurore Dupuis, Francesco Logozzo, Mehdi Bouaziz, Cyrille Comar

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles

Retrouvez le programme détaillé

Séminaire

Journées Compilation 2017

21/06/2017 au 23/06/2017

La «Communauté Française de Compilation» a été créée en 2010 afin de fédérer la communauté de recherche francophone dans le domaine de la compilation.

Les journées de la compilation se tiendront cette année à Saint Germain au Mont D'Or, à proximité de Lyon.

Lieu : domaine des hautannes - Lyon

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Journées Compilation 2017

lire la suite

Cockpit Airbus A350 © Airbus

Méthodes formelles

Fiabilité des logiciels, pas uniquement pour les avions !

Françoise Breton - 20/06/2013

Tous les avions actuellement admirés au salon du Bourget sont équipés de systèmes embarqués critiques dont la qualité, la fiabilité et la sûreté reposent sur l’utilisation des méthodes formelles. Longtemps confinées à ce domaine et quelques autres comme le spatial, les circuits électroniques ou le nucléaire, les méthodes formelles intéressent un nombre croissant d’entreprises, notamment automobiles et médicales.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Fiabilité des logiciels, pas uniquement pour les avions !

Lire la suite

Haut de page

Suivez Inria