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.93-108  - doi:10.3166/jesa.45.93-108
TITRE
Sur le délai de séparabilité dans des systèmes synchrones

RÉSUMÉ
Cet article présente une étude du délai de séparabilité dans certains systèmes synchrones. La séparabilité correspond à l’observation d’une dépendance fonctionnelle entre une sortie et une entrée. Une description de ces systèmes comme machines à états est donnée, et leur délai de séparabilité sous l’opération de composition séquentielle est étudié. Le délai de séparabilité est montré non compositionnel en général. Une solution est proposée, et nous discutons de possibles applications à la vérification automatique. Nos travaux sont illustrés par des exemples tirés du domaine des systèmes temps réel embarqués.


ABSTRACT
This paper presents an investigation of the notion of reaction time in some synchronous systems. Separability encodes the observation of a functional dependency between an input and an output. A state-based description of such systems is given, and the delay of separability of such systems under sequential composition is studied. Delay of separability is shown to be non-compositional in general. Possible solutions are proposed, and applications to verification are discussed. This framework is illustrated by some examples issued from studies on real-time embedded systems.


AUTEUR(S)
Ilias GARNIER, Christophe AUSSAGUÈS, Vincent DAVID, Guy VIDAL-NAQUET

MOTS-CLÉS
systèmes synchrones, bisimulation, séparabilité, réactivité.

KEYWORDS
synchronous systems, bisimulation, separability, reactivity.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier