Chapitre II: Méthodes de

Spécification et de conception des

Systèmes Temps réel

Khaled NOURI, Cours de Commande Système Temps Réel, ARTI 2,

ENICarthage
 1-Introduction

La spécification d’un système nécéssite, pour être complète, 3 approches:

 Une approche par les données (aspect informationnel)
 Une approche par les fonctions (aspect fonctionnel)
 Une approche temporelle (aspect temporel)

Diverses méthodes de spécification et d’analyse des systèmes sont

proposées, parmi lesquelles, on cite:
 SA: Analyse structurée (Structured Analysis)
 SART: Structured Analysis Real Time
 SADT: Structured Analysis Design Technic

Khaled NOURI,CSTR, ARTI 2 2

ENICarthage
2- Méthode d’Analyse Structurée SA

2.1- Présentation générale de la méthode SA

L’analyse structurée SA, définie par Edward YOURDON et Tom

DEMARCO en 1978-1979 est une méthode permettant de créer un
modèle logique décrivant « ce que doit faire » un système sans se
préoccuper de « comment faire ».
Objectif: exposer le but principal du système et identifier les entités
extérieures avec lesquelles il doit communiquer
Elle est composée d’un ensemble de diagrammes ordonnés
hiérarchiquement où les derniers niveaux de raffinage font apparaître les
fonctions élémentaires appelées primitives fonctionnelles ou process
primitif.

Khaled NOURI,CSTR, ARTI 2 3

ENICarthage
 2.2- Concepts de base de la méthode SA

L’analyse structurée repose sur 3 outils principaux:

 Outils graphiques: le Diagramme de Contexte de Données DCD et
les diagrammes de transformation de données ou Diagrammes de Flots
de Données DFD (Data Flow Diagram)
 Outils Textuels: le Dictionnaire de Données DD (Data Dictionnary) a
pour but de regrouper la sémantique et la structure de données
présentées dans le système. Il englobe donc la description de flots de
données.
Outils graphiques et/ou textuels: les spécifications de process
notées PSPEC (Process SPECification) a pour but de raffiner les
explications de chaque processus en faisant apparaître les traitements
élémentaires.

Khaled NOURI,CSTR, ARTI 2 4

ENICarthage
2.3- Outils Graphiques

 Diagramme de Contexte de Données:

Il expose le but principal du système et identifie les entités extérieures
avec lesquelles il doit communiquer.
Le DCD se construit à partir de 3 éléments graphiques suivants:
 le Traitement ou process: représenté par un cercle, est une unité de
travail qui réalise la transformation des données d’entrées en données
de sorties.
Le flot de données: se définit comme un vecteur en « trait continu »,
vecteur nommé reliant l’entité externe et le process, sur lequel circule un
ensemble de données de même nature.
L’entité externe ou Terminateur: symbolisée par un rectangle, indique
la provenance (source) ou la destination des données (puits) traitées par
le système. Khaled NOURI,CSTR, ARTI 2 5
ENICarthage
 Diagramme de Contexte de Données:

Khaled NOURI,CSTR, ARTI 2 6

ENICarthage
 Diagrammes de Flots de Données DFD:
Ils décomposent le process unique du DCD en sous process et les flots
d’E/S en sous flots de données afin de détailler le fonctionnement du
système.
Le DFD se construit à partir des 3 éléments graphiques suivants:
 Traitement ou process
Flots de données
Unité de stockage (base de données ou fichiers) symbolisée par deux
traits parallèles, correspond à une zone de rangement de données

Khaled NOURI,CSTR, ARTI 2 7

ENICarthage
 Diagrammes de Flots de Données DFD:

Khaled NOURI,CSTR, ARTI 2 8

ENICarthage
 Diagrammes de Flots de Données DFD:
Chaque process peut être « éclaté » en un autre DFD donnat plus de
détails jusqu’à atteindre un niveau de décomposition suffisament bas
pour que chaque traitement élémentaire (process primitif) puisse être
décrit de façon simple.

Khaled NOURI,CSTR, ARTI 2 9

ENICarthage
 Diagrammes de Flots de Données DFD:

En raisonnat sur les flots de données, l’exemple doit être interprété

de la façon suivante:
La donnée X provenant de la source S est transformée en Y par le
process P1, qui a besoin pour traiter cette transformation, d’accéder
au fichier F. le flot de données Y est ensuite transformé par le
process P2 en donnée Z puis envoyé au destinataire D.
Khaled NOURI,CSTR, ARTI 2 10
ENICarthage
 Remarques sur les DFDs:
Chaque process est identifié par un verbe à l’infinitif précisant le
traitement
Tous les flots de données doivent être nommés (à l’exception des
accès aux unités de stockage)
Deux flots de données ne peuvent pas avoir le même nom

Khaled NOURI,CSTR, ARTI 2 11

ENICarthage
 Remarques sur les DFDs:
Les flots de données peuvent se ramifier comme suit:

Khaled NOURI,CSTR, ARTI 2 12

ENICarthage
Exercice
Un tableau de bord pour automobile doit réaliser les fonctions suivantes:
 Faire les conversions Analogiques / Digitales des signaux provenant
des interfaces avec le moteur (Signal « rotations par seconde »), le
réservoir (signal « niveau d’essence »).
Afficher les informations à l’aide d’un ensemble de diodes
électroluminescentes,
Indiquer la vitesse instantanée, la distance parcourue, la consommation
instantanée,
Avertir par un signal sonore en cas de dépassement d’une vitesse
maximale autorisée.
Question1: Etablir le diagramme de contexte du tableau de bord.
Question 2: Etablir le diagramme de flots de données du tableau de
bord.
Khaled NOURI,CSTR, ARTI 2 13
ENICarthage
3-Méthode d’Analyse Structurée Temps Réel
SA-RT

La méthode SA-RT proposée par Paul Ward et Stephen Mellor en 1984-
1985 est une extension temps réel de la méthode SA.
Elle résout le problème de modélisation dynamique et
« événementielle » d’une application temps réel, permettant l’élaboration
d’un modèle en pensant ‘‘réponse à des événements ’’ provenant du
système.
La méthode SA-RT, outil graphique repose sur les 3 diagrammes
suivants:
 Diagramme de contexte de données (DCD),
 Diagrammes des flots de données (DFD),
 Diagramme de flots de contrôle (DFC): c’est la dernière étape de
la méthode SA-RT. Objectif  Représenter les événements
contrôlant l’activation du système.

Khaled NOURI,CSTR, ARTI 2 14

ENICarthage
En plus des éléments graphiques propres au diagramme DFD de la
méthode SA, le DFC repose sur 3 éléments graphiques suivants:
 Process de contrôle: symbolisé par un cercle en pointillé,
 Flots de contrôle appelés également « signaux »
 Les prompts

Khaled NOURI,CSTR, ARTI 2 15

ENICarthage
 Flots de contrôle ou flots d’événements ordinaires ou encore
« signaux »: il y a deux catégories pour les flots de contrôle
« signaux »
 les événements: symbolisés par un vecteur en traits
pointillés  ils expriment une occurrence dans le temps
 les données discrètes: symbolisés par un vecteur en trait
continu  elles propagent une valeur uniquement valide à des
instants précis et disparaît dès que les données discrètes ont
été consommés.

Khaled NOURI,CSTR, ARTI 2 16

ENICarthage
Méthode d’Analyse Structurée Temps Réel SA-RT

 Les prompts: symbolisés par une flèche en pointillé portant l’une des
mentions suivantes:
 E: (« Enable »): pour indiquer un flot de contrôle d’activation,
 D: (« Disable »): pour indiquer un flot de contrôle de
désactivation,
 T(« Trigger »): pour indiquer un flot de contrôle de
déclenchement
On peut dire que les prompts sont générés par les process de
contrôle, suite à la reconnaissance par ce dernier d’un signal, et sont
connectés au processus de données qu’ils activent, désactivent ou
déclenchement.

Khaled NOURI,CSTR, ARTI 2 17

ENICarthage
Méthode d’Analyse Structurée Temps Réel SA-RT

 Exemple: Contrôle de la pression

Khaled NOURI,CSTR, ARTI 2 18

ENICarthage
Méthode d’Analyse Structurée Temps Réel SA-RT

 Chaque process de contrôle doit être spécifié par un diagramme

Etats-Transitions

Khaled NOURI,CSTR, ARTI 2 19

ENICarthage
Méthode d’Analyse Structurée Temps Réel SA-RT

 La matérialisation de l’incidence des événements sur les process

s’effectue par un diagramme Etats-Transitions pour mettre en
évidence:
Les différents modes de fonctionnement du
système (états)
Les signaux qui provoquent un changement
d’état du système (conditions)
La liste des process activés ou désactivés
(actions)

 Condition: événement qui provoque la transition

 Actions: qui sont réalisées lorsque la transition est effectuée

Khaled NOURI,CSTR, ARTI 2 20

ENICarthage
Méthode d’Analyse Structurée Temps Réel SA-RT

 Exercice

Khaled NOURI,CSTR, ARTI 2 21

ENICarthage