L'approche synchrone est destinée aux programmeurs des systèmes réactifs temps-réel. En apportant des primitives de concurrence et de communication, les langages synchrones, tels que Signal, Lustre ou Esterel, permettent une spécification des systèmes à un haut niveau d'abstraction ; basés sur une sémantique forte, ils offrent les possibilités de vérification formelle et d'optimisations poussées.
Cette thèse se place dans le cadre de l'environnement Signal en explorant la répartition manuelle et semi-automatique de programmes flots-de-données synchrones. L'étude, basée sur un modèle dynamique, permet de combler les manques de la description statique habituellement utilisée. Ce modèle permet ainsi de décrire des exécutions synchronisées et désynchronisées, respectant tout ou partie de la sémantique synchrone traditionnelle.
Le prototype réalisé dans le cadre de ce travail met l'accent sur l'automatisation et la transparence des mécanismes de distribution, en introduisant les directives de répartition au sein même du langage Signal.
The synchronous approach is dedicated to real-time reactive systems programmers. Thanks to concurrency and communication primitives, synchronous languages, such as Signal, Lustre and Esterel, allow high-level specifications; based on a strong semantics, they offer formal verification and powerful optimizations.
This thesis takes place in the Signal environment, by studying manual and semi-automatic distribution of data-flow synchronous programs. It is based on a dynamic model and this way fill the lacks usually encountered with static descriptions. the model describes synchronized and de-synchronized executions, which fully or partly respect the traditionnal synchronous semantics.
The prototype we implemented focuses onto automation and transparency of the machanisms involved in distribution, by introducing distribution directives into Signal itself.
Cette thèse a été soutenue le 13 octobre 1997 à l'IRISA (la première à l'IRISA sous PowerPoint, version 95).
- Télécharger (format PDF)
- Présentation (formats PPT et PDF)
