|
ABSINT
|
Outils de validation, vérification et de certification
La société Absint fournit des outils d’optimisation, d’analyse et de vérifications de logiciels embarqués.
|
|
|

Ces outils vous permettront de réduire le coût de vos applications temps réels en améliorant l’efficacité de vos logiciels.
Fondée en 1998 la société Absint a décidé début 2005 de confier à Logic-Instrument la distribution de ses produits sur le territoire français.
aiPop a été développé pour permettre de réduire la taille de code d'une application, d'améliorer la qualité de ce code et éventuellement d'accélérer l'exécution des fichiers objet ou assembleur issus d'un compilateur C.
Réduire le code de 20% permet d'ajouter 25% de fonctionnalités en plus dans une même taille mémoire.
Dans les systèmes embarqués à sûreté critique, de nombreuses tâches ont des caractéristiques de temps-réel strict. Le non-respect des délais impartis peut causer de très importants dommages, voire des décès.
aiT-Wcet permet de déterminer le temps maximum d'exécution de chacune des tâches d'une application via l'analyse statique basée sur la technique de l'interprétation abstraite.
Le débordement de la pile d'une application embarquée à sûreté critique peut amener à des résultats faux ou à une défaillance complète de l'application.
L'outil StackAnalyzer aide les programmeurs à réduire le risque d'un débordement de pile en fournissant de façon automatique des informations précises sur l'utilisation de la pile pour chaque tâche de l'application.
Dans les systèmes embarqués à sûreté critique, de nombreuses tâches ont des caractéristiques de temps-réel strict. Le non-respect des délais impartis peut causer de très importants dommages, voire des décès.
aiT-Wcet permet de déterminer le temps maximum d'exécution de chacune des tâches d'une application via l'analyse statique basée sur la technique de l'interprétation abstraite.
|