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 36/7 - 2002  - pp.891-903
TITLE
Synchronous Programming Properties within a Reaction

RÉSUMÉ
Les formalismes impératifs synchrones (ESTEREL et SYNCCHARTS) permettent d'exprimer des comportements réactifs complexes. La connaissance de la sémantique de ces modèles est indispensable si on veut exploiter pleinement leur richesse expressive et éviter les "cycles de causalité". La première partie de ce papier rappelle les grandes lignes de la sémantique constructive. Cette sémantique est utilisée dans la seconde partie pour analyser des propriétés dans l'instant portant sur les ordres partiels d'exécutions d'actions simultanées. Il est montré comment les fonctionnalités du compilateur, issues de la sémantique constructive, permettent une telle analyse. La technique est illustrée par un exemple de zFIFO (0 fallthrough time FIFO queue) un système qui présente de nombreuses actions simultanées dont l'ordonnancement est critique.


ABSTRACT
Complex reactive behaviours can be expressed by synchronous imperative formalisms like ESTEREL or SYNCCHARTS. To make the best of these models and to avoid the pitfall of "causality cycles", the user has to understand the underlying semantics, known as the "constructive semantics". The first part of this paper is an informal introduction to this semantics. In the second part, this semantics is used to analyze "intra-instant properties" (partial ordering of simultaneous action executions). It appears that the compiler, which implements the constructive semantics, can carry out such analyses. Our method is illustrated by a zFIFO (0 fall-through time FIFO queue), which is a system envolving numerous simultaneous actions whose execution order may be critical.


AUTEUR(S)
Charles ANDRÉ, Robert DE SIMONE

MOTS-CLÉS
systèmes réactifs, synchrone, ESTEREL, SYNCCHARTS, sémantique constructive, vérification de modèle.

KEYWORDS
Reactive systems, synchrony, ESTEREL, SYNCCHARTS, constructive semantics, model checking.

LANGUE DE L'ARTICLE
Anglais

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier