MXAM vérifie automatiquement la conformité de vos modèles Simulink®, TargetLink®, StateFlow® aux standards de l'Industrie, pour améliorer Qualité et Fiabilité du code généré.
Par analyse statique de votre code C ou C++, Goanna est capable d’identifier avec précision plus d’une centaine de type d’erreurs d’exécution ou de failles de sécurité dont les conséquences peuvent être fatales à vos produits
aiT est l'outil de référence du marché pour la mesure des temps d'exécution maximum (Worst Case Execution Time) des applications temps-réel les plus critiques
MTest classic accompagne les équipes de Tests dans leur activitéOrganisation des TestsDescription des scénarios et des cas de TestsCréation des harnais de TestExécution et évaluation des TestsDocumentation des Tests
StackAnalyzer calcule automatiquement par analyse statique la consomation maximale de la pile par les tâches de votre application et en permet l'optimisation et la sécurisation
Dans les industries où la sécurité des systèmes prime avant tout, comme en avionique, dans l’industrie des appareils médicaux, en automobile, dans les contrôles industriels et dans l’industrie ferroviaire, le test rigoureux des programmes informatiques n’est pas seulement une bonne pratique de développement logiciel : c’est une composante critique de la certification des systèmes.
VOTRE DEMANDE
