| | |
Summary: Comparaison des styles de programmation
de langages synchrones
(version 1.0 du 25 juin 2005)
Charles André
projet AOSTE (CNRS - UNSA - INRIA)
Laboratoire I3S
Les Algorithmes - Bât Euclide B
2000 route des Lucioles B.P. 121
F-06903 Sophia Antipolis Cedex
andre@unice.fr
RÉSUMÉ. Les langages synchrones sont des langages spécialisés conçus pour la programma-
tion sûre de systèmes réactifs et temps réel. Ils sont maintenant utilisés dans d'autres domaines
comme la conception de haut niveau de circuits complexes et la programmation de systèmes em-
barqués. Les langages et formalismes synchrones s'appuient sur des modèles mathématiques.
Ils se prêtent ainsi à des vérifications formelles.
Ce rapport est une version largement étendue de l'article «Langages et formalismes synchrones
Fondements» présenté à MSR'05. Il introduit les fondements de l'approche synchrone. Un
exemple simple permet de préciser syntaxe, sémantique et modèle de calculs associés à diffé-
rents langages synchrones. Dans ce rapport, les exemples sont traités complètement pour les
divers langages. Les codes sources et les simulations sont également fournis, permettant au
|
