Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Comparaison des styles de programmation de langages synchrones
 

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

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences