Add and Checkout to Download this Report
The idea of self-service in retail banking developed through independent and simultaneous efforts in various countries. This idea led to the invention of an Automated Teller Machine.
An Automated Teller Machine (ATM) is a safety critical and real-time system that is highly complicated in design and implementation.lt can also be described as a machine which dispenses money on reading information from a card which is inserted into the machine. This report gives information about the working of an ATM, parts of an ATM, security of an ATM. The conceptual model of the ATM system and the transition diagram of the ATM behavior are introduced as the initial requirements for the system.
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.