Comparaison des styles de programmation de langages synchrones

Authors

Charles André

Abstract

Les langages synchrones sont des langages spécialisés conçus pour la programmation 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 embarqué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>> présenté à MSR'05. Il introduit les fondements de l'approche synchrone. Des exemples simples permettent de préciser syntaxe, sémantique et modèle de calculs associés à différents formalismes et 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 lecteur de mieux comprendre les traits communs et ceux spécifiques à chaque langage.

Reference

I3S RR-2005-13

@TECHREPORT{tr-i3s-MRS05ext,
AUTHOR = "C. André",
title = {Comparaison des styles de programmation de langages synchrones},
YEAR = {2005},
INSTITUTION = "I3S",
MONTH = {Juin},
ADDRESS = {Sophia-Antipolis, (F)},
NUMBER = { RR-2005-13},
NOTE = {\url{http://www.i3s.unice.fr/~andre/}}
}

Paper

pdf, 690KB (30 pages)