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.973-985
TITLE
A T-time Petri Net Extension for Real-time Task Scheduling Modelling

RÉSUMÉ
Dans un objectif de vérification du respect des contraintes temporelles d'exécution d'une application temps réel, nous proposons une extension des réseaux de Petri T-temporels permettant de prendre en compte l'ordonnancement des différentes entités logicielles de l'application réparties sur une architecture matérielle multi-processeurs. La politique d'ordonnancement considérée est préemptive et à priorités fixes. Cette extension consiste à projeter sur le modèle l'activation ou le blocage (par les différents ordonnanceurs du système) des entités logicielles que modélisent les places du réseau et ce, à partir de deux nouveaux paramètres (placement et priorité) associés aux places. Nous donnons dans un premier temps la sémantique formelle de ce modèle sous la forme d'un système de transitions temporisé (TTS) puis nous proposons une méthode d'analyse de ce modèle par le calcul du graphe des classes d'état. La vérification de propriétés temporelles peut alors être effectuée (avec ou non l'adjonction d'un observateur) par un examen du graphe des classes d'état ainsi obtenu.


ABSTRACT
In order to analyze whether timing requirements of a real-time application are met, we propose an extension of the T-time Petri net model which takes into account the scheduling of the software tasks distributed over a multi-processor hardware architecture. The paper is concerned with static priority pre-emptive based scheduling. This extension consists in mapping into the Petri net model the way the different schedulers of the system activate or suspend the tasks. This relies on the introduction of two new attributes for the places (allocation and priority). First we give the formal semantics of this extended model as a timed transition system (TTS). Then we propose a method for its analysis consisting in the computation of the state class graph. Thus the verification of timing properties can be conducted (possibly together with an observator) and comes to analyze the such obtained state class graph.


AUTEUR(S)
Olivier Henri ROUX, Anne-Marie DÉPLANCHE

MOTS-CLÉS
réseau de Petri T-temporel, vérification temporelle, ordonnancement préemptif à priorités fixes, système temps réel multi-processeur, graphe des classes d'état.

KEYWORDS
T-time Petri net, timing analysis, static priority pre-emptive scheduling, multiprocessor real-time system, state class graph.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier