The document describes the functional requirements for an RFID parking garage system. It discusses how the current ticketing system is inefficient and prone to errors. An RFID system would allow users to access the garage with an RFID card linked to their account, reducing interaction time and increasing security. The system would track financial transactions, allow adding funds online, and provide immediate entry and exit while seamlessly transferring correct payments between users and the garage owner. It would also count vehicles to know available spaces. Translating the natural language requirements into a mathematical system makes the overall system requirements easier to understand.

1. NURUL AIDA BINTI MOHAMAD SANI
A 141530
TITLE:
SOFTWARE REQUIREMENT FOR RFID PARKING
GARAGE

2. 1. Functional Requirement of RFID parking Garage System
Finding parking spaces for automobiles and motorcycles can a problematic venture due
to limited space and time, while the selling of parking spaces is potential lucrative
endeavor. Currently, most large parking garages, including airport parking, use a
ticketing system in which users get a time-stamped ticket when entering the structure
and pay a time relative fee when exiting. The transmission of these disposable tickets
is a time inefficient process susceptible to error. These tickets can easily be lost, and
with the lost tickets, the entire process disoriented. The manual payment process can
also be time consuming when traffic is at a high rate.
An RFID parking system would improve this by allowing the user to interact with the
parking area with an RFID card at the entrance and exit of the parking area. An RFID
parking system would also allow the user to keep an account on which the system
would keep track of financial transactions. This would reduce the amount of time the
user must interact with the system and increase the security of the user
In order to resolve the issue, we must change the way that both that customers access
the parking garage and how money is transferred between the building owner and the
customer. The cards would be tied to customer accounts to which money could be
transferred using a web interface. This new process would grant users virtually
immediate entry and exit from the parking structure, while the garage owner would
seamlessly receive correct payment.
The process would begin by the user requesting an account through the web interface.
After creating an account and receiving their unique RFID card in the mail, the user
could add money to their account to be used as payment in the parking garage(s)
connected to the system. As a user vehicle passes the RFID reader at a garage
entrance, their card would be read in order to retrieve account information. If the
account balance was above the required minimum, the vehicle would be granted
access.
When leaving the garage, the RFID reader at the exit would read the user’s RFID card
and remove an appropriate amount of money from the connected account. The system

3. would be able to count the number of vehicles in the structure at any one time, and
therefore, know the amount of free parking spaces, if any existed.
2. Mathematical statements of the functional requirements
An RFID parking system would improve this by allowing the user to interact with
the parking area with an RFID card at the entrance and exit of the parking area.
An RFID parking system would also allow the user to keep an account on which
the system would keep track of financial transactions.
keep (user, account) keep_track(system, transaction) ^
time ( reduce, interact_system)^ security (increase, user)
Change the way that both that customers access the parking garage and how
money is transferred between the building owner and the customer.
Customer(change,way_access)^ transferred_money(customer,owner_building)
The cards would be tied to customer accounts to which money could be
transferred using a web interface
account(card_tied,customer) transferred(money,web_interface)
This new process would grant users virtually immediate entry and exit from the
parking structure while the garage owner would seamlessly receive correct
payment.
Immediate(user,entry)^parking(exit) receive(owner,payment)
The process would begin by the user requesting an account through the web
interface
Begin(process) requesting(user,account) ^ online(request,web_interface)

4. After creating an account and receiving their unique RFID card in the mail, the
user could add money to their account to be used as payment in the parking
garage(s) connected to the system.
creating(account)^receive(mail,unique_RFID) add(user,money) ^
paid(account,parking_garage)
.As a user vehicle passes the RFID reader at a garage entrance, their card would
be read in order to retrieve account information
Passes(vehicle,RFID_reader) read (RFID_reader, card)^ retrieve(account_info)
.If the account balance was above the required minimum, the vehicle would be
granted access.
above(account_balance,minimum) get_pass(vehicle,access)
When leaving the garage, the RFID reader at the exit would read the user’s RFID
card and remove an appropriate amount of money from the connected account.
garage(leaving) read(RFID_reader , user_RFID_card) ^ remove
(account,money)
The system would be able to count the number of vehicles in the structure at any
one time, and therefore, know the amount of free parking spaces, if any existed.
count(system, no_vehicle)^ total_balance(free, parking_space)

5. 3. Comment about the translation process from natural language to
mathematical system
Using natural language, we have to read all the system requirement of RFID parking
garage and search the important part needed to build the system one by one. By using
mathematical system, is the easiest way to understand the whole system requirement
that the customer need.