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 42/9 - 2008  - pp.1061-1084  - doi:10.3166/jesa.42.1061-1084
TITRE
Une extension temporisée de la méthode B pour la spécification et la vérification des systèmes temps-réel

RÉSUMÉ
Dans cet article, nous présentons notre méthode B temporisée permettant la modélisation des systèmes temps-réel réactifs. Elle permet de spécifier et de vérifier les propriétés fonctionnelles et temporelles d'un système. Dans cette méthode, nous avons étendu les langages de propriétés et de substitutions de la méthode B classique. Dans le premier langage, nous avons introduit une variante de la logique temporisée incorporant événements et prédicats de haut niveau. Dans le second langage, nous avons ajouté une nouvelle substitution pour exprimer l'avancement du temps.


ABSTRACT
The purpose of this paper is to present our timed B method for modelling real time reactive systems. It allows to specify and check functional and temporal properties of a system. In this method, we have extended the property and the substitution languages of classic B. In the former, we introduce a variant of a timed logic incorporating events and high level predicates. In the latter, we add a new substitution to express time progression.


AUTEUR(S)
Miloud RACHED, Odile NASR, Jean-Paul BODEVEIX, Mamoun FILALI

MOTS-CLÉS
spécification, vérification, logique temporisée, méthode B, système temps-réel.

KEYWORDS
specification, verification, timed logic, B method, real-time system.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier