TITLE OF SOFTWAREREQUIREMENTSOFTWAREREQUIREMENT OFATM SYSTEM
Statements offunctionalrequirements of thesystem
AUTHETICATION MANAGEMENTTwo-factor authentication having been usedthroughout history. When a bank customer visitsa local automated teller machine (ATM), oneauthentication factor is the physical ATM cardthe customer slides into the machine ("somethingthe user has"). The second factor is the PIN thecustomer enters through the keypad ("somethingthe user knows"). Without the corroboratingverification of both of these factors,authentication does not succeed. This scenarioillustrates the basic concept of most two-factorauthentication systems: the combination of aknowledge factor and a possession factor.
O Customer withdraws money from the ATM. Thesystem issues the money and debits theiraccount.O Every user withdraw money, they need toregister first. Then bank will save information ofuser.O User need password to withdraw money.O Bank save information of user:1. User personal information are recorded2. User must have password to withdraw money
O User personal information:firstName, lastName, address,telephoneNumber, emailAddress.O User can withdraw money includes:userID, password.
O The functional requirements are organized in twosections; First requirements of the ATM andsecond requirements of the bank computer.* Requirements of the ATM- authorization process- transaction (withdrawal process)O * Requirements of the bank computer- authorization process (bank code and password)- transactionO The non-functional requirement is bellowed.* The ATM network has to be available 24 hours aday.* Each bank may be processing transactions fromseveral ATMs at the same time.* The ATM must be able to use several dataformats according to the data formats that areprovided by the database of different banks.
THEMATHEMATICALSTATEMENTOF THE FUNCTIONALREQUIREMENTS(PROPOSITIONALCALCULUS)
p : user have a passwordq : user can log onr : user can withdraw money(q ^ r) => p
p : amount to withdrawq : money amount in account bankr : valids :