Project Report 2
Project Report 2
A project report
submitted in partial fulfillment of the requirements
for the degree of
Bachelor of Technology
in
Computer Science & Engineering
by
Ridhima Sonkar (2102840100129)
I declare that this written submission represents my ideas in my own words and where
others’ ideas or words have been included, I have adequately cited and referenced the original
sources. I declare that I have properly and accurately acknowledged all sources used in the
production of this project report.
I also declare that I have adhered to all principles of academic honesty and integrity and
have not misrepresented or fabricated or falsified any idea/data/fact/source in my submission. I
understand that any violation of the above will be a cause for disciplinary action by the Institute
and can also evoke penal action from the sources which have thus not been properly cited or
from whom proper permission has not been taken when needed.
This is to certify that the work incorporated in the project report entitled “Automated
Teller Matchine” is a record of work carried out by Ridhima Sonkar (2102840100129) Under
my guidance and supervision for the award of Degree of Bachelor of Technology in Computer
Science & Engineering.
To the best of my/our knowledge and belief the project report
3. Fulfils the requirement of the Ordinance relating to the Bachelor of Technology degree of
the University and
4. Is up to the desired standard both in respect of contents and language for being referred
to the examiners.
The project work as mentioned above is here by being recommended and Forwarded for ex-
amination and evaluation.
This is to certify that the project report entitled “Automated Teller Matchine” which is
submitted by Ridhima Sonkar (2102840100129) has been examined by the undersigned as a
part of the examination for the award of Degree of Bachelor of Technology in Computer Science
& Engineering.
Date:........................... Date:............................
Acknowledgments
We would like to thank Mr Amit Kumar Tiwari and Mr Gaurav Narayan Singh for granting
me the honour of being a member of Biomedical group and their invaluable help and guidance.
I would like to express my deep sense of gratitude to Mohammad Asif, Humas Furquan for
their important help and technical suggestions.
I am grateful to Naveen, Mahima and Vivek for their unconditional support at all times. I would
like to thank all members of CSE lab who have directly or indirectly contributed in my project
work and maintained a friendly atmosphere in the lab. Finally I would like to thank my family
and my friends for their constant moral support.
Abstract
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly
complicated in design and implementation. This paper presents the formal design, specifica-
tion, and modeling of the ATM system using a denotational mathematics known as Real-Time
Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial
requirements for the system.The architectural model of the ATM system is created using RTPA
architectural modeling methodologies and refined by a set of Unified Data Models (UDMs),
which share a generic mathematical model of tuples. The static behaviors of the ATM system
are specified and refined by a set of Unified Process Models (UPMs) for the ATM transition
processing and system supporting processes. The dynamic behaviors of the ATM system are
specified and refined by process priority allocation, process deployment,and process dispatch
models. Based on the formal design models of the ATM system, code can be automatically
generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transformed into pro-
grams by programmers. The formal models of ATM may not only serve as a formal design
paradigm of real-time software systems, but also a test bench for the expressive power and
modeling capability of exiting formal methods in software engineering.
Contents
Abstract 5
1 Introduction 7
2 Requirement Analysis 10
3 User Interface 11
4 Conclusion 16
5 REFERENCE 17
6
Chapter 1
Introduction
7
on bank servants.Now a day each company or organization prefers the com-
puterized paper-work. Definitely the computer system is more reliable than
the manual works.The common human errors can be eliminated with the help
of system.The main objective of ATM system is to help the organization in
automating the whole manual processing of the existing system. This project
should support-user environment. The system is fully automated. ATM sys-
tem is designed to solve the purpose of clarifying system requirement. This
system should be able to handle extremely large volumes of data. This system
should capable to keep track of all detailed description of the account holder of
banks.The following details are involved in this ATM system project
8
Figure 1.1: Flow Chart
9
Chapter 2
Requirement Analysis
10
Chapter 3
User Interface
11
Figure 3.2: Entering ATM Number and Pin
12
Figure 3.4: Entering Choice
13
Figure 3.6: Again asking for choice
14
Figure 3.8: Redo the process (EXIT as well)
15
Chapter 4
Conclusion
From this presentation, one can observe that an ATM system is associated with
the bank transactions of the consumers. Majorly, the ATM system is utilized for
the money associated transactions from the consumers.
Consumers make major use of ATM to withdraw money from their bank ac-
count. It is a fast way to get money out of your account, especially when on the
go or during a trip
16
Chapter 5
REFERENCE
https://www.javatpoint.com
https://www.youtube.com/
17