Sites Inria

Il y a 8 Résultats avec le mot clé : "Minalogic"

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é

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles 2014

Forum Méthodes Formelles

4/02/2014

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

Mots-clés :

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

Retrouvez le programme détaillé

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles : Le Model-Checking en action

16/10/2014

Le prochain Forum Méthodes Formelles sera retransmis le 16 octobre 2014 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.

Lieu : Inria Grenoble - Rhône-Alpes

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles : Le Model-Checking en action

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles : test et méthodes formelles

16/06/2015

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.

Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles : test et méthodes formelles

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles 2016

Forum Méthodes Formelles6

26/01/2016

La 6ème édition du Forum Méthodes Formelles sera retransmis le 26 janvier 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.

Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre

Mots-clés :

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

Lire la suite

INRIA Grenoble Rhône-Alpes

Forum Méthodes Formelles

FMF 2017 : "Méthodes formelles et cybersécurité"

31/01/2017

Les méthodes formelles de développement représentent un énorme potentiel pour faire progresser la productivité et la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification.

Lieu : Inria Grenoble Rhône Alpes - Grand Amphitéâtre

Mots-clés :

Accueil > Centre > Grenoble > Agenda > FMF 2017 : "Méthodes formelles et cybersécurité"

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

Logo ESC Silicon valley

Salon

ESC Silicon Valley

21/04/2011

Cinq technologies Inria seront présentées sur le stand MINALOGIC à l’ESC Silicon Valley (Embedded Systems Conférence) du 2 au 5 mai 2011. Une occasion unique de nouer et développer des partenariats technologiques et industriels dans le secteur des systèmes embarqués aux États-Unis.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > ESC Silicon Valley

Lire la suite

Haut de page

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