Méthodes d'analyse statique de pire temps d'exécution de programmes

L'intégrité d'un système physique interagissant avec son milieu n'est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d'exécution d'un programme permet d'offrir cette garantie.

Mots-clés : contrainte,pire temps d'exécution,graphe de flot de contrôle,système temps réel,analyse statique,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Alexis Arnaud,Isabelle Puaut,Institut National de Recherche en Informatique et en Automatique / Interstices