Outils de vérification logiciels AbsInt
- Langages : C++ , C
- Secteurs d'activité : Automobile , Nucléaire , Ferroviaire , Spatial , Avionique
- Fournisseur : ABSINT
AbsInt propose des outils de développement avancés pour les systèmes embarqués, ainsi que des solutions de validation, de vérification et de certification pour les applications et logiciels critiques et sécuritaires.
ASTREE est l’outil d’analyse statique SOUND de ABSINT dédié à la vérification d’absence d’erreurs d’exécution dans les logiciels embarqués critiques C et C++. ASTREE est particulièrement adapté aux systèmes temps réel déterministes et pour les applications devant être conformes aux vis-à-vis des normes DO-178C ou ISO 26262.
CompCert est un compilateur C, formellement vérifié. Il est destiné à la compilation de logiciels sécuritaires critiques ou les missions sensibles, nécessitant un haut niveau de confiance. CompCert prend en charge la majorité du langage ISO C99, avec quelques exceptions et extensions spécifiques. Il génère du code machine pour les architectures PowerPC, x86, ARM, AArch64 et RISC-V.
StackAnalyzer permet de calculer automatiquement et exactement le pire usage de la pile de chaque tâche de votre application. StackAnalyer permet de trouver les débordements de la pile ou de prouver formellement leur absence. StackAnalyzer identifie rapidement les sections critiques et les chemins d’exécution problématiques pour optimiser les performances du code.
aiT, TimeProfiler, TimeWeaver, vous permettent de calculer et surveiller le comportement temporel durant le développement de vos logiciels critiques. Basés sur les principes de l’analyse statique et la représentation abstraite mais aussi des approches hybrides les combinant avec des mesures physiques par trace temps réel, aiT, TimeProfiler, TimeWeaver permettent un contrôle précis des temps d’exécution même pour des architectures processeurs qui ne sont plus statiquement prédictibles.
Sont disponibles pour les solutions aiT Analyzers, StackAnalyser, TimeWeaver et Astrée, les « Qualification Support Kits » (QSK) permettant de qualifier ces outils suivants les standards tels que ISO 26262, DO-178B/C, IEC-61508 et autres normes de sécurité.