Luc L AVOIE Département dinformatique Faculté des sciences [email protected] 2014-03-16 A...

26
Luc LAVOIE Département d’informatique Faculté des sciences [email protected] http://info.usherbrooke.ca/ llavoie 2014-03- 16 ASCENSEURS HAUTS-LES-COEURS

Transcript of Luc L AVOIE Département dinformatique Faculté des sciences [email protected] 2014-03-16 A...

Page 1: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

Luc LAVOIEDépartement d’informatiqueFaculté des sciences

[email protected]://info.usherbrooke.ca/llavoie

2014-03-16

ASCENSEURSHAUTS-LES-COEURS

Page 2: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 3: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 4: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 5: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 6: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 7: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 8: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 9: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 10: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 11: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 12: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 13: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 14: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 15: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 16: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 17: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 18: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 19: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 20: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 21: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 22: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 23: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 24: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 25: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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

Page 26: Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca  2014-03-16 A SCENSEURS H AUTS -

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