ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Validation, vérification et certification de logiciels embarqués critiques / ABSINT - ASTRée

ABSINT - ASTRée

RECHERCHER
Par marques :
Par mots-clés :
  

ABSINT - ASTRée

Descriptif complet :

Astrée détecte toutes les erreurs d'exécution dans les codes embarqués écrits en langage C et peut prouver l'absence de telles erreurs.

Exemples d'erreurs détectées à coup sûr (pas de "faux négatifs"): 
  • Division par zéro sur des entiers ou des flottants 
  • Débordement d'index de tableau 
  • Manipulation et déréférencement de pointeur nul ou invalide 
  • Overflow arithmétiques sur des entiers ou des flottants 
  • Accès à des variables non initialisées 
  • Détection de code mort 

Astrée vérifie la conformité du code à différents standards: 

  • Règles de codage MISRA-C 2004 et 2012 
  • Règles de sécurité CWE 
  • Règles de sécurité SEI CERT C 
  • Standard ISO C99 
  • Standard ISO/IEC 
Astrée détecte les conflits d'accès aux données en environnement multi-thread:
  • Data race (accès concurrents invalides en lecture/écriture) 
  • Incohérence de protection (lock/unlock) 
 Le logiciel Astrée est développé et commercialisé par ABSINT sous licence de l'ENS Cachan.

AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Crédit photo - Copyright Antycip 2015 - Administration
  OK