Outil permettant de maîtriser les performances d’un système temps-réel critique

DESCRIPTION

• Solution logicielle (Otawa) complète permettant :
  - La simulation des contraintes temps-réel sur l’ensemble des cas
  - La visualisation de la consommation du temps dans l’application
  - L’automatisation via des scripts de commande
• Extensible par personnalisation des analyses statiques

APPLICATIONS

• Conception de systèmes embarqués critiques
• Optimisation matérielle
• Aide à la certification