Upload
stephanie-jacquot
View
107
Download
0
Embed Size (px)
Citation preview
Luc LAVOIEDépartement d’informatiqueFaculté des sciences
[email protected]://info.usherbrooke.ca/llavoie
2014-03-16
ASCENSEURSHAUTS-LES-COEURS
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
2
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
La vision L’approche structurée L’approche par le problème
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Le contexte La problématique Le but
Le diagramme Les besoins Les conraintes
2014-03-16
3
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
LA VISION
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Le système de conduite d'ascenseurs Hauts-les-cœurs (HLC) est un élément important de la stratégie de conversion technologique de la société des ascenseurs Hauts-les-cœurs (SAHLCœur).
La société fondée à Maisonneuve en 1871 par les frères Dufresne est reconnue pour la qualité et la longévité de ses produits, mais souffre d’une image vieillotte en partie par son attachement aux méthodes de conduite électromécaniques.
La direction a donc décidé de franchir le pas et de développer un premier système de conduite numérique à être intégré dans sa nouvelle gamme de produits.
Il est crucial que le niveau de qualité et de fiabilité de ce système surpasse celui des anciens systèmes.
Pour faciliter l’atteinte de cet objectif, le système est initialement limité à l’exploitation d’au plus quatre ascenseurs dans des édifices comportant au plus 20 paliers.
2014-03-16
4
LE CONTEXTEH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Un édifice peut accueillir plusieurs ascenseurs regroupés dans un même puits, mais dotés chacun de leur propre système de déplacement (moteur et transmission).
Un usager place une demande de service depuis un palier en appuyant sur un bouton d’appel.
Lorsqu’un ascenseur se déplaçant dans la bonne direction se présente, il monte à bord et appuie sur un bouton de destination situé à l’intérieur de l’ascenseur.
Des afficheurs indiquent le sens du déplacement et la position courante de chaque ascenseur sur chaque palier
À l’intérieur de chaque ascenseur, un afficheur indique la position courante de l’ascenseur.
L’ascenseur dessert les demandes de service en répétant le comportement suivant : fermeture des portes, déplacement vers un palier en attente de service, arrêt au niveau du palier, ouverture des portes.
À ce comportement simple, la société a su adjoindre une opération particulièrement silencieuse et une fluidité du mouvement qui sont sa marque de commerce.
Le nouveau système doit maintenir ces qualités.
2014-03-16
5
LA PROBLÉMATIQUE
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
SAHLCœur désire réduire les couts de fabrication et d’entretien du système de conduite tout en maintenant, voire en surpassant, la qualité des systèmes existants.
La fluidité des mouvements qui font la renommée de ses équipements doit être maintenue.
SAHLCœur cherche à rajeunir son image, en conséquence la signalisation du système devra être attrayante, moderne tout en demeurant conforme aux standards ISO 7000, 7001 et 7010.
2014-03-16
6
LE BUTH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
7
LE DIAGRAMMEH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
BE.01.ServiceLes demandes de service doivent être servies et acquittées avec diligence.BE.02.UtilisationLes ascenseurs doivent être uniformément utilisés.BE.03.AttenteLe temps d’attente des usagers doit être minimisé.BE.04.DéplacementLe temps de déplacement des usagers doit être minimisé.BE.05.ConfigurationUne interface de configuration destinée à l’installateur doit être intégrée au système.BE.06.PriorisationUn mode de fonctionnement doit permettre de prioriser la desserte du rez-de-chaussée. Ce mode de fonctionnement doit pouvoir être mis en fonction à volonté durant certaines plages horaires.BE.07.CommandesOutre les boutons de destination, le panneau de commande à l’intérieur d’un ascenseur comporte trois boutons : arrêt d’urgence, ouverture des portes et fermeture des portes. Les fonctions associées doivent être sécuritairement mises en oeuvre.
2014-03-16
8
LES BESOINSH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
CO.01.ExécutionLe système doit être exécutable par un automate programmable ABRACABRA SLC-501.CO.02.DéveloppementLe système doit pouvoir être développé en moins de 6 mois par l’équipe de développement interne de la société (équipe composée d’un informaticien et d’un automaticien).CO.03.PaliersLe système doit pouvoir desservir des édifices d’au moins 20 paliers, le nombre effectif étant configurarable à l’installation du système.CO.04.PuitsLe système doit pouvoir desservir des puits d’au moins quatre ascenseurs, le nombre effectif étant configurarable à l’installation du système.CO.05.ÉvolutionLa SAHLCœur étudie présentement la possibilité de développer de nouvel équipement qui lui permettrait d’approvisionner les édifices de 40 étages pouvant requérir jusqu’à 12 ascenseurs. Le cas échéant, le système HLC devra alors être modifiable en moins de trois mois pour satisfaire à de telles configurations
2014-03-16
9
LES CONTRAINTESH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Problème DFD1 DFD2 – Déplacement DFD2 – Configuration Solution
DFD1 DFD2 – Déplacement DFD2 – Configuration
2014-03-16
10
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
L’APPROCHE STRUCTURÉE
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
11
PROBLÈMEDFD1
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
12
PROBLÈMEDFD2 - DÉPLACEMENT
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
13
PROBLÈMEDFD2 - CONFIGURATION
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16H
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
14
DISTRIBUTION DES FONCTIONS
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
15
SOLUTIONDFD1
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
16
SOLUTIONDFD2 - DÉPLACEMENT
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
17
SOLUTIONDFD2 - CONFIGURATION
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
La structure La structure bis Le problème initial Les sous-problèmes Déplacement Affichage Configuration Et l’aiguillage ?
2014-03-16
18
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
L’APPROCHE PAR PROBLÈME
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
19
LA STRCUTUREH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
20
LA STRUCTURE (BIS)
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
BA : Boutons d’appel. BD : Boutons de destination. UT : Usager ou technicien (d’installation et de configuration). PA : Pilote des afficheurs. PP : Pilote des portes. CP : Capteurs de position. EX : Exigences. A : Commandes émises par UT (et ses sous-domaines). B : Commandes émises par SCA et signaux émis par l’ascenseur
(et ses sous-domaines). C : Signaux émis par l’ascenseur (et ses sous-domaines). D : Prédicats sur l’état de l’ascenseur.
2014-03-16
21
LE PROBLÈME GÉNÉRAL
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
22
LE DÉPLACEMENTH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
23
L’AFFICHAGEH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Exercice!2014-03-16
24
LA CONFIGURATION
HLC_PR
E : Ascenseurs H
auts-les-coeurs (v100a) — Luc Lavoie, U
niversité de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
2014-03-16
25
LA SYNTHÈSEH
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke
Départem
ent d’informatique, Faculté des sciences, U
niversité de Sherbrooke, Québec
Exercice!2014-03-16
26
ET L’AIGUILLAGE ?H
LC_PRE : A
scenseurs Hauts-les-coeurs (v100a) —
Luc Lavoie, Université de Sherbrooke