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

Description

Comment s’assurer que l’application va satisfaire ses contraintes temps-réel ? Les approches par mesure sont difficiles à mettre en œuvre et ne couvrent pas tous les cas.
Notre solution : solution logicielle (Otawa) complète.

Applications

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