In recent times the concept of smart cities has gained great popularity. Thanks to the evolution of the Internet of things(IoT) the idea of the smart city now seems to be achievable. Consistent efforts are being made in the field of IoT in order to maximize the productivity and reliability of urban infrastructure. Problems such as traffic congestion, limited car parking facilities, and road safety are being addressed by IoT. In this paper, we present an IoT based cloud integrated smart parking system. The proposed Smart Parking system consists of an on-site deployment of an IoT module that is used to monitor and signalize the state of availability of each single parking space. A mobile application is also provided that allows an end user to check the availability of parking space and book a parking slot accordingly. Towards the end, the paper discusses the working of the system in the form of a use case that proves the correctness of the proposed model.