ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.15-30  - doi:10.3166/jesa.39.15-30
TITRE
Langages et formalismes synchrones. Fondements

RÉSUMÉ
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. Cet article présente les fondements de l'approche synchrone. Un exemple simple permet de préciser syntaxe, sémantique et modèle de calculs associés aux différents langages synchrones.


ABSTRACT
Synchronous Languages are special purpose languages dedicated to safe programming of real-time and reactive systems. There are now also used in high-level modeling and analysis of complex digital circuits and embedded systems. Synchronous languages and formalisms rely on sound mathematical models. Thus, they are amenable to formal verifications and analysis. This paper presents the foundations of the synchronous approach. The syntax, semantics, and model of computation associated with various languages are illustrated by a simple example.


AUTEUR(S)
Charles ANDRÉ

MOTS-CLÉS
Approche synchrone, systèmes réactifs, temps logique, programmation.

KEYWORDS
Synchronous approach, Reactive systems, logical time, programming.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (123 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier