# UMD ENSE 623 - Boarding Pass Issuance for Passengers at Airport (65 pages)

Previewing pages 1, 2, 3, 4, 30, 31, 32, 33, 34, 62, 63, 64, 65 of 65 page document
View Full Document

## Boarding Pass Issuance for Passengers at Airport

Previewing pages 1, 2, 3, 4, 30, 31, 32, 33, 34, 62, 63, 64, 65 of actual document.

View Full Document
View Full Document

## Boarding Pass Issuance for Passengers at Airport

45 views

Exam

Pages:
65
School:
University of Maryland, College Park
Course:
Ense 623 - Systems Projects, Validation and Verification
##### Systems Projects, Validation and Verification Documents
• 27 pages

• 105 pages

• 39 pages

• 34 pages

• 19 pages

• 58 pages

• 24 pages

• 29 pages

• 12 pages

• 20 pages

• 15 pages

• 34 pages

• 15 pages

• 60 pages

• 97 pages

• 29 pages

• 13 pages

• 41 pages

• 22 pages

• 32 pages

• 81 pages

• 58 pages

Unformatted text preview:

Boarding Pass Issuance for Passengers at Airport ENSE 623 Systems Engineering Submitted by Bargava R Subramanian Soe Zarni ABSTRACT 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

View Full Document

Unlocking...