VIP Elevator A VDM++ Project Made By: Sune Wolff.

Slides:

Advertisements

Similar presentations

Operating Systems Semaphores II

Advertisements

Intern Management System Teacher Educators. Modules Record of Teacher Internship Year (RTIY) –View & Sign-off on reports.

PROPOSED SECURITY MEASURES David Gourley Elementary.

Rest Rooms Concessions Rest Rooms Concessions CAUTION TAPE Block sidewalk for safety of bands and spectators. BACK GATE Band Entrance Coordinate and Check.

IS424 - Assignment#1 DFD + Use-Cases Kingdom of Saudi Arabia

The new DHR Learning Management System A new way to register for classes… Click the mouse or press the enter key to advanced to each new slide. To return.

Wheelchair Lift Training

Using the Agile Fleet Commander Kiosk Located in the Humphreys Service Building staff break Area across from room 118 Please call Facilities Customer Service.

Have the meeting call out to you to connect – type phone number to dial in the box Displays instructions for dialing into the call on the screen Voice.

In this presentation you will:

Accessing the Halls During Controlled or Restricted Access Personnel – Sign General Access RWP & have trainings up to date (ODH & Radworker I). – Have.

BASIC TUTORIAL ON AUTODESK REVIT Created By MHS Architecture Portfolio.

SPS Secondary Beam Experimental Areas Access System 7 September 2012.

Introduction  Have things gone missing? Have you had your locker jammed? Have you been late to class? Have you forgotten your combination?  Well, we.

Unit 2.01 FIRE SAFETY THE NEEDS OF A FIRE CLASSES OF FIRE EXTINGUISHERS.

Techniques for Object Discovery from Real Time UML, B.P. Douglass.

CPS110: Implementing threads/locks on a uni-processor Landon Cox.

7M822 UML Sequence Diagrams 5 October 2009.

Introducing you to the Learning Centre and Castle Precincts Here are some pictures of our Team and the rooms in the Learning Centre and some information.

18/ VIP Elevator – second model A VDM++ Project Made By: Sune Wolff.

11/ VIP Elevator – first model A VDM++ Project Made By: Sune Wolff.

Work, Power & Simple Machines

GIF++ ACCESS SYSTEM Dorothea Pfeiffer GIF++ Project Meeting Thanks to: V. Martins De Sousa Dos Rios, D. Vaxelaire, D. Haasler.

2.3 Examples: Ski resort information system

Nativism in the 1800s and 1900s.

Nachos Phase 1 Code -Hints and Comments

Stacks and Queues Introduction to Computing Science and Programming I.

Elevator Control System

CHAPTER 4, SECTION 2 Access and Key Control. Access Control Equipment  Hall mirrors  Closed-circuit televisions  Parking lot gates  Exit doors and.

Downloading Lumi Show on Android Devices Through our technology, people gain insight, instantly.

Infant Security 10 th floor & Security Staff Security Measures Locked Units Electronic Security System Photo ID Badges Infant Security Task Force Patient.

MDS ACCESS CONTROL PROGRAMMING 2 nd International Tech Seminar June 2003.

Senior Design Project Created by: Mark Eife.  Busy parking garages often get close to or reach their maximum capacity  This in turn leads to traffic.

This game is with EmanE Games G3 Games G3 Games EmanE Games G3 EmanE Games G2 Press F5 to play the game.

CHECK Change the text speech into English in the box below and then press the yellow button to check c u.

State Table Problem #1 An electronic lock is controlled by a keypad, which has three buttons labeled A, B, and R. The keypad is restricted such that, at.

Teacher’s Partner Reporting on Student Performance.

WHY DO YOU WORK HERE?. PATIENT ROOM ENTRY Improving Patient Satisfaction Through Our Compassionate Service.

Downloading Lumi Show on iPhones Through our technology, people gain insight, instantly.

Automated Mechanisms Help. Potentiometers Potentiometer Check –Analog Port 2 How they work –Analog sensor –Measures rotation of a shaft between 0 and.

Elevator Example.

Sequence diagrams Practice 7. Task 1  The “Author” sends his paper to the “Editor” by the message “manuscript” and waits the confirmation.

DON’T PANIC Mesa County Public Library District Evacuation Procedures These are general instructions and procedures. Every situation is different. Use.

Fermilab AD E/E Support Department Fermilab’s Experience in Applying OSHA and NFPA 70E Requirements in Accelerator Power Supply Systems NFPA 70E Standard.

Readers-Writers Problem Akos Ledeczi EECE 354, Fall 2012 Vanderbilt University.

After install, please login from English server..

Condo by the Beach Pirates Cove 3501 South Atlantic Ave #608 Daytona Beach Shores

Elevator Fire Service Mode Basic Operations Prepared by: Lt. Rob Fisher – L72C.

Elevator Control System Pontificia Universidad Javeriana Javier Mena 2008.

Elevator Example. Problem GSU schedules to upgrade all the campus elevators in 6 months. Due to incompatibility with the new hardware, the current software.

Louisiana State University Radiation Safety Office

Using the Agile Fleet Commander Kiosk Located in the Humphreys Service Building staff break area across from room 118 Please call Fleet Operations at

Welcome to Health Class

Interior Design Floor Plans And Elevations.

Metamaxim As given in the question.

Lesson 2 Level I Looking for Signs

Outline 1. Exercise on use case diagram

OFF SITE RENEWAL REGISTRATIONS!

Fix AOL error code AC-3100 in AOL Mail Account Contact No:

תכן UML in Design מקורות: S. R. Schach: Chapter 12

STEM Insight: CPD Impact Toolkit

Exams TFW You find out the exam is closed book

Approvers - Requisition

Objectives Construct truth tables for the following logic gates:

2. ATP INITIALIZATION PLACE ATP SWITCH TO “1” OR “NORMAL” POSITION A

Key Punch Your team has to unlock the vault that contains the secret and deadly poison AGENT X. In order to open the vault you must enter the the code.

“The Little Book on Semaphores” Allen B. Downey

Presentation transcript:

VIP Elevator A VDM++ Project Made By: Sune Wolff

The Elevator System VIP and neighbours share elevator. Elevator moves between 5 floors. Call buttons used to call elevator. VIP has door sensor installed Turnstiles can be used to restrict access to the neighbours. VIP do not like to share the elevator. VIP do not like to wait to long.

Requirements R1: The elevator must be able to move between the 5 floors. R2: When the elevator is ordered to a floor by pressing a call button, this order must be put in a queue. R3: The queue must contain up to 2 orders. R4: If an order is placed, and there is no room in the queue, the order must be disregarded. R5: When the VIP passes through his door, the activation of the sensor must order the elevator to his current floor. R6: When the VIP wishes to use the elevator, the turnstiles must be locked, preventing the neighbours from entering the elevator. R7: All neighbours must exit the elevator before the VIP enters. R8: When the VIP wishes to use the elevator, the neighbours orders must be processed as fast as possible.

Classes Elevator – overall class representing the entire system. Queue – containing the FIFO queue functionality. Turnstile – a controller class for the turnstiles. CallButton – class for the call buttons. DoorSensor – class for the VIP door sensor.

Operations MoveElevator – central operation used to move the elevator between floors. PutInQueue – puts an ordered floor in the FIFO queue if it is not full. GetFromQueue – returns the next floor in the FIFO queue. IsTurnstileLocked – checks is the turnstiles are locked. LockTurnstile – locks all the turnstiles. UnlockTurnstile – unlocks all the turnstiles.

Class Diagram

Questions? Comments? Suggestions?