Systèmes en temps réel Modélisation du comportement en temps réel avec UML.

Systèmes en temps réel

Modélisation du comportement en temps réel avec

UML

Comportement (partie 1) - 2

Synopsis

Machines d’état (Hiérarchique) état transitions initialisation points de décision idées de base pour modeler

Diagrammes d’états en RoseRT

Exercice


Machines d’états : état

Une condition durant la vie d’un objet dans laquelle il est prêt à traiter un événement

Peut contenir un nombre d’autre états Emboîtés de profondeur n

a Un nom Des actions d’entrée/sortie optionnels

Action d’entrée Action de sortie Actions d’entrée/sortie

Idle Active Error


Machines d’états : transitions

Relation entre l’état source et l’état destination

Spécifie les conditions sous lesquelles un objet dans l’état source va changer à l’état destination

Contiens: Un déclencheur (trigger) Une condition de garde Actions


Machines d’états : initialisation

État initial (optionnel) – État de départ de la machine d’état est définit explicitement.

Elle a: Une transition initiale – ne peut pas être gardé État de départ – premier état actif

Attente

état initial

transition initiale

état de départ


Machines d’états : points de décision

Permet à une seule transition d’être séparée en deux segments de transition sortants


Machines d’états : idées de base

Souvent les appareils ont des états en-service (actif) ou hors-service (attente ou passif)

Toutes les capsules devraient avoir un état police (état d’erreur) à la couche supérieure

Passif

Erreur

Actifinitial en-service

hors-service

erreurerreur


Machines d’états : idées de base

L’héritage va nous permettre de réutiliser la machine d’états de la couche supérieure La super-classe définit la couche supérieure

des états communs à toutes les sous-classes Bien que les sous-classes fournissent les

détails pour le reste de la machine d’état

Utilisez les diagrammes de séquences pour aider à l’analyse des transitions entre les états



Toutes les capsules ont un diagramme d’états qui leurs est associé

Les ports terminaux doivent être définis sur une capsule pour que les messages qui entrent puissent être utilisés comme événements déclencheurs Ceci inclus tous les ports de système

La sélection du message qui est désigné avec “*” veut dire que tous les messages qui entre sur le port choisi va déclencher la transition.

Le code d’action ajouté dans les diagrammes d’états en RoseRT est en C, C++, ou Java



Pas de code de transition

code de transition

Aucun déclencheur

déclencheur

Code d’action d’entrée

Code d’action d’entrée/sortie

Pas de code d’action d’entrée/sortie



Application de déclencheurs sélectionne port sélectionne signal

Applique gardes Entrez le code de

garde associé avec le déclencheur correspondant



Code d’action Envoie des

messages Appel des

opérations Ports de service Classes passive Capsule


Rappel: exemple System Processor


Exercice en classe – comportement de ECM

Implémentez ce qui suit: Initialisez un temps de brouillage continue de 250 msec Commencez le brouillage quand le message JamEmitterID

est reçu Après l’écoulement du temps de brouillage initialisez une

séquence d’observation (look-through) Demandez des données de mise à jour de l’émetteur

(pendant la séquence d’observation) Retournez au brouillage quand vous recevez le signal

Continue Retournez à l’état passif (idle) quand le signal StopJam

vous est envoyé

Comment informeriez-vous le Controller de l’état du brouillage?


Exercice – comportement de ECM


Solution 1


Solution 2

Systèmes en temps réel Modélisation du comportement en temps réel avec UML.

Documents

Transcript of Systèmes en temps réel Modélisation du comportement en temps réel avec UML.