Luc L AVOIE Département dinformatique Faculté des sciences 2014-03-16 A SCENSEURS H AUTS -

Présentation au sujet: "Luc L AVOIE Département dinformatique Faculté des sciences 2014-03-16 A SCENSEURS H AUTS -"— Transcription de la présentation:

1 Luc L AVOIE Département dinformatique Faculté des sciences Luc.Lavoie@USherbrooke.ca http://info.usherbrooke.ca/llavoie 2014-03-16 A SCENSEURS H AUTS - LES - COEURS

2 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 2 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke La vision Lapproche structurée Lapproche par le problème

3 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec Le contexte La problématique Le but Le diagramme Les besoins Les conraintes 2014-03-16 3 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke L A VISION

4 Département dinformatique, Faculté des sciences, Université 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 dune 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 latteinte de cet objectif, le système est initialement limité à lexploitation dau plus quatre ascenseurs dans des édifices comportant au plus 20 paliers. 2014-03-16 4 L E CONTEXTE HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

5 Département dinformatique, Faculté des sciences, Université 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 dappel. Lorsquun ascenseur se déplaçant dans la bonne direction se présente, il monte à bord et appuie sur un bouton de destination situé à lintérieur de lascenseur. Des afficheurs indiquent le sens du déplacement et la position courante de chaque ascenseur sur chaque palier À lintérieur de chaque ascenseur, un afficheur indique la position courante de lascenseur. Lascenseur 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 L A PROBLÉMATIQUE HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

6 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec SAHLCœur désire réduire les couts de fabrication et dentretien 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 L E BUT HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

7 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 7 L E DIAGRAMME HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

8 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec BE.01.Service Les demandes de service doivent être servies et acquittées avec diligence. BE.02.Utilisation Les ascenseurs doivent être uniformément utilisés. BE.03.Attente Le temps dattente des usagers doit être minimisé. BE.04.Déplacement Le temps de déplacement des usagers doit être minimisé. BE.05.Configuration Une interface de configuration destinée à linstallateur doit être intégrée au système. BE.06.Priorisation Un 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.Commandes Outre les boutons de destination, le panneau de commande à lintérieur dun ascenseur comporte trois boutons : arrêt durgence, ouverture des portes et fermeture des portes. Les fonctions associées doivent être sécuritairement mises en oeuvre. 2014-03-16 8 L ES BESOINS HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

9 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec CO.01.Exécution Le système doit être exécutable par un automate programmable ABRACABRA SLC-501. CO.02.Développement Le 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 dun informaticien et dun automaticien). CO.03.Paliers Le système doit pouvoir desservir des édifices dau moins 20 paliers, le nombre effectif étant configurarable à linstallation du système. CO.04.Puits Le système doit pouvoir desservir des puits dau moins quatre ascenseurs, le nombre effectif étant configurarable à linstallation du système. CO.05.Évolution La SAHLCœur étudie présentement la possibilité de développer de nouvel équipement qui lui permettrait dapprovisionner 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 L ES CONTRAINTES HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

10 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec Problème DFD1 DFD2 – Déplacement DFD2 – Configuration Solution DFD1 DFD2 – Déplacement DFD2 – Configuration 2014-03-16 10 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke L APPROCHE STRUCTURÉE

11 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 11 P ROBLÈME DFD1 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

12 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 12 P ROBLÈME DFD2 - D ÉPLACEMENT HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

13 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 13 P ROBLÈME DFD2 - C ONFIGURATION HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

14 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke 14 D ISTRIBUTION DES FONCTIONS

15 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 15 S OLUTION DFD1 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

16 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 16 S OLUTION DFD2 - D ÉPLACEMENT HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

17 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 17 S OLUTION DFD2 - C ONFIGURATION HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

18 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec La structure La structure bis Le problème initial Les sous-problèmes Déplacement Affichage Configuration Et laiguillage ? 2014-03-16 18 HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke L APPROCHE PAR PROBLÈME

19 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 19 L A STRCUTURE HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

20 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 20 L A STRUCTURE ( BIS ) HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

21 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec BA : Boutons dappel. BD : Boutons de destination. UT : Usager ou technicien (dinstallation 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 lascenseur (et ses sous-domaines). C : Signaux émis par lascenseur (et ses sous-domaines). D : Prédicats sur létat de lascenseur. 2014-03-16 21 L E PROBLÈME GÉNÉRAL HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

22 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 22 L E DÉPLACEMENT HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

23 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 23 L AFFICHAGE HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

24 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec Exercice! 2014-03-16 24 L A CONFIGURATION HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

25 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec 2014-03-16 25 L A SYNTHÈSE HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke

26 Département dinformatique, Faculté des sciences, Université de Sherbrooke, Québec Exercice! 2014-03-16 26 E T L AIGUILLAGE ? HLC_PRE : Ascenseurs Hauts-les-coeurs (v100a) Luc Lavoie, Université de Sherbrooke