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 45/1-3 - 2011  - pp.125-140  - doi:10.3166/jesa.45.125-140
TITRE
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation

RÉSUMÉ
Nous définissons un langage de programmation mixte impératif/déclaratif : des contrats déclaratifs sont imposés sur des comportements décrits impérativement. La définition du langage fait appel à la synthèse de contrôleurs discrets (SCD), une technique formelle issue de l’automatique des systèmes à événements discrets. Nous visons le domaine d’application des systèmes de calcul adaptatifs et reconfigurables : notre langage permet de programmer des contrôleurs d’adaptation en boucle fermée, pour une exécution flexible des fonctionnalités, en réponse à des changements dans l’environnement ou les ressources de calcul. Nous faisons une présentation synthétique du langage, de sa sémantique et de sa compilation, et nous illustrons son utilisation par un exemple de système robotique.


ABSTRACT
We define a mixed imperative/declarative programming language: declarative contracts are enforced upon imperatively described behaviors. We rely on the notion of Discrete Controller Synthesis (DCS), a formal technique stemming from control theory and the supervisory control of discrete event systems. We target the application domain of adaptive and reconfigurable computing systems: our language can serve programming closed-loop adaptation controllers, enabling flexible execution of functionalities w.r.t. changing resource and environment conditions. We give a synthetic presentation of the language, its semantics and compilation, and we illustrate its use with the example of a robot system.


AUTEUR(S)
Gwenaël DELAVAL, Eric RUTTEN, Hervé MARCHAND

MOTS-CLÉS
programmation synchrone, synthèse de contrôleurs discrets, compilation, contrats comportementaux, systèmes adaptatifs/reconfigurables.

KEYWORDS
synchronous programming, discrete control synthesis, compilation, behavioral contracts, adaptive / reconfigurable systems.

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  (417 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier