ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/8 - 2002  - pp.1121-1149
TITRE
Raffiner pour vérifier des systèmes paramétrés

RÉSUMÉ
Nous présentons la vérification des systèmes paramétrés pour lesquels le paramètre est un nombre arbitraire de processus similaires. Nous utilisons une représentation empruntée à [ABD 99b] des états et des transitions du modèle respectivement par des langages réguliers et des transducteurs entre langages réguliers. Quand nous savons calculer un modèle symbolique abstrait où les états sont des ensembles réguliers et les transitions sont des accélérations des actions, nous pouvons vérifier le raffinement des systèmes ainsi que leurs propriétés. Ces propriétés peuvent être des propriétés de sûreté et plus généralement des propriétés

ABSTRACT
In this paper, we present a verification approach for a class of parameterized systems. These systems are composed of an arbitrary number of similar processes. Like [ABD 99b] we represent the states by regular languages and the transitions by transducers over regular languages. If we can calculate a symbolic model by acceleration of the actions, then we can verify refinement between systems and their properties. These properties are safety properties and, more generally, È ÄÌ Ä properties about the global behavior of the system. Our goal is to integrate these tehniques in a refinement based developpement. Then, we take advantage of the preservation of the properties by refinement for their verification.


AUTEUR(S)
Françoise BELLEGARDE, Célina CHARLET, Olga KOUCHNARENKO

MOTS-CLÉS
systèmes paramétrés, vérification, propriétés, langages réguliers, raffinement.

KEYWORDS
Paramaterized systems, verification, properties, regular languages, refinement.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (221 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier