SYSTEM CONTEXT DIAGRAM FOR AUTOMATIC CAR PARK SYSTEM

VEHICLE Exit Arrival Entry Control Carpark (System)

Paid-Ticket Ticket

Data Flow Request Issued-Ticket

Payment

DRIVER Control Flow

DATA FLOW DIAGRAM FOR ISSUE TICKET

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

Ticket

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

Exit

Ticket-Number + Time + Date

Request
TICKET-INFORMATION

Ticket-Number + Status

Ticket-Number + Payment

Ticket-Number + Time + Date

Bill & Collect Payment Issued-Ticket Paid-Ticket Payment

STATE TRANSITION DIAGRAM FOR ISSUE TICKET

Arrival Ticket Ticket Dispenser Entry Vehicle Sensor Vehicle-Arrived Ticket-Data Time, Date Entry Sensor Vehicle-Entered Issue Ticket Ticket-Number + Time + Date Entry Boom BoomPosition Clock

Paid-Ticket

Ticket Reader Ticket-Number + Exit-Time Time, Date Ticket-Number + Time + Date Collect Ticket

Exit Entry Sensor

VehicleExited Boom-Position

Push Button

TicketRequest

TICKET-INFORMATION

Ticket-Number + Status

Request Time, Date Ticket-Number + Entry-Time Ticket Reader

Ticket-Number + Payment

Exit Boom Ticket-Number + Time + Date Ticket-Number + Exit-Time Denomination Coin/Note Acceptor Payment Ticket Dispenser

Clock

Bill & Collect Payment

Paid-Ticket

Payment-Amount Issued-Ticket Display Screen

Arrival Ticket Ticket Dispenser Entry Vehicle Sensor Vehicle-Arrived Ticket-Data Time, Date Entry Sensor Vehicle-Entered Issue Ticket Ticket-Number + Time + Date Entry Boom BoomPosition Clock

Paid-Ticket

Ticket Reader Ticket-Number + Exit-Time Time, Date Ticket-Number + Time + Date Ticket-Number + Status Collect Ticket

Exit Exit Sensor

VehicleExited Boom-Position

Push Button

TicketRequest

TICKET-INFORMATION

Request Time, Date Ticket-Number + Entry-Time Ticket Reader

Ticket-Number + Payment

Exit Boom Ticket-Number + Time + Date Ticket-Number + Exit-Time Denomination Coin/Note Acceptor Payment Ticket Dispenser

SOFTWARE CONTEXT

Clock

Bill & Collect Payment

Paid-Ticket

Payment-Amount Issued-Ticket Display Screen

DATA FLOW DIAGRAM FOR ISSUE TICKET

CARPARK CAPACITY

Ticket-Accepted

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

CarPark-Full Vehicle-Entered STD Ticket-Data

Layout-Data Activate Display Screen

SCREEN FORMAT

CARPARK OCCUPANCY

Prepare Ticket Data Time, Date

LAST TICKET NUMBER

STATE TRANSITION DIAGRAM FOR ISSUE TICKET

: Boom-Position = DOWN

Waiting For Vehicle

Vehicle-Arrived: Activate "Display Screen" CarPark-Full ~CarPark-Full

Waiting For Request

Waiting For Space

Ticket-Request: Activate "Prepare Ticket Data" Vehicle-Entered: Activate "Increase Occupancy", Boom-Position = DOWN

Waiting For Ticket 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

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;

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.

Display Screen

Hazop Item

Interconnection

Attribute

Guide Word

Cause

Consequence

Safeguard

Action