AbsInt Angewandte Informatik GmbH

Absint est le Partenaire Produit de dSPACE pour l’analyse des erreurs d’exécution, des débordements de pile et des erreurs temporelles.

AbsInt développe des outils destinés à valider, vérifier et certifier les logiciels embarqués en contexte critique. Ces outils d'analyse statique basent leur calcul sur la théorie de l’interprétation abstraite et garantissent des résultats fiables et valides pour tous les programmes et tous les scénarios d'entrée possibles. En coopération avec dSPACE, AbsInt a réalisé l’intégration entre TargetLink et les outils AbsInt Astrée (analyse des erreurs d'exécution), StackAnalyzer (analyseur de pile) et aiT WCET Analyzer (analyseur de temps d'exécution dans le cas le plus défavorable). Ainsi les erreurs d'exécution, les débordements de pile et les anomalies de temps d’exécution peuvent être détectées depuis un modèle TargetLink ce qui améliore considérablement les résultats d'analyse et réduit au minimum les fausses alertes. Des kits de qualification sont disponibles pour les outils AbsInt ce qui permet une qualification automatique d'outils selon les normes de sécurité en vigueur.

Produits complémentaires du programme de partenariat Brève description Produit dSPACE associé
Astrée Analyse d’erreurs de fonctionnement TargetLink
aiT WCET Analyzer Analyse temporelle TargetLink
StackAnalyzer Analyse des exigences de pile TargetLink
TimingProfiler Analyse temporelle TargetLink

Site internet : http://www.absint.com/

S'inscrire à la Newsletter

S’abonner à nos newsletters, gérer ses abonnements ou se désabonner