Abstract
The light signals play a vital role in the management of traffic systems. They are the key component of traffic control systems, which properly channelize the traffic flow. Therefore, the area of air traffic control (ATC) signals also becomes critical concerning the movement of airplanes because a failure in ATC light signal could cause the loss of human life and financial disasters. The air traffic control is a safety critical system and failure in such systems is not affordable. In this paper we have developed the formal model of ATC light signals where different light signals of the model are formally specified using Z-notation. Our proposed model ensures the correspondence between the functional behavior of the light signal communication system and its functional requirements. Moreover, the system also becomes important due to its uniqueness since it has an extra number of control signal combinations as compared to ordinary signal systems.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
