Elevator System Model in SDL

1
Elevator System Model in SDL

• Sivaharan Thurairasa
• 100280505
• November 2, 2003
• Professor G Bochmann

2
Problem domain

• Identified is a real-time problem, Elevator
  System (ES), which is used to control elevators
  in buildings with x number of floors.
• Controls
• Elevator buttons One button for each floor
• Floor buttons Two buttons for each floor, except
  first and last floors
• Operator Start/shutdown ES
• Elevator remains in the same floor if no button
  is pressed

3
Why SDL?

• Specification Description Language
• Expresses formal definition of functional
  behavior in a clear manner
• Requirement specification ? Functional
  requirements ? Functional design ?Implementation
  design ? Concrete system
• Followed examples Access Control System Demon
  Game

4
Overview diagram
Building CTRL
Buttons
floorReached
Elevator System CTRL
PEOPLE
downButton floorNumber
upButton floorNumber
startES shutDownES
OPERATOR
Elevator CTRL
elevatorButton floorNumber
Buttons
currFloor destFloor Dir
floorReached
moveUp floorNumber
PEOPLE
moveDown floorNumber
5
Work completed

• Design of ES
• UML implementation (not part of this project)
• SDL implementation
• ElevatorSystem.sys
• BuildingCTRLBlock.sbk
• BProcessor.spr
• ESCTRLBlock.sbk
• Main.spr
• ESProcessor.spr
• ElevatorCTRLBlock.sbk
• EProcessor.spr

6
ElevatorSystem.ssy
7
BuildingCTRLBlock.sbk
8
BProcessor.spr
9
ESCTRLBlock.sbk
10
Main.spr
11
ESProcessor.spr
12
(No Transcript)
13
EProcessor.spr
14
Work to be done

• Debugging the ES
• Generating .exe file
• Execution and analysis
• Final report for submission