Méthodes Réactives Synchrones

  Si on reprend l'exemple qui a été donné à l'introduction (au chapitre 1), du système de vision active, qui permet de détecter des objets en mouvement, de suivre un ou plusieurs objets, etc..., le problème qui se pose ici c'est de pouvoir :

• enchaîner les différents modules de vision et de robotiques, qui composent l'application, en fonction des requêtes générées par le système ;
• contrôler le fonctionnement de ces modules ;
• structurer leur fonctionnement en fonction de la tâche perceptuelle à réaliser ;
• assurer que le contrôle soit robuste et fiable et que les contraintes de temps soient bien respectées afin que l'enchaînement des modules respectent les contraintes temps-réel du système.

Pour ce faire, il est nécessaire d'introduire la notion de systèmes réactifs, et à l'intérieur de cette notion de réactivité, nous allons nous intéresser plus particulièrement aux approches synchrones, qui permettent de les modéliser, et à un des langages de cette classe, le langage ESTEREL.

• Les Systèmes Réactifs :
  • Caractéristiques :
    • Le déterminisme.
    • Les contraintes de temps.
    • La fiabilité.
    • Le parallélisme.
  • Méthodes de Programmation :
• L'approche Synchrone et le Langage Esterel
  • L'approche Synchrone :
  • Le Langage Synchrone ESTEREL :
    • Caractéristiques
    • Propriétés
    • Méthodologie