Inria
Inria Channel
Il y a 3 Résultats avec le mot clé : "ABSTRACTION"
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Pertinence : 100 %
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 :
- Xavier Rival
- ABSTRACTION
- INRIA Paris - Rocquencourt
- Sûreté de fonctionnement
- Preuve de programme
- Astrée
- ERC
- Logiciel
Accueil > Centre > Paris - Rocquencourt > Actualités > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Showroom des démos
Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Pertinence : 100 %
Astrée est un analyseur statique permettant la preuve d'absence d'erreurs à l'exécution dans des programmes C critiques embarqués. Cette preuve est entièrement automatique, et est effectuée au niveau du code source, vis à vis de la sémantique du langage. Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial. L'analyseur Astrée a été conçu et développé au sein de l'équipe Abstraction. Il est actuellement diffusé par l'entreprise Absint Angewandte Informatik.
Mots-clés :
- Qualitification
- Sûreté
- Systèmes critiques embarqués
- Analyse statique
- Vérification
- Aéronautique
- Défense
- Spatial
- Sécurité
- ABSTRACTION
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Showroom des démos
Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Pertinence : 100 %
Astrée est un analyseur statique permettant la preuve d'absence d'erreurs à l'exécution dans des programmes C critiques embarqués. Cette preuve est entièrement automatique, et est effectuée au niveau du code source, vis à vis de la sémantique du langage. Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial. L'analyseur Astrée a été conçu et développé au sein de l'équipe Abstraction. Il est actuellement diffusé par l'entreprise Absint Angewandte Informatik.
Mots-clés :
- Qualitification
- Sûreté
- Systèmes critiques embarqués
- Analyse statique
- Vérification
- Aéronautique
- Défense
- Spatial
- Sécurité
- ABSTRACTION
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Centres de recherche Inria
