AbsInt
Publié le 28-02-2019 par Francois Gauthier
[EMBEDDED WORLD] AbsInt, spécialiste des technologies logicielles d’analyse et de vérification de code pour applications critiques, et la société de semi-conducteurs...
Publié le 05-12-2016 par Francois Gauthier
AbsInt, l’éditeur allemand d’outils logiciels de développement et de vérification de code à fortes contraintes de sûreté de fonctionnement, a...
Publié le 23-03-2015 par Francois Gauthier
L’éditeur d’outre-Rhin AbsInt, spécialiste des technologies d’analyse et de vérification de code pour applications critiques dont les produits sont distribués en France par Nexeya Services, propose en version de test ...le compilateur CompCert, un...
Publié le 13-02-2014 par Francois Gauthier
Fournisseur d'outils logiciels et matériels de développement et de test de systèmes électroniques de commande, notamment dans l’automobile, l'allemand dSPACE renforce encore le partenariat technologique étroit ...qui le lie à son compatriote AbsInt....
Réservé aux abonnés
Publié le 25-11-2013 par Francois Gauthier
Spécialiste des technologies d’analyse et de vérification de code pour applications critiques, l’éditeur allemand AbsInt lance a3, la version 2013 de ses trois outils phares : aiT WCET (analyse du comportement temporel ...d’un programme et du temps...
Réservé aux abonnés
-fr.jpg)
Présentation
La société AbsInt (Abstract Interpretation) conçoit et commercialise des logiciels et services pour le développement, l’analyse et la certification du code embarqué, temps réel et critique, dont une partie a été développée au sein du Laboratoire d’informatique de Grenoble. Ses outils aiT (calcul statique des bornes supérieures des temps d’exécution de tâches de systèmes temps réel), StackAnalyzer (analyse des pires cas d'utilisation d'une pile de tâches), Astrée (détection des erreurs à l’exécution dans les codes critiques) et CompCert (compilateur certifié) sont principalement utilisés dans le domaine de l’avionique.
Fiche Entreprise
Date de création : 1998
Nationalité : Allemagne
Dirigeants : Christian Ferdinand (CEO)
Produits récents :