Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

République Tunisienne Année Universitaire 2015-2016

Ministère de l’Enseignement Supérieur L’Ecole Supérieure des Sciences Appliquées
Et de la Recherche Scientifique et de la Technologie Privée de Gabès

Devoir de surveillance
Nature de l’examen Session principale *
Session de rattrapage
Epreuve : INTRODUCTION AUXSYSTEMES EMBARQUE Durée : 2h
Date : Vendredi 11/01/2016 Documents : autorisés non autorisés
èmme
Niveau et Section : 3 ING GL Barème : (1x6)+(3+5+3+3)
------------------------------------------------------------------------------------------------------------------------

PARTIE I : QCM (6pts) (1x6)

Cochez les bonnes réponses

1. Un système temps réel est :

 a) un système rapide
 b) un gestionnaire de données
 c) un système prévisible
2. Un système est dit temps réel s’il respecte :
 a) Le temps de réponse
 b) L’urgence
 c) La durée du traitement
3. L’urgence traite:
 a) Les évènements aléatoires
 b) Les évènements prioritaires
 c) Les évènements de priorité absolue
4. Le temps de réponse idéal signifie:
 a) le temps minimal à respecter avant le traitement d’urgence
 b) le temps maximal à respecter avant le traitement d’urgence
 c) le temps minimal à respecter après le traitement d’urgence
 d) le temps maximal à respecter après le traitement d’urgence
5. Le temps de réponse valide signifie:
 a) >= temps minimal à respecter avant le traitement d’urgence
 b) <= temps maximal à respecter avant le traitement d’urgence
 c) <= temps minimal à respecter avant le traitement d’urgence
 d) >= temps maximal à respecter avant le traitement d’urgence
6. L'ordonnancement des tâches temps réel doit permettre :
 a) le respect des contraintes temporelles pour le plus grand nombre de tâches
 b) privilégier les tâches les plus critiques
 c) permettre une exécution rapide des tâches

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 1/5

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

PARTIE II : PROBLEME (14pts)

STATION DE POMPAGE

Cahier des charges:

On se propose de réaliser l'affichage en temps réel sur un écran graphique d'ordinateur(synoptique)
de l'état d'une petite station de pompage destinée à l'arrosage de culture.

La station de pompage possède un château d'eau alimenté par une motopompe et un circuit de
distribution d'eau à 4 secteurs piloté par 4 électrovannes. La Motopompe et les électrovannes sont
munis de capteurs fournissant les signaux logiques C_M, C_EV1, C_EV2, C_EV3, C_EV4 décrivant leurs
états ( ON/OFF).

La cuve est munie d'un capteurs de niveau permettant de connaître la quantité d'eau en mètre cubes
(0 à 8 mètres cubes en valeurs entières seulement). Les mesures sont effectuées deux fois par
secondes.

Motopompe

Electrovannes

Le dispositif étudier produit sur un écran graphique une synoptique selon le modèle suivant:

MOTOPOMPE
ELECTROVANNES

EV1 EV2 EV3 EV4

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 2/5

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Une bande bleue pour un mètre cube d'eau (0 à 8 bandes).

L'état de la pompe ou des électrovannes est matérialisé par un rectangle de couleur verte (état OFF)
ou rouge (état ON). L'affichage doit être mis a jour (rafraîchi) seulement lors d'un changement d'état
de la station de pompage. Seules les parties modifiées du système doivent être réaffichées.

Le programme est arrêté par action sur la touche ESCAPE.

Attention !!: Le dispositif étudié est complètement passif par rapport au pompage et a la distribution
de l'eau, il n'assure que la représentation graphique du processus, sans agir sur lui.

Etude du système:
En suivant une démarche de spécification basée sur méthodologie de spécification et des
conception SART (WM). On peut décomposer le systèmes suivant le diagramme préliminaire suivant:

synoptique

PARAM_INIT Arret
Afficher
Initialiser graphique
Affichage 1.3
1.4 A/I

D
co ch_ev1
CONTROLER mp ch_ev2
ara
niv Afiichage Etats iso ch_ev3
n
e au 1.0 ch_ev4
i

ch
qu

an ch_CM
Ac

ge
C_M pas de m en
Fin

t ch_niv
changement
A/I
Comparer
Acquérir Etats capteurs
C_M Etats capteurs 1.2
C_EV
1 1.1 E_Niveau
2
C_EV
C_EV3 EV+M
V4
C_E

DIAGRAMME PRELIMINAIRE

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 3/5

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Description des processus:

 Initialiser Affichage:

Permet d'afficher l’écran graphique de départ

 Acquérir Etats capteurs:

Permet l'acquisition des données en provenance des capteurs. Il fourni un événement "fin
Acqui" pour indiquer à la tâche de contrôle qu'une opération d'acquisition est terminée.

 Afficher Graphique:

Permet de modifier seulement la représentation des états des capteurs qui on changés d'états.

 Comparer Etats capteurs:

Permet de détecter si un changement au niveau des capteurs c'est produit. Ce processus

retourne vers la tâche de contrôle des flots de contrôle "changement" ou "pas de changement" et des
contrôles booléennes vers la tâche "Afficher graphique" indiquant les paramètres modifiés.

Cette tâche est décomposable en deux sous-tâches :

 Détecter changement et

 sauver nouveau changement

 détecter changement :

Permet de comparer les anciennes valeurs des capteurs avec les nouvelles valeurs acquises.

Comme résultat, ce processus permet d'envoyer des contrôles a la tâche « afficher graphiques » qui se
charge de mettre a jour l'affichage. Il envoi aussi un flux de contrôle a la tâche de contrôle pour que
cette dernière puisse activer le processus d'affichage.

 sauver nouveau changement:

Permet de mettre à jour les valeurs des anciennes valeurs lus des capteurs (ancien EV+M) et (ancien
niveau).

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 4/5

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Travail demandé

1- Construire le diagramme de contexte du système.

2- En utilisant le cahier des charges, le diagramme préliminaire fourni et la description des processus:

a- Décomposez le processus "Comparer états capteurs"

b- Faire la minispecification de tous les processus terminaux du système en utilisant

l'approche procédurale.

3- Construire le diagramme états/transissions principal (celui du diagramme préliminaire)

4- En utilisant le langage C, donnez le programme principal du système sans développer les tâches.

Bon Courage

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 5/5

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

République Tunisienne Année Universitaire 2015-2016

Ministère de l’Enseignement Supérieur L’Ecole Supérieure des Sciences Appliquées
Et de la Recherche Scientifique et de la Technologie Privée de Gabès

Devoir de surveillance
Nature de l’examen Session principale *
Session de rattrapage
Epreuve : INTRODUCTION AUXSYSTEMES EMBARQUE Durée : 2h
Date : Vendredi 11/01/2016 Documents : autorisés non autorisés
èmme
Niveau et Section : 3 ING GL Barème : (1x6)+(3+5+3+3)
------------------------------------------------------------------------------------------------------------------------

PARTIE I : QCM (6pts) (1x6)

Cochez les bonnes réponses

1. Un système temps réel est :

 a) un système rapide
 b) un gestionnaire de données
 c) un système prévisible
2. Un système est dit temps réel s’il respecte :
 a) Le temps de réponse
 b) L’urgence
 c) La durée du traitement
3. L’urgence traite:
 a) Les évènements aléatoires
 b) Les évènements prioritaires
 c) Les évènements de priorité absolue
4. Le temps de réponse idéal signifie:
 a) le temps minimal à respecter avant le traitement d’urgence
 b) le temps maximal à respecter avant le traitement d’urgence
 c) le temps minimal à respecter après le traitement d’urgence
 d) le temps maximal à respecter après le traitement d’urgence
5. Le temps de réponse valide signifie:
 a) >= temps minimal à respecter avant le traitement d’urgence
 b) <= temps maximal à respecter avant le traitement d’urgence
 c) <= temps minimal à respecter avant le traitement d’urgence
 d) >= temps maximal à respecter avant le traitement d’urgence
6. L'ordonnancement des tâches temps réel doit permettre :
 a) le respect des contraintes temporelles pour le plus grand nombre de tâches
 b) privilégier les tâches les plus critiques
 c) permettre une exécution rapide des tâches

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 1/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

PARTIE II : PROBLEME (14pts)

STATION DE POMPAGE

Cahier des charges:

On se propose de réaliser l'affichage en temps réel sur un écran graphique d'ordinateur (synoptique) de
l'état d'une petite station de pompage destinée à l'arrosage de culture.

La station de pompage possède un château d'eau alimenté par une motopompe et un circuit de
distribution d'eau à 4 secteurs piloté par 4 électrovannes. La Motopompe et les électrovannes sont munis
de capteurs fournissant les signaux logiques C_M, C_EV1, C_EV2, C_EV3, C_EV4 décrivant leurs états (
ON/OFF).

La cuve est munie d'un capteurs de niveau permettant de connaître la quantité d'eau en mètre cubes (0 à 8
mètres cubes en valeurs entières seulement). Les mesures sont effectuées deux fois par secondes.

Motopompe

Electrovannes

Le dispositif étudier produit sur un écran graphique une synoptique selon le modèle suivant:

MOTOPOMPE
ELECTROVANNES

EV1 EV2 EV3 EV4

Une bande bleue pour un mètre cube d'eau (0 à 8 bandes).

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 2/9
 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

L'état de la pompe ou des électrovannes est matérialisé par un rectangle de couleur verte (état OFF) ou
rouge (état ON). L'affichage doit être mis à jour (rafraîchi) seulement lors d'un changement d'état de la
station de pompage. Seules les parties modifiées du système doivent être réaffichées.

Le programme est arrêté par action sur la touche ESCAPE.

Attention !!: Le dispositif étudié est complètement passif par rapport au pompage et a la distribution de
l'eau, il n'assure que la représentation graphique du processus, sans agir sur lui.

Etude du système:
En suivant une démarche de spécification basée sur méthodologie de spécification et des
conceptions SART (WM). On peut décomposer le système suivant le diagramme préliminaire suivant:

synoptique

PARAM_INIT Arret
Afficher
Initialiser graphique
Affichage 1.3
1.4 A/I

D
co ch_ev1
CONTROLER mp ch_ev2
ara
niv Afiichage Etats iso ch_ev3
n
ea 1.0 ch_ev4
u
i

ch
qu

an ch_CM
Ac

ge
C_M pas de me
Fin

nt ch_niv
changement
A/I
Comparer
Acquérir Etats capteurs
C_M Etats capteurs 1.2
C_EV
1 1.1 E_Niveau
2
C_EV
C_EV3 EV+M
V4
C_E

DIAGRAMME PRELIMINAIRE

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 3/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Description des processus:

 Initialiser Affichage:

Permet d'afficher l’écran graphique de départ

 Acquérir Etats capteurs:

Permet l'acquisition des données en provenance des capteurs. Il fourni un événement "fin Acqui"
pour indiquer à la tâche de contrôle qu'une opération d'acquisition est terminée.

 Afficher Graphique:

Permet de modifier seulement la représentation des états des capteurs qui on changés d'états.

 Comparer Etats capteurs:

Permet de détecter si un changement au niveau des capteurs c'est produit. Ce processus retourne
vers la tâche de contrôle des flots de contrôle "changement" ou "pas de changement" et des contrôles
booléennes vers la tâche "Afficher graphique" indiquant les paramètres modifiés.

Cette tâche est décomposable en deux sous-tâches :

 Détecter changement et

 Sauver nouveau changement

 Détecter changement :

Permet de comparer les anciennes valeurs des capteurs avec les nouvelles valeurs acquises.

Comme résultat, ce processus permet d'envoyer des contrôles a la tâche « afficher graphiques » qui se
charge de mettre a jour l'affichage. Il envoi aussi un flux de contrôle a la tâche de contrôle pour que cette
dernière puisse activer le processus d'affichage.

 Sauver nouveau changement:

Permet de mettre à jour les valeurs des anciennes valeurs lus des capteurs (ancien EV+M) et (ancien
niveau).

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 4/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Travail demandé (Corrigé)

1- Construire le diagramme de contexte du système.

2- En utilisant le cahier des charges, le diagramme préliminaire fourni et la description des processus:

a- Décomposez le processus "Comparer états capteurs"

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 5/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

b- Faire la mini-spécification de tous les processus terminaux du système en utilisant l'approche

procédurale.

 Initialiser Affichage:

Debut
Afficher écran Graphique de démarrage comme indique la figure suivante
Fin

MOTOPOMPE
ELECTROVANNES

EV1 EV2 EV3 EV4

 Acquérir Etats capteurs:

Permet l'acquisition des données en provenance des capteurs. Il fourni un événement "fin
Acqui" pour indiquer à la tâche de contrôle qu'une opération d'acquisition est terminée.
Debut
Tantque VRAI
faire
niveaulire(niveau)
Mlire(C_M)
EV1lire(C_EV1)
EV2lire(C_EV2)
EV3lire(C_EV3)
EV4lire(C_EV4)
Fin_Acqui  1
Fin_tanque
fin

 Afficher Graphique:
Permet de modifier seulement la représentation des états des capteurs qui on changés
d'états.
Debut
Si ch_ev1=1 alor debut changer_etat(EV1) ; ch_ev10 ; fin
Si ch_ev2=1 alor debut changer_etat(EV2) ; ch_ev20 ; fin
Si ch_ev3=1 alor debut changer_etat(EV3) ; ch_ev30 ; fin
Si ch_ev4=1 alor debut changer_etat(EV4) ; ch_ev40 ; fin
Si ch_cm=1 alor debut changer_etat(cm) ; ch_cm0 ; fin
Si ch_niv=1 alor debut changer_etat(niv) ; ch_niv0 ; fin
Fin

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 6/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

 Détecter changement :
Permet de comparer les anciennes valeurs des capteurs avec les nouvelles valeurs acquises.

Comme résultat, ce processus permet d'envoyer des contrôles a la tâche « afficher graphiques » qui se
charge de mettre a jour l'affichage. Il envoi aussi un flux de contrôle a la tâche de contrôle pour que cette
dernière puisse activer le processus d'affichage.

Debut
si (E_Niveau ≠ Ancien_Niveau ) ou (EV+M≠ Ancien_EV+M ) alors
debut
changement=1
pas_de changement=0
fin
sinon
debut
changement=0
pas_de changement=1
fin
fin

 Sauver nouveau changement:

Permet de mettre à jour les valeurs des anciennes valeurs lus des capteurs (ancien EV+M) et (ancien
niveau).

Debut
si (E_Niveau ≠ Ancien_Niveau ) alors
debut
Ancien_Niveau  E_Niveau
fin
si (EV+M≠ Ancien_EV+M ) alors
debut
Ancien_EV+M  EV+M
fin
fin

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 7/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

3- Construire le diagramme états/transissions principal (celui du diagramme préliminaire)

4- En utilisant le langage C, donnez le programme principal du système sans développer les tâches.

NB : ce programme est simplifier au maximum, il présente l’allure générale du système et dissimule les
détails pratiques ainsi que l’implantation des activités évènementielles (interruptions)

#define REPOS 1
#define INITIALISATION 2
#define ACQUISITION 3
#define COMPARAISON 4
#define AFFICHAGE 5

Int Fin_acqui=0, changement=0,pas_de_chagement=1,comparaison=0 ;

Int Etat=REPOS ;
Int marche_arret=0 ;
Void Acquerir_etat_capteurs(void) ;
Void initialiser_affichage(void) ;
Void Afficher_graphique(void);
Void Controler_etat_capteur(void) ;

EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 8/9

 Systèmes temps réel embarqués 3èreING GL AU: 2015/2016

Void Détecter_changement(void) ;
Void Sauver_nouveau_changement(void) ;

main()
{
switch(Etat)
{
Case REPOS : if (marche_arret==1)
{ initialiser_affichage() ;
Etat= INITIALISATION ;
} break ;
Case INITIALISATION : Acquerir_etat_capteurs() ;
Etat = ACQUISITION ;
Break ;
Case ACQUISITION : if(fin_acqui==1)
{comparaison=0 ;
Controler_etat_capteur() ;
Etat= COMPARAISON ;
fin_acqui=0
} break ;
Case COMPARAISON : if(chagement==1)
{Comparaison=0 ;
Chagement=0 ;
Afficher_graphique();
Etat= AFFICHAGE ;
}
else
if(pas_de_chagement==1)
{ comparaison=0 ;
pas_de_chagement=0 ;
Acquerir_etat_capteurs() ;
Etat = ACQUISITION ;
}
break ;
case AFFICHAGE : if (marche_arret==1)
{
Acquerir_etat_capteurs() ;
Etat = ACQUISITION ;
}
else
if (marche_arret==0)
{
Etat = REPOS ;
}
Break;
}
}

Bon Courage
EXAMEN SYSTEMES TEMPS REEL EMBARQUES Page 9/9