Sites Inria

Il y a 2 Résultats avec le mot clé : "CIFRE"

Jean-Pierre TALPIN, responsable de l'équipe TEA Jean-Pierre TALPIN, responsable de l'équipe TEA

Collaboration

Vérifier l'intégration des composants hétérogènes d'une usine

Jean-Michel Prima (*) - 25/04/2018

Dans une usine automatisée, chaque maillon de la chaîne de fabrication doit satisfaire à une kyrielle d'exigences. Pour s'assurer que toute la chaîne de production respecte les réglementations de sûreté et de sécurité, il faut simuler, tester et vérifier chaque composant et son intégration. Mais que peut-on prouver quand deux composants hétérogènes interagissent, par exemple un logiciel et l’architecture qui l’exécute ? Comment peut-on prouver que cet agrégat hybride satisfait des exigences communes comme par exemple un délai de latence ? Voilà les questions au cœur d'une collaboration entre le centre Inria Rennes – Bretagne Atlantique et le centre européen de R&D de Mitsubishi Electric , lui aussi implanté dans la capitale bretonne.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Vérifier l'intégration des composants hétérogènes d'une usine

Lire la suite

Nicolas Marie

Portrait

Nicolas Marie : Vers un web social sémantique

Françoise Breton - 24/11/2011

Nicolas Marie est en début de deuxième année de thèse dans le cadre d’une convention Cifre avec Alcatel-Lucent Bell Labs et l’équipe Edelweiss, spécialisée dans le web sémantique, à Inria Sophia Antipolis - Méditerranée. Objectif : inventer les services de demain pour les réseaux sociaux en s’appuyant sur les technologies sémantiques. Interview.

Mots-clés :

Accueil > Centre > Sophia > Actualités > Nicolas Marie : Vers un web social sémantique

Lire la suite

Haut de page

Suivez Inria