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.395-406  - doi:10.3166/jesa.39.395-406
TITRE
Implémentabilité des automates temporisés

RÉSUMÉ
Dans ce papier, nous présentons le problème de l'implémentabilité des automates temporisés. Le cadre théorique des automates temporisés ne peut pas être reproduit fidèlement en pratique, sur des ordinateurs digitaux et plus ou moins imprécis ; les propriétés vérifiées mathématiquement sur l'automate pourraient ne plus être satisfaite par l'implémentation. Nous présentons deux approches pour étudier ce problème : l'une est basée sur une modélisation du programme s'exécutant sur la plate-forme, l'étude des propriétés se faisant sur ce modèle, et l'autre propose une sémantique élargie de l'automate temporisé, l'élargissement tenant compte des nouveaux comportements induits par la plate-forme.


ABSTRACT
In this paper, we present the problem of the implementability of timed automata. The theoretical semantics of timed automata can not be exactly implemented in practice, because computers are digital and more or less precise; the properties verified on a timed automaton are not necessarily preserved when implementing it. We deal with two approaches: the first one is based on the modeling of the execution platform and the second studies an enlarged semantics for timed automata that takes the imprecision into account.


AUTEUR(S)
Karine ALTISEN, Pierre-Alain MARKEY, Nicolas REYNIER, Stavros TRIPAKIS

MOTS-CLÉS
vérification, model-checking, automates temporisés, implémentabilité.

KEYWORDS
Verification, model-checking, timed automata, implementability.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier