Méthodes de Programmation :

Au départ, la programmation des systèmes réactifs s'est basée sur des implémentation physique. Mais du fait de la complexité croissante des applications, les solutions logicielles se sont développées. En laissant de côté la programmation bas niveau ( en langage assembleur), on peut distinguer deux types d'approches :

(i)

l'approche basée sur un modèle formel : les systèmes de transitions. Cette approche a l'avantage d'être déterministe et d'avoir de bonnes performances à l'exécution. Cependant, elle ne permet pas d'exprimer explicitement le parallélisme : la gestion du parallélisme est très lourde et est source d'erreurs.
Exemple : les automates, les réseaux de Pétri.

(ii)

l'approche basée sur des outils permettant d'exprimer la concurrence. Cette approche est asynchrone et offre des mécanismes de communication et de synchonisation entre processus parallèle. Mais elle a l'inconvénient de ne pas être déterministe et du fait de son asynchronisme la gestion du temps est souvent floue.
Exemple : les systèmes temps-réel, les langages de programmation concurrente tels que les langages parallèles ADA, OCCAM.

Par conséquent, et toujours selon [14], en regard à ses deux approches et à leurs principales propriétés, un utilisateur a le choix soit entre une approche déterministe, soit entre un approche asynchrone permettant le parallélisme.

Cependant, selon nous, il existe une autre approche qui réconcilie la programmation déterministe et la programmation concurrente. Cette approche permet la spécification, la conception et l'implémentation des systèmes réactifs et permet de programmer dans un langage de haut-niveau intégrant le parallélisme, tout en bénéficiant du déterminisme et de bonnes performances à l'exécution, cette approche est l'approche synchrone. C'est cette approche que nous allons aborder dans le paragraphe suivant 4.2, et nous focaliserons notre attention sur le langage ESTEREL qui nous paraît être le bon candidat pour utiliser cette approche synchrone dans notre contexte.