Chapitre IV:
Méthode SA-RT
Chapitre IV: Méthode SA-RT [Link] FST Settat 1
PLAN
1- Introduction à la méthode SA-RT
2- Aspect fonctionnel
3- Aspect évènementiel
4- Etudes de cas
Chapitre IV: Méthode SA-RT [Link] FST Settat 2
1-Introduction
Chapitre IV: Méthode SA-RT [Link] FST Settat 3
Introduction générale à la méthode SA-RT
Méthodes de développement des applications embarquée:
Chapitre IV: Méthode SA-RT [Link] FST Settat 4
Introduction générale à la méthode SA-RT
La méthode SA-RT (Structured Analysis Real Time) est une
méthode d’analyse fonctionnelle et opérationnelle des systèmes
embarqués.
SA-RT permet de réaliser une description graphique et textuelle de
l’application en termes de besoins, c’est-à-dire de « ce que l’on a à
faire » ou le « quoi » (What?) mise en forme du « cahier des
charges »
Le mot essentiel de la méthode est « structuration » dans le sens
d’une décomposition en éléments ou blocs fonctionnels pour un
niveau d’analyse donné et d’une décomposition hiérarchique
cohérente entre les différents niveaux d’analyse.
Ces méthodes d’analyse ou de conception structurées conduisent
naturellement à la programmation structurée.
Chapitre IV: Méthode SA-RT [Link] FST Settat 5
Introduction générale à la méthode SA-RT
Méthode SA (Structured Analysis )
La methode d’analyse structurée SA, définie par E. Yourdon et
T. Demarco (1979)
Méthode descendante par affinages successifs des traitements,
appelés « process »
Les différents outils composant cette méthode sont : les
diagrammes de flots de données (DFD).
Chapitre IV: Méthode SA-RT [Link] FST Settat 6
Introduction générale à la méthode SA-RT
Méthode SA (Structured Analysis )
Les diagrammes de flots de données sont construits à partir de quatre
éléments graphiques :
• Traitement (cercle),
• Flot de données (flèche)
• Unité de stockage (traits parallèles)
• Entité externe (rectangle)
Chapitre IV: Méthode SA-RT [Link] FST Settat 7
Introduction générale à la méthode SA-RT
Méthode SA (Structured Analysis )
Exemples:
Exemples simples de diagrammes flot de données de la méthode SA
Chapitre IV: Méthode SA-RT [Link] FST Settat 8
Introduction générale à la méthode SA-RT
Méthode SA (Structured Analysis )
Exemples:
diagramme flot de données de la méthode SA correspondant à une application
de régulation de température.
NB: Thermistance, Résistance chauffante et Témoin de chauffage sont des unités externes échangeant
des données avec le système modélisé.
Chapitre IV: Méthode SA-RT [Link] FST Settat 9
Introduction générale à la méthode SA-RT
Méthode SA-RT (Structured Analysis Real Time)
Les diagrammes flots de données de la méthode SA manquait de
moyen permettant de spécifier l’aspect évènementiel et contrôle.
Lacune comblée par la création de méthode SA-RT ( Structured
Analysis-Real Time).
Méthode SA-RT établie par Ward et Mellor en 1985 qui associe
le fonctionnel et le contrôle dans un même diagramme.
Chapitre IV: Méthode SA-RT [Link] FST Settat 10
2-Aspect fonctionnel
Chapitre IV: Méthode SA-RT [Link] FST Settat 11
Méthode SA-RT
La spécification d'un système temps réel (STR) consiste en la
modélisation de ses aspects :
Fonctionnel
Informationnel
Événementiel
Chapitre IV: Méthode SA-RT [Link] FST Settat 12
Méthode SA-RT: Aspect fonctionnel
Cette étape ne doit pas tenir compte de la manière de
réalisation.
Question posé : QUOI FAIRE?
les fonctionnalités que le système doit satisfaire
les informations qu'il doit traiter au niveau logique.
Chapitre IV: Méthode SA-RT [Link] FST Settat 13
Méthode SA-RT: Aspect fonctionnel
Le modèle fonctionnel prend en considération:
Les données porteuses de traitement
• leur provenance
• leur destination
• leur stockage intermédiaire
Les transformations qu'elles subissent.
Chapitre IV: Méthode SA-RT [Link] FST Settat 14
Méthode SA-RT: Aspect fonctionnel
La méthode SA (Structered Analysis ) permet de modéliser, de
façon statique, l'activité d'un système sous forme de flots de
données circulant entre les processus.
Un outil de modélisation de l'aspect fonctionnel d'un système
doit permettre de:
• représenter le travail de transformation que le système opère
sur les données.
• spécifier les processus qui transforment les données.
Chapitre IV: Méthode SA-RT [Link] FST Settat 15
Méthode SA-RT: Aspect fonctionnel
Diagramme de flots de données: DFD
Un DFD est un réseau de processus et de stocks de données
connectés par des flots de données.
Exemple:
Chapitre IV: Méthode SA-RT [Link] FST Settat 16
Méthode SA-RT: Aspect fonctionnel
Diagramme de flots de données: DFD
Définition: un flot de donnée indique le chemin suivi par une donnée qui
circule entre des transformations. Il peut être constitué d'une donnée simple,
dite primitive, ou d'un groupement de données.
Représentation: une flèche simple ou une flèche double avec
L'identificateur de la donnée
Exemple:
Chapitre IV: Méthode SA-RT [Link] FST Settat 17
Méthode SA-RT: Aspect fonctionnel
Diagramme de flots de données: DFD
Une flèche simple = un flot de données discrets dans le temps.
Ce flot de données a un nombre de valeurs limitées, définis en des
points isolés du temps et indéfinis en dehors de ses points.
Exemple: le code d'une carte DAB n'est valable que si la carte est
insérée dans le lecteur.
Une flèche double = un flot de données continu.
Ce flot de données a des valeurs définies en tout point du temps.
Exemple: température livrée par un capteur.
Chapitre IV: Méthode SA-RT [Link] FST Settat 18
Méthode SA-RT: Aspect fonctionnel
Processus
Définition
- Un processus est une unité d'activité réalisée par le système, qui change un ou
plusieurs flots de données entrants en un ou plusieurs flots de données sortants.
- Un processus accepte, stocke et/ou produit des flots de données.
Présentation
- Un cercle entourant l'identificateur du processus et un numéro de référence.
L'identificateur du processus décrit la transformation opérée à l'aide d'un
verbe d'action à l'infinitif, suivi d'un complément d'objet direct, qui concerne
la donnée sur laquelle porte la transformation.
- La référence numérique traduit la place du processus dans une
décomposition hiérarchique.
Chapitre IV: Méthode SA-RT [Link] FST Settat 19
Méthode SA-RT: Aspect fonctionnel
Processus
Exemple:
Chapitre IV: Méthode SA-RT [Link] FST Settat 20
Méthode SA-RT: Aspect fonctionnel
Stockage de données
Définition: un stockage de donnée est un regroupement de données, ou
une donnée primitive, maintenu disponible et qui peut être utilisé par
tout processus. Son contenu n'est pas changé par un processus qui y lit, il
n'est modifié que par un processus qui y écrit.
Représentation: deux lignes parallèles encadrant l'identificateur de la
donnée stockée. Cet identificateur doit être composé de la même
manière que celui d'un flot.
Exemples
Chapitre IV: Méthode SA-RT [Link] FST Settat 21
Méthode SA-RT: Aspect fonctionnel
Bord de modèle
représente une entité extérieure échangeant des données avec le
système modélisé. Une terminaison peut donc être une entité
logicielle (programme, base de données…) ou matérielle (capteurs,
actionneurs, console opérateur…).
Exemples:
Chapitre IV: Méthode SA-RT [Link] FST Settat 22
Méthode SA-RT: Aspect fonctionnel
Exercice 1
Donner les connexions possibles:
de vers Process Stockage Bord
Process
Stockage
Bord
Chapitre IV: Méthode SA-RT [Link] FST Settat 23
Méthode SA-RT: Aspect fonctionnel
Connexions possibles:
Chapitre IV: Méthode SA-RT [Link] FST Settat 24
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
La hiérarchisation du modèle fonctionnel
Pour réduire la complexité d'un système en phase de modélisation on
opte à en hiérarchiser le modèle:
• Hiérarchiser de façon descendante;
• Hiérarchiser par niveaux de détail croissant;
• Hiérarchiser par niveaux de complexité décroissant, complexité
suffisamment limité pour pouvoir être facilement assimilable.
Chapitre IV: Méthode SA-RT [Link] FST Settat 25
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Diagramme de contexte
• Diagramme de contexte est le sommet de la hiérarchie;
• Diagramme très abstrait qui représente le système à modéliser;
• Il ne contient qu'un process dont le nom traduit la fonction d'usage
du système;
• Il est le seul diagramme dans lequel sont représentées les
interfaces entre le système et l'environnement (les bords).
Exercice 2
Donner un exemple de diagramme de contexte?
Chapitre IV: Méthode SA-RT [Link] FST Settat 26
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Exemple du diagramme de contexte
Data E 1 Data S 1
Entité externe 1 Entité externe 3
Contrôler
Data E 2 système Data S 2
0 Entité externe 4
Entité externe 2
Exercice 2
Donner un exemple de diagramme de contexte?
Chapitre IV: Méthode SA-RT [Link] FST Settat 27
Méthode SA-RT: Aspect fonctionnel
Exercice 2
Donner un exemple de diagramme de contexte:
- Récepteur GPS
- Régulateur de vitesse
- Régulateur température
Chapitre IV: Méthode SA-RT [Link] FST Settat 28
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Niveaux de décomposition:
• Un DFD de premier niveau, appelé diagramme préliminaire, fait
la décomposition des systèmes qui correspondent aux fonctions
principales du système et à leurs interfaces.
• Chaque sous système est considéré à son tour comme système et il
est décomposé itérativement en sous systèmes.
• La décomposition d'un processus s'accompagne de celle du contexte
qui lui est associé, c'est-à-dire des flots des données qui y entrent et
qui en sortent.
Chapitre IV: Méthode SA-RT [Link] FST Settat 29
Méthode SA-RT: Aspect fonctionnel
Exemple
Chapitre IV: Méthode SA-RT [Link] FST Settat 30
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Repérage des niveaux et des processus: Chaque niveau porte
le nom et le numéro du processus parent qu'il décompose.
Chaque processus du DFD d'un niveau, possède une
référence numérique qui indique sa place dans la hiérarchie.
Processus primitif: Un processus est dit primitif s'il n'est plus
décomposable.
Chapitre IV: Méthode SA-RT [Link] FST Settat 31
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Exemple:
Hiérarchie Abstraction et masquage d’information
Chapitre IV: Méthode SA-RT [Link] FST Settat 32
Méthode SA-RT: Aspect fonctionnel
Les règles de formation et d’interprétation d’un DFD
Abstraction et masquage
Le DFD d'un niveau ne contient que les informations
nécessaires à la représentation complète, mais sans surdétail, du
processus qu'il décompose.
Conservation et interface entre niveaux
Chaque diagramme enfant comporte exactement les mêmes flots
entrants et sortants que son processus parent
Chapitre IV: Méthode SA-RT [Link] FST Settat 33
Méthode SA-RT: Aspect fonctionnel
Exercice 3
Un système de contrôle commande utilise 3 capteurs et 3 actionneurs.
On rappelle les trois fonctions principales d’un système de contrôle
commande: acquisition, traitement et commande.
On suppose que le cahier de charge exige le stockage des données
acquises dans une base de données BD1, et le traitement fait appel aux
données d’une BD2.
Donner les diagramme flots de données génériques de ce système:
1- Diagramme de contexte?
2- Diagramme préliminaire?
3- Proposer un plan de programmation en C?
Chapitre IV: Méthode SA-RT [Link] FST Settat 34
Méthode SA-RT: Aspect fonctionnel
Exercice 3
1-Diagramme de contexte générique:
Diagramme de contexte
Chapitre IV: Méthode SA-RT [Link] FST Settat 35
Méthode SA-RT: Aspect fonctionnel
Exercice 3
2-Diagramme préliminaire générique:
Décomposition fonctionnelle générique
Chapitre IV: Méthode SA-RT [Link] FST Settat 36
Méthode SA-RT: Aspect fonctionnel
Spécification de processus (mini-spécification)
La décomposition d'un processus s'arrête quand sa
présentation par DFD ne peut plus rendre compte de détails
supplémentaires sur la production de flots sortants à partir de
flots entrants.
Un process en fin de décomposition est dit processus
primitif.
Chapitre IV: Méthode SA-RT [Link] FST Settat 37
Méthode SA-RT: Aspect fonctionnel
Spécification de processus (mini-spécification)
• Spécification procédurale
Ce type de spécification se base sur une approche
algorithmique.
Chaque processus primitif sera décrit sous forme de
procédure.
Chapitre IV: Méthode SA-RT [Link] FST Settat 38
Méthode SA-RT: Aspect fonctionnel
• Spécification procédurale
Une spécification procédurale se décline en 6 mots-clés :
– « E/ données : Nom_flots_de_données… » : liste des flots de données en entrée du
processus fonctionnel ;
– « E/ événements : Nom_flots_d’événements… » : liste des flots d’événements en entrée
du processus fonctionnel, c’est-à-dire en général « E/D » ou « T », ou éventuellement les
événements produits directement par les bords de modèle ;
– « S/ données : Nom_flots_de_données… » : liste des flots de données en sortie du
processus fonctionnel ;
– « S/ événements : Nom_flots_d’événements… » : liste des flots d’événements en sortie
du processus fonctionnel ;
– « Nécessite : » : liste des contraintes sur les données en entrée du processus fonctionnel ;
– « Entraîne : » description algorithmique du traitement à réaliser.
Chapitre IV: Méthode SA-RT [Link] FST Settat 39
Méthode SA-RT: Aspect fonctionnel
• Spécification procédurale
Exemple:
La spécification de "OBTENIR données acquisition" peut s'énoncer:
Processus_fonctionnel OBTENIR DONNÉES ACQUISITION 1.0
E_Données: Indicateur de présence
E_Données: Nom de l’acquisition
E_Données: Fichier d’acquisition
S_Données: Compte rendu
Si INDICATEUR DE PRESENCE est vrai
Alors
mettre COMPTE RENDU à succès
stocker FICHIER D'ACQUISITION comme DONNEES DE L'ACQUISITION
sinon
mettre COMPTE RENDU à échec
fournir COMPTE RENDU
Chapitre IV: Méthode SA-RT [Link] FST Settat 40
Méthode SA-RT: Aspect fonctionnel
• Spécification procédurale
Exercice 2
On considère le DFD d’un système de freinage automobile:
Donner la spécification procédurale de processus « COMMANDER FREINAGE» ?
Chapitre IV: Méthode SA-RT [Link] FST Settat 41
3-Aspect évènementiel
Chapitre IV: Méthode SA-RT [Link] FST Settat 42
Méthode SA-RT: Aspect évènementiel
INTRODUCTION
L'aspect événementiel prend en considération :
• Les conditions opératoires des processus, c'est à dire les événements qui
les activent et les désactivent.
• La façon dont les événements influencent le comportement du système.
L'aspect événementiel est spécifique aux systèmes temps réel.
Un outil de modélisation de l'aspect événementiel d'un STR doit
permettre de:
• Représenter les événements qui conditionnent l'état d'un système.
• Spécifier la logique de contrôle que produit les actions et les événements
en fonction d'événements en entrée et fait changer l'état du système.
Chapitre IV: Méthode SA-RT [Link] FST Settat 43
Méthode SA-RT: Aspect évènementiel
LES COMPOSANTS DE L'ASPECT EVENEMENTIEL
1- Les événements
• Un événement est une information qui survient à un instant précis et qui traduit
que "quelque chose s'est passée". Un événement externe nécessite une réponse
préétablie de la part du système.
• Un événement est représente par une flèche interrompue. (------->) avec
L'identificateur de l'événement
Pilotage de l’exécution d’un processus fonctionnel :
(a) piloté par les données et (b) piloté par les événements.
Chapitre IV: Méthode SA-RT [Link] FST Settat 44
Méthode SA-RT: Aspect évènementiel
LES COMPOSANTS DE L'ASPECT EVENEMENTIEL
2- Les actions
Les actions exercées par les événements sur les transformations de
données sont internes et de type activation/désactivation.
Les événements sont appelés activeurs/désactiveurs de processus.
On distingue trois principaux activeurs/désactiveurs:
• L'autorisation (A): Activation d'une transformation.
• L'inhibition (I): Désactivation d'une transformation
• Le déclenchement (D): Déclenchement d'une transformation.
Chapitre IV: Méthode SA-RT [Link] FST Settat 45
Méthode SA-RT: Aspect évènementiel
LES COMPOSANTS DE L'ASPECT EVENEMENTIEL
2- Les actions
Les deux premiers événements sont utilisés ensemble «A/I» pour piloter
un processus fonctionnel de type « boucle sans fin » ou périodique,
c’est-à-dire que le processus de contrôle doit lancer l’exécution de ce
processus avec l’événement «A» et ensuite peut l’arrêter avec
l’événement «I».
L’événement «D» est utilisé pour activer un processus fonctionnel de
type « début-fin » ou sporadique, c’est-à-dire que le processus de
contrôle doit lancer l’exécution de ce processus avec l’événement «D»
et ensuite le processus s’arrête à la fin de son exécution sans
intervention du contrôle.
Chapitre IV: Méthode SA-RT [Link] FST Settat 46
Méthode SA-RT: Aspect évènementiel
LA REPRESENTATION DE L'ASPECT EVENEMENTIEL
• Les extensions de WM (WORD MELLOR) de SA à la
modélisation des STR consiste à représenter les événements qui
contrôlent les processus, sous forme de diagrammes, comme pour
les flots de données.
• Cette extension comporte:
- une représentation graphique propre aux flots événements et à la
logique de contrôle qui les combines afin de distinguer les
données des événements et les traitements de leur contrôle.
- Une hiérarchisation de l'aspect événementiel qui suit celle de
l'aspect fonctionnel.
Chapitre IV: Méthode SA-RT [Link] FST Settat 47
Méthode SA-RT: Aspect évènementiel
LA REPRESENTATION DE L'ASPECT EVENEMENTIEL
Exemple:
M/A
Exemple simple d’une partie contrôle liée à une partie
fonctionnelle de la méthode SA-RT
Chapitre IV: Méthode SA-RT [Link] FST Settat 48
Méthode SA-RT: Aspect évènementiel
LA REPRESENTATION DE L'ASPECT EVENEMENTIEL
Exemple: Régulation d'amplitude d'un signal sonore
Schéma préliminaire de Régulation d’amplitude d’un signal sonore
Chapitre IV: Méthode SA-RT [Link] FST Settat 49
Méthode SA-RT: Aspect évènementiel
TRANSFORMATION DE CONTROLE
Définition
• Une transformation de contrôle est une unité de contrôle qui
fait correspondre des flots événements en sortie à des flots
événements en entrée.
• Elle produit des événements en sortie à partir d'événements en
entrée, selon une logique principalement séquentielle.
Représentation
Elle est représentée par un cercle en pointillé entourant l'identificateur
de la transformation et un numéro de référence.
Chapitre IV: Méthode SA-RT [Link] FST Settat 50
Méthode SA-RT: Aspect évènementiel
TRANSFORMATION DE CONTROLE (PROCESSUS DE
CONTRÔLE)
Le processus de contrôle représente la logique du pilotage des
processus fonctionnels. Il génère l’ensemble des événements qui
vont activer ou désactiver les processus fonctionnels.
En retour, les processus fonctionnels fournissent au processus de
contrôle tous les événements nécessaires aux prises de décision.
Le processus de contrôle ne peut en aucun cas gérer des données.
NB: Les processus fonctionnels sont des processus de
transformation de données (à ne pas confondre avec les processus
de contrôle).
Chapitre IV: Méthode SA-RT [Link] FST Settat 51
Méthode SA-RT: Aspect évènementiel
TRANSFORMATION DE CONTROLE
Exemple:
Chapitre IV: Méthode SA-RT [Link] FST Settat 52
Méthode SA-RT: Aspect évènementiel
STOCKAGE EVENEMENT :
Définition
Un stockage événement est une mémorisation d'un ou plusieurs flots
événement.
Représentation
• Il est représenté par deux lignes parallèles en pointillé, encadrant
L'identificateur des événements stockés.
• Un stockage événements peut recevoir directement des flots événements en
provenance de l'environnement sans qu'ils soient produits par des
transformations
Exemple:
Chapitre IV: Méthode SA-RT [Link] FST Settat 53
Méthode SA-RT: Aspect évènementiel
Les règles de formation d'un Schéma de Transformation (ST)
La cohabitation des données et des événements, des traitements et
des contrôles impose des règles spécifiques de formation des
diagrammes qui s'ajoutent à celle des DFD.
1. Un diagramme préliminaire ne doit contenir qu’un seul
processus de contrôle. En effet, il est difficilement concevable
d’avoir plusieurs organes de contrôle commande pour une seule
application, pour des raisons de cohérence.
2. Un diagramme préliminaire, ou, a fortiori, un diagramme de
décomposition, peut ne pas avoir de processus de contrôle.
Dans ce cas, tous les processus fonctionnels sont supposés
s’exécuter en même temps avec pour seule règle celle des flots
de données.
Chapitre IV: Méthode SA-RT [Link] FST Settat 54
Méthode SA-RT: Aspect évènementiel
Les règles de formation d'un Schéma de Transformation (ST)
3. Un processus fonctionnel peut ne pas être connecté au processus
de contrôle.
Dans ce cas, il est supposé être activé au démarrage de l’application
et ne jamais s’arrêter. Pour augmenter la lisibilité, il est préférable
de le connecter au processus de contrôle avec un événement de type
« A/I » et de l’activer définitivement au début de l’application en
utilisant l’événement « A ».
Voir exemple slide 53 (Régulation d'amplitude d'un signal sonore)
Proposer une architecture hardware?
Chapitre IV: Méthode SA-RT [Link] FST Settat 55
Méthode SA-RT: Aspect évènementiel
Les règles de formation d'un Schéma de Transformation (ST)
4. Une transformation de contrôle n'accepte que des flots
événements en entrée et ne produit que des flots événements en
sortie.
5. Une transformation de contrôle peut avoir des
activeurs/désactiveurs en entrée (Marche/Arret).
6. Seuls les flots de données et des activeurs/désactiveurs sont
acceptés en entrée des transformations de données primitives, mais
elles peuvent produire, en sortie, des flots de données ou
événements.
Chapitre IV: Méthode SA-RT [Link] FST Settat 56
Méthode SA-RT: Aspect évènementiel
Les règles de formation d'un Schéma de Transformation (ST)
7. Toute transformation primitive de flots de données continus doit
être explicitement activée ou désactivée.
8. Une transformation de donnée primitive peut exercer un contrôle
sur l'environnement à l'aide d'un flot événement en sortie.
Chapitre IV: Méthode SA-RT [Link] FST Settat 57
Méthode SA-RT: Aspect évènementiel
Spécification de la logique de contrôle
Plusieurs représentations sont possibles pour spécifier la logique de
contrôle. On peut citer :
• Les automates à états finis
• Les réseaux de pétri
• Les grafcets
• Les diagrammes à état/transition
Dans notre cas on utilisera les diagrammes états/transitions (SART -
WM)
Chapitre IV: Méthode SA-RT [Link] FST Settat 58
Méthode SA-RT: Aspect évènementiel
Diagramme états/transitions
Un diagramme état-transition est composé de quatre éléments:
[Link] états représentés par des rectangles contenant les noms des différents
états
[Link] transitions représentées par des flèches qui représentent le passage d'un
état à un autre, dans le sens indiqué par la flèche.
[Link] conditions qui sont les événements qui provoquent une transition
[Link] actions qui sont réalisées quand les transitions se produisent.
Chapitre IV: Méthode SA-RT [Link] FST Settat 59
Méthode SA-RT: Aspect évènementiel
Diagramme états/transitions: règles de formation
La représentation d'un diagramme état transition obéit à des règles de
formation:
[Link] des états est désigné comme état de départ, ou état initial. Cet état
représente l'état du système au moment ou il est sollicité. Généralement cet état
est désigné par REPOS.
[Link] ou plusieurs états peuvent être terminaux.
[Link] transition peut exister entre deux états quelconques du système y
compris entre un état et lui même.
[Link] peut y avoir plusieurs transitions en entrée ou en sortie d'un état.
[Link] conditions peuvent être nécessaire à la réalisation d'une transition et
plusieurs actions peuvent y être associées.
[Link] condition peut provoquer une transition, sans qu'il y ait d'action associée
Chapitre IV: Méthode SA-RT [Link] FST Settat 60
Méthode SA-RT: Aspect évènementiel
Diagramme états/transitions: règles d’interprétation
[Link]'une transition boucle sur le même état, cela signifie qu'une condition
est requise pour produire une action, mais n'influence pas l'état courant.
[Link] système étant dans un état donné, si une condition est réalisée, mais n'est
pas associée à une transition en sortie de cet état, la condition est donc sans
effet.
[Link] condition qui provoque une transition sans produire d'action correspond
souvent à la sortie d'un état d'attente.
[Link] plusieurs actions indépendantes ont lieu lors du même transition,
elles s'exécutent simultanément, sauf si un ordre de déroulement est
explicitement indiqué
Chapitre IV: Méthode SA-RT [Link] FST Settat 61
Méthode SA-RT: Aspect évènementiel
Exemple diagramme état transition
Exemple: Régulation d'amplitude d'un signal sonore
Schéma préliminaire de Régulation d’amplitude d’un signal sonore
Chapitre IV: Méthode SA-RT [Link] FST Settat 62
Méthode SA-RT: Aspect évènementiel
Exemple diagramme état transition
diagramme d’état transition d’un système régulation d'amplitude d'un signal sonore
Chapitre IV: Méthode SA-RT [Link] FST Settat 63
Méthode SA-RT: Aspect fonctionnel
Exercice 3 (suite)
Un système de contrôle commande utilise deux capteurs et deux
actionneurs. On rappelle les trois fonctions principales d’un
système de contrôle commande: acquisition, traitement et
commande. Dans le cahier de charge on a exigé l’implantation
d’un processus de contrôle afin de coordonner l’exécution des
différents processus fonctionnels (acquisition, traitement et
commande).
1- Diagramme préliminaire avec processus de contrôle?
2- Diagramme état transition?
3- Proposer une architecture hardware et structure de
programme en C?
Chapitre IV: Méthode SA-RT [Link] FST Settat 64
4.1-Etude de cas 1:
Système de freinage automobile
Chapitre IV: Méthode SA-RT [Link] FST Settat 65
Etude de cas: Système de freinage automobile
CAHIER DES CHARGES
Considérons un système de freinage automobile qui est constitué d’une
part d’un ensemble classique composé d’une pédale de frein (demande de
freinage) et d’un frein (actionneur de freinage) et d’autre part d’un
système ABS (Anti-blocking Brake System). Un capteur de glissement de
roues est associé à ce système ABS. Pour simplifier, le fonctionnement de
l’ABS est basé sur un arrêt du freinage dès qu’un glissement est détecté
sur les roues, et cela même si la demande du conducteur est toujours
effective.
Le conducteur a la possibilité d’activer ou non ce système ABS à l’aide
d’un bouton spécifique (bouton à deux positions stables : interrupteur). Un
voyant permet de lui indiquer l’activation du système ABS. En revanche,
il n’est pas possible de désactiver le système ABS en cours de freinage,
c’est-à-dire pendant l’appui sur la pédale de frein.
Chapitre IV: Méthode SA-RT [Link] FST Settat 66
Etude de cas: Système de freinage automobile
Travail demandé:
1- Donner le diagramme de contexte?
2- On considère que le système est composé uniquement des 5 processus
fonctionnelles suivants: Acquérir demande freinage, Détecter glissement,
Commander freinage, Lire bouton ABS, Afficher état ABS diagramme
préliminaire de l’aspect fonctionnel
2-1- Donner le diagramme préliminaire de l’aspect fonctionnel?
2-2- Compléter le diagramme avec l’aspect de contrôle?
3- Donner les spécifications procédurales de processus primitif « acquérir
demande de freinage » et « détecter glissement »
4- Donner le diagramme états transitions décrivant l’aspect contrôle?
5- Proposer une structure de programmation de ce système en langage C?
Chapitre IV: Méthode SA-RT [Link] FST Settat 67
