ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Validation, vérification et certification de logiciels embarqués critiques / ABSINT - aiT WCET

ABSINT - aiT WCET

RECHERCHER
Par marques :
Par mots-clés :
  

ABSINT - aiT WCET

Descriptif complet :

aiT WCET (Worst Case Execution Time) détermine automatiquement et en toute sécurité les temps d'exécution au pire cas des taches de votre application embarquée, vous garantissant les temps de réaction de vos systèmes critiques.

Basé sur des techniques d'analyse statique  et d'interprétation abstraite ayant fait l'objet de nombreuses publications académiques, le logiciel aiT vous affranchit du recours aux méthodes classiques de mesure de temps, fastidieuses, consommatrices de ressources matérielles et humaines précieuses en phase de développement, et finalement non fiables car vous ne pourrez jamais prouver que vous avez exécuté la partie du code la plus critique.




Contactez-nous pour une présentation ou une version d'évaluation!

AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Crédit photo - Copyright Antycip 2015 - Administration
  OK