SRE Lab Task 3
SRE Lab Task 3
Submitted to
Dr. Naseer Jan
Submitted by
M Ehtisham Amjad (231996)
BSSE-IV-B
Question:
Alameen is a railway system that wants to install ticket vending machines (TVMs) on all rail stations in
Pakistan. The TVMs will allow the passenger to buy a ticket/pass using cash, coins, debit cards or credit
cards. The interface of the TVMs should make it very easy for the passengers to buy their tickets.
Besides the ticket/pass, the system should also support the card for traveling purposes. The card can be
charged, recharged, etc.
This system should be designed in such a way that the passenger first selects the ticket type, and
transaction mode and then gets a pass/ticket. Passengers can be adults, senior/disabled citizens, children
(5-14 years old), high school or college students. Ticket type can be either a two-hour pass, midday pass,
or AM pass (Monday through Friday from 09:30 am to 02:30 pm), a PM pass (noon through the end of
service on the date purchased), a day pass, a 7-day pass, or a 31-day pass. There will be no ticket fare for
senior or disabled citizens. The only thing they have to show during traveling is a valid ID and ticket.
The ticket fare for children (5-14 years old), and high school or college students will be reduced and
they will have to show a valid Id along with the ticket (reduced fare) to the ticket-checking authority.
The system should restrict unauthorized users from using the system. The system should be fast enough
that it should accept the input from the user in less than 1 second. The system should be fast enough to
print the ticket to the user within 3 to 5 seconds when user inserts all required information. The system
should be available 24 hours a day and 7 days a week. The system will also be used by the operator to
know the cash and coins inside the machine and withdraw or deposit cash when required. The system is
designed in such a way as to allow the admin to generate reports. The reports include how many tickets
are sold, the number of transactions, cash or coins collected, change fares, and cash or coins dispensed.
To understand the operation of Ticket Vending Machines (TVMs) and how to purchase a ticket through
TVMs, please watch the following short tutorials as listed below:
[1] Daily News Pakistan, “How to use ZU card for Peshawar BRT?|[available Online]
https://www.youtube.com/watch?v=9BEglyg538o [Accessed 11/3/2025].
[3] CMTA, Capital Mass Transit Authority, [available online] https://cmta.com.pk/ [Accessed
11/3/2025]
[2] Dart Dallas, “How to use a DART TVM” [available Online] https://www.dart.org/fare/general-fares-
and-overview/fares/ticket-vending-machine [Accessed 11/3/2025].
a. What are the functional and non-functional requirements in above-mentioned case study?
b. Draw the use case diagram for above-mentioned scenarios
c. List down the nouns, noun phrases, and verbs
d. Draw UML domain model
Reply:
Software Requirements Specification (SRS) for Alameen Railway Ticket Vending
System
1. Introduction
The Alameen Railway Ticket Vending System (TVS) is a self-service ticketing solution for railway
stations across Pakistan. It enables passengers to purchase tickets, manage travel cards, and make secure
transactions while ensuring smooth operations for operators and administrators. This document outlines
its functional, non-functional, and operational requirements.
2. Scope
The TVS provides:
Passengers – Ticket purchases, fare adjustments, multiple payment methods.
Operators – Cash inventory monitoring, deposits/withdrawals.
Administrators – Reports on sales, transactions, and system errors.
System Features – Secure payments, 24/7 operation, integration with external databases
4. References
● IEEE Std 830-1998 – IEEE Recommended Practice for Software Requirements Specifications.
● Industry standards on data privacy and payment security.
● Related documentation for external payment gateways and ID verification systems.
5. System Overview
Feature Description
Ticketing & Passes Purchase various ticket types, print receipts.
Travel Cards Recharge, balance inquiries, transaction history.
Fare Adjustments ID-based discounts for seniors, students, disabled.
Payments Cash, coins, debit/credit cards supported.
Monitoring Operators track cash levels, enable maintenance mode.
Feature Description