BBooaarrddiinngg PPaassss IIssssuuaannccee ffoorr PPaasssseennggeerrss aatt AAiirrppoorrtt EENNSSEE 662233 SSyysstteemmss EEnnggiinneeeerriinngg !!!SSuubbmmiitttteedd bbyy BBaarrggaavvaa RR SSuubbrraammaanniiaann SSooee ZZaarrnniiABSTRACT Each airport has a fixed space which it allots to different airlines so that they can set-up their boarding pass issuance counter. We consider a simplistic case where two airlines have decided amongst themselves to one of the counters. The number of counters each airline will operate will depend upon number of passengers arriving for each of the airlines. Given this the boundary of operation of each airlines vary across time. For each airline, given the limited operating space, they have to come up with a queue length for the passengers (whether to have a single line or in some zigzag format). For this problem statement our approach this semester is divided into two parts ! How do the airlines decide their operating space (spatial constraint) ! The second one is to evaluate the temporal constraints. The temporal constraint determines ! Whether the passenger who joins the queue is able to catch his flight or not. ! Whether the airline is able to process the passenger within the given time frame so that he is able to catch the flight. The temporal logic is basically a timed automaton and we are using UPPAAL to verify/validate our system. We will construct the system in UPPAAL using defined requirements and try to verify/validate the system with different queuing time, process time and WIP time calculated from different arrival rates, number of counters, process rate, etc. We will also use Binary Space Paritioning tree to define the spatial constraint and then try to validate/verify it using Spatial Logia Model Checker.INTRODUCTION Offering services of the highest quality is of utmost priority for airlines. This decides to a major extent the demand of passengers they obtain. Of course, the cost of tickets too play a major factor – but to determine an optimal cost for the tickets, the airlines need to determine the operating cost and how to optimize them. Given fixed resources, they need to come up with excellent quality. Considering the vast amount of operations they do, we have considered a particular operation – boarding pass issuance and have developed a systems engineering perspective of the same. The airport has a fixed space for the airlines to set up their counters for their operations. The airlines bid for the slots and they are given a fixed number of counters – over a long-term lease. While having large number of counters will be good when demand is high, not at all times are this feasible – for they cost a lot for the airlines. Generally, airlines share the counters on a mutual agreement. A particular airline might service winter destinations and might have lot of demand in that time. Another airline might offer service to summer destinations and hence their summer demand will be high. It is mutually beneficial for both of them to share counters so that over the course of the year, their operating costs are relative to the service they offer. With this background, we have performed a study on how do we come up with a systems engineering design for the following problem: Two partner-airlines have in together a fixed number of counters for their operation. How do they mutually decide on the number of counters that they need to operate at a given time of the day? When the counters are decided, they need to set up their queue length for the passengers to come and stand in line. The queue boundary is a mobile one. They can be adjusted knowing the demand expected. The airlines know the demand they are going to expect at particular time. Hence, they can decide whether the passengers need to stand in a twirlingpath (like a maze) or come directly to the counters in a single line. The number of bends in the line is a decision issue. When there is a huge rush, the number of bends is high and the bends are very low when the rush is low. When passengers arrive later than the prescribed boarding time for a particular flight – say 15 min before the departure of the flight, the airlines need to process the passenger immediately. Otherwise, it will cost for the airlines to reaccomodate him in a later flight. Hence, 30 min before the departure of the flight, announcements are made every 5 minutes requesting passengers departing for that flight to come forward (basically jump over the queue). They are processed in the first available counter. Also, there are a lot of people require special services – eg., elderly people, sick people, etc. Hence, they are also processed as and when they come. The implementation of special services offered differs from airline to airline. The issue of how airlines model such behaviors is studied here. Hence, our project deals with the following objectives: 1) How do two airlines share the counters? How many counters are operated by each of them at a given point of time? 2) What is the queue length set at a given point of time for passengers approaching the counters? The following diagram represents a typical airport set-up where two airlines are placed next to each other. They share the counters. A mobile boundary exists between them – but the total space is limited. The queue length for each airline needs to be determined. Also, handling of special services is to be decided by the airlines.Airline A Airline B CountersMovableBoundary Typical Boarding Pass issuing-counter SetupInitial Use Case Modeling and Activity Diagram Initial Use Case Diagram PassengerCrewAirline AuthorityQueueCountersSpecialService Use Case Diagram – Passenger PerspectiveAirline AuthorityAirport AuthorityCrewQueueLengthNo. ofCountersSpecialServiceProcedurePassengerLegalProceduresStrategy withanother airline Use Case A. Boarding pass issuance Description: The passenger obtains the boarding pass – from passenger’s perspective Primary Actors: Passenger, Crew Use Case B. Determination of Counters/Queue Length Description: Airlines need to determine the number of counters and the optimal queue length which the passengers have to traverse in order to get the boarding