Il y a 2 Résultats avec le mot clé : "sûreté de fonctionnement"

TRIO

Showroom des démos

Vérification des contraintes temporelles dans les systèmes embarqués critiques

Certains systèmes embarqués critiques dans l’avionique ou l’automobile sont aujourd’hui constitués de dizaines de calculateurs qui exécutent du logiciel ayant de fortes contraintes temps réel et échangent des milliers de flux de données. Nous présentons une suite de logiciels d’analyse et de simulation qui permettent de donner des garanties sur le comportement temporel des systèmes embarqués et d’optimiser leur dimensionnement matériel.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Vérification des contraintes temporelles dans les systèmes embarqués critiques

Lire la suite

Xavier Rival

European Research Council 2011

Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Isabelle Bellin - 20/09/2011

Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council, ERC) pour mener pendant 5 ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.

Mots-clés :

Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social