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/8 - 2002  - pp.1155-1178
TITRE
UML et réseaux de Petri Etude de cas et évaluations temporelles

RÉSUMÉ
Cet article illustre la vérification de contraintes temporelles sur des modèles obtenus grâce à l'approche UML/PNO. Cette approche est rapidement présentée à travers un exemple concret, un simulateur de vol expérimental. Ensuite, l'extension de la méthode à une technique d'évaluation des contraintes temporelles est illustrée à l'aide de ce même exemple. La plupart des méthodes de validation telles que le model-checking ou la simulation se heurtent à l'explosion combinatoire du nombre d'états. Les travaux présentés dans cet article contournent cette difficulté en s'appuyant sur la logique des ressources, une forme de logique linéaire, et en traitant le problème sous l'aspect scénarios. Nous montrons les avantages et les difficultés de cette approche dans le cadre d'une conception système.


ABSTRACT
This paper shows a way to verify some temporal constraints. It works on models taken from the UML/PNO approach. This approach is first presented by means of a concrete application, a research flight simulator. Then an extension of the method to an evalution technique of temporal constraints is illustrated with some models of the simulator. Most of the evaluation techniques such the model checking or the simulation come up against the combinatorial explosion of the state number. The work presented in this paper bypasses this difficulty thanks to the ressource logic, a kind of linear logic, and the scenario view. Within the context of system design, we show the benefits and the weaknesses of such an approach.


AUTEUR(S)
Mario PALUDETTO, Adel BENZINA

MOTS-CLÉS
analyse et conception orientées objets, systèmes embarqués, UML, méthodes formelles, réseaux de Petri, logique linéaire, validation et vérification.

KEYWORDS
Object Oriented Analysis and Design, Embedded System, UML, Formal Method, Petri Nets, Linear Logic, Verification and Validation.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier