The Formal Design Model of an Automatic Teller Machine (ATM)

Salem S. M. Khalifa, Kamarudin Saadan
2013 Lecture Notes on Information Theory  
Automated teller machines (ATM) have become a part and parcel of supermarkets, convenience stores, travel centers and banking. ATM is a real-time system that is very complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system.  Index Terms-ATM, real-time systems, formal design models, system behaviour specification, Distributed Database System (DDS). I.
doi:10.12720/lnit.1.1.56-59 fatcat:bepstedd5rcupgl4v5klocdane