Smart Airport Apron Management System Formal Modeling using VDM-SL

With the advent of recent technology, smart systems are replacing traditional systems. Wireless sensors and RFID are important components of Smart systems and have many applications such as Smart Sewerage, Smart Transportation, Smart Grid, Smart Agriculture, Smart Health and Smart Homes. Busy airports in the world have to manage a large number of flights per hour. Even, within a minute many flights land and takeoff. So, Airport Apron Management System must be efficient and error free. In this paper, we have presented the Smart Airport Apron Management System for managing flights landing, parking and takeoff. The system supports operations like finding free parking space, total allocated or free slots, flights handling and information display using lights. We have modeled the heterogeneous sensors of the system and their interaction with the system using Internet of Things (IoT). All the operations statically and dynamically are modeled in Vienna Development Method Language (VDM-SL) to provide proof of correctness of the proposed system. VDM-SL is a specification language which models a system by mathematical notations using discrete mathematics concepts.