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 43/7-9 - 2009  - pp.1049-1064
TITRE
Synthèse de contraintes temporisées pour une architecture d'automatisation en réseau

RÉSUMÉ
Nous nous intéressons au problème de la synthèse de contraintes temporelles pour des systèmes concurrents. Ces systèmes sont modélisés par des réseaux d'automates temporisés dans lesquels certaines constantes, représentées par des paramètres, sont ajustables. Une valeur convenable de ces paramètres est supposée connue grâce à un processus de simulation. Nous présentons une méthode qui permet de définir une zone de bon fonctionnement autour de ce point de référence. Cette zone est définie par un système d'inégalités linéaires entre les paramètres. Cette méthode est appliquée à l'étude d'une architecture d'automatisation en réseau.


ABSTRACT
We deal with the problem of synthesis of timing constraints for concurrent systems. Such systems are modeled by networks of timed automata where some constants, represented as parameters, can be tuned. A suitable value of these parameters is assumed to be known from a preliminarily simulation process. We present a method which infers a zone of suitable points around this reference functioning point. This zone is defined by a system of linear inequalities over the parameters. This method is applied to the case study of a networked automation system.


AUTEUR(S)
Étienne ANDRÉ, Thomas CHATAIN, Olivier DE SMET, Laurent FRIBOURG, Silvain RUEL

MOTS-CLÉS
architecture d'automatisation en réseau, réseau d'automates temporisés, modelchecking paramétré, synthèse de contraintes.

KEYWORDS
networked automation system, network of timed automata, parameteric modelchecking, constraints synthesis.

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  (1,41 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier