Inria
Inria.fr
Inria Channel
Il y a 3 Résultats avec le mot clé : "ABSTRACTION"
Showroom des démos
Astrée : Preuve d'Absence d'Erreurs à l'Exécution
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
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
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
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 > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Centres de recherche Inria
