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/
Faire avancer l'innovation. Toujours à la pointe de l'évolution technologique.
S’abonner à nos newsletters, gérer ses abonnements ou se désabonner. La newsletter mensuelle contenant toutes les informations liées à l’aéronautique et défense.