SYSTEM CONTEXT DIAGRAM FOR AUTOMATIC CAR PARK SYSTEM

VEHICLE
Exit

Arrival

Entry

Control
Carpark
(System) Paid-Ticket

Ticket

Data Flow Payment

Request
Issued-Ticket

DRIVER

Control Flow

DATA FLOW DIAGRAM FOR ISSUE TICKET

 SYSTEM DATA FLOW DIAGRAM (DFD0) FOR AUTOMATIC CAR PARK SYSTEM

Ticket Paid-Ticket Exit

Arrival

Issue Collect
Ticket Ticket
Ticket-Number
Ticket-Number + Time + Date
+ Time + Date

Request Ticket-Number
TICKET-INFORMATION + Status

Ticket-Number
+ Payment
Ticket-Number
+ Time + Date

Bill &
Collect
Payment
Issued-Ticket

Paid-Ticket

Payment

STATE TRANSITION DIAGRAM FOR ISSUE TICKET

 Arrival Paid-Ticket
Ticket
Vehicle
Entry Boom Ticket Reader
Sensor Exit
Ticket Dispenser
Boom-
Position Entry
Ticket-Number + Exit-Time
Entry Vehicle-Arrived Sensor
Ticket-Data Clock Time, Date
Time, Date
Entry Collect Vehicle-
Sensor Issue Ticket-Number Ticket
Ticket-Number Exited
Ticket + Time + Date
+ Time + Date
Vehicle-Entered
Boom-Position
Ticket-Number
+ Status
Ticket- TICKET-INFORMATION
Push Button
Request
Exit Boom
Ticket-Number
Request + Payment
Ticket-Number
+ Time + Date
Clock Time, Date
Ticket-Number
Bill & Ticket Dispenser
+ Exit-Time
Ticket-Number Collect
+ Entry-Time Payment
Denomination
Paid-Ticket
Ticket Reader
Coin/Note
Payment-Amount Acceptor
Issued-Ticket
Display
Payment
Screen
 Arrival Paid-Ticket
Ticket
Vehicle
Entry Boom Ticket Reader
Sensor Exit
Ticket Dispenser
Boom-
Position Exit
Ticket-Number + Exit-Time
Entry Vehicle-Arrived Sensor
Ticket-Data Clock Time, Date
Time, Date
Entry Collect Vehicle-
Sensor Issue Ticket-Number Ticket
Ticket-Number Exited
Ticket + Time + Date
+ Time + Date
Vehicle-Entered
Boom-Position
Ticket-Number
TICKET-INFORMATION + Status
Ticket-
Push Button
Request
Exit Boom
Ticket-Number
Request + Payment
Ticket-Number
+ Time + Date SOFTWARE CONTEXT
Clock Time, Date
Ticket-Number
Bill & Ticket Dispenser
+ Exit-Time
Ticket-Number Collect
+ Entry-Time Payment
Denomination
Paid-Ticket
Ticket Reader
Coin/Note
Payment-Amount Acceptor
Issued-Ticket
Display
Payment
Screen
 DATA FLOW DIAGRAM FOR ISSUE TICKET

CARPARK CAPACITY

Ticket-Accepted

Boom-Position
Vehicle-Present
Increase
Ticket-Request CarPark-Full Occupancy

CarPark-Full
Vehicle-Entered STD Ticket-Data

Layout-Data CARPARK OCCUPANCY Prepare

Ticket
Activate Data
Display
Screen Time, Date

SCREEN FORMAT

LAST TICKET NUMBER

 STATE TRANSITION DIAGRAM FOR ISSUE TICKET

: Boom-Position = DOWN

Waiting For Vehicle

Vehicle-Arrived: Activate "Display Screen"

CarPark-Full
Waiting For Request Waiting For Space
~CarPark-Full

Ticket-Request: Activate "Prepare Ticket Data"

Vehicle-Entered:
Activate "Increase Occupancy", Waiting For Ticket
Boom-Position = DOWN Acceptance

Ticket-Acceptance: Boom-Position = UP

Waiting For Vehicle Entry

INCREASE OCCUPANCY
Input: CARPARK CAPACITY, CARPARK OCCUPANCY
Output: CARPARK OCCUPANCY, CarPark-Full
Process:
Read CARPARK CAPACITY & CARPARK OCCUPANCY;
If CARPARK OCCUPANCY < CARPARK CAPACITY then
increment CARPARK OCCUPANCY by 1 (one);
Set CarPark-Full = False
PREPARE TICKET DATA
Input: LAST TICKET NUMBER, Time, Date
Output: LAST TICKET NUMBER, Ticket-Data
Process:
Read LAST TICKET NUMBER;
Ticket-Number = LAST TICKET NUMBER + 1;
LAST TICKET NUMBER = Ticket-Number;
Ticket-Data = Ticket-Number + Date + Time;
An error condition arises when Ticket-Number >= 20,000,000.
DATA DICTIONARY
Control Flows:
Vehicle-Entered = [True | False];
Vehicle-Arrived = [True | False];
Vehicle-Exited = [True | False];
Ticket-Request = [True | False];
Ticket-Accepted = [True | False];
Boom-Position = [UP | DOWN];
Data Flows:
Time = Hours + Minutes;
Date = DD+MM+YYYY;
Entry-Time = Time of Ticket Issue;
Exit-Time = Time of Ticket Payment + 10 minutes
Ticket-Number = Integer between 1 & 20M;
Status = ["Extra-Payment" | "Payment-Waived"]
Denomination = [10 | 20 | 50 | 100 | 500 | 1000];
Payment-Amount = A dollar and cent amount;
Payment = Payment-Amount;
 Display
Screen

Hazop Interconnection Attribute Guide Cause Consequence Safeguard Action

Item Word