Prouvez des normes MISRA avec RuleChecker.
Vérifiez automatiquement et rapidement votre code C/C++ concernant l’observation des standards comme MISRA, ISO/IEC, SEI CERT, CWE et AUTOSAR. Etablissez vos propres règles si besoin. Surveillez des codes métriques comme la densité de commentaire et la complexité cyclomatique. Produisez des rapports pour la documentation et la certification.
Compilez le code avec CompCert.
Respectez les plus hautes normes de sécurité en compilant votre application avec le seul compilateur celui-ci est certifié être sans erreurs de compilation. Toutes les propriétés de sécurité verifiées sur le code source (par exemple avec Astrée) sont garantis aussi pour le code binaire généré.
Analysez votre usage de la pile avec StackAnalyzer.
Calculez automatiquement et exactement le pire usage de la pile de chaque tâche de votre application. Trouvez tous les débordements de la pile ou prouvez formellement leurs absence. Identifiez rapidement les sections critiques et les chemins d’exécution problématiques pour optimiser vos performances du code.
Analysez le temps d’exécution avec aiT, TimingProfiler ou TimeWeaver.
aiT
Calculez le pire temps d’exécution possible des tâches dans vos fichiers binaires, sans tests coûteux et des mesures répétées. Les résultats d’analyse sont valides pour tous entrées, tous scénarios d’exécution, tous repos du cache et du pipeline.
TimingProfiler
Surveillez constamment le comportement temporel pendant le developpement de logiciel, même dans phases les plus en amont. Identifiez des goulots même quand vous n’avez déjà pas décidé particulièrement pour un processeur dérivé, et mesures sur le matériel sont simplement impossible.
TimeWeaver
Profitez d’analyses statiques même pour des processeurs qui sont difficiles à modeler — en combination d’analyse du chemin statique avec du chronométrage obtenu d’indication de temps réel au niveau d’instruction.
Autres logiciels
Pour d’informations sur produits interrompus, veuillez contacter info@absint.com.
