Sites Inria

Il y a 9 Résultats avec le mot clé : "systèmes critiques"

airbus - MiqsPixImaging

Séminaire In'Tech

Séminaire In'Tech - Validation formelle de systèmes industriels critiques

18/04/2013

Le club de veille technologique In’ Tech, en partenariat avec CAP’TRONIC, organise une demi-journée de rencontres entre chercheurs et industriels sur le thème " Validation formelle de systèmes industriels critiques ", le jeudi 18 avril de 13h30 à 18h, à Inria Montbonnot.

Lieu : Inria Grenoble - Rhône-Alpes, Montbonnot

Mots-clés :

Accueil > Innovation > Agenda > Séminaire In'Tech - Validation formelle de systèmes industriels critiques

lire la suite

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

Airbus Airbus A350. - © Airbus

Systèmes critiques

La fiabilité des systèmes devient un défi majeur

Hubert Garavel, Isabelle Bellin - 20/11/2012

En 20 ans, les systèmes informatiques (ordinateurs, logiciels, réseaux) ont envahi notre vie courante et sont désormais au cœur d’applications de plus en plus vitales. Leur complexité technique augmente sans cesse, alors que leur contexte de production est de plus en plus tendu, réductions de coûts et de délais obligent. Quelles conséquences en termes de qualité, sûreté et sécurité ? Éviter les défaillances informatiques représente un enjeu d'avenir, majeur pour l’industrie, sur la base des progrès scientifiques de ces dernières décennies.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > La fiabilité des systèmes devient un défi majeur

Lire la suite

LabCom

LabCom ProofInUse : AdaCore & l'équipe-projet Toccata

A.B. (*) -

En 2014, Inria et la société AdaCore ont lancé un laboratoire commun baptisé ProofInUse pour une durée de trois ans. Ce laboratoire commun avait pour objet de proposer aux industriels des outils de vérification basés sur la preuve mathématique, qui visent à remplacer ou complémenter les activités de tests existantes, tout en réduisant les coûts de vérification.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Labos communs Inria - PME > Labos communs avec les PME > ProofInUse

Lire la suite

Haut de page

Suivez Inria