se1.tex (21473B)
1 \documentclass[12pt]{article} 2 \usepackage[utf8]{inputenc} 3 \usepackage[greek,english]{babel} 4 \usepackage{alphabeta} 5 \usepackage{fancyhdr} 6 \usepackage{listings} 7 \usepackage{mathtools} 8 \usepackage{xcolor} 9 \usepackage{float} 10 \usepackage{tabularx} 11 \usepackage[margin=0.5in]{geometry} 12 \usepackage[backend=bibtex]{biblatex} 13 \usepackage{hyperref} 14 \hypersetup{ 15 colorlinks=true, %set true if you want colored links 16 linktoc=all, %set to all if you want both sections and subsections linked 17 linkcolor=black, %choose some color if you want links to stand out 18 } 19 \title{Εργασία Τεχνολογίας Λογισμικού -- Μέρος 1ο} 20 \author{Αντώνης Θωμάκος - 18390037 \\ 21 Χρήστος Μαργιώλης - 19390133 \\ 22 Στέφανος Στράους - 19390221} 23 \date{Μάρτιος 2022} 24 25 \begin{document} 26 27 \begin{titlepage} 28 \maketitle 29 \begin{figure}[t!] 30 \begin{center} 31 \includegraphics[scale=1.0]{./res/uniwa-logo.pdf} \\ 32 \Large 33 \textbf{Πανεπιστήμιο Δυτικής Αττικής} \\ 34 \large 35 Τμήμα Μηχανικών Πληροφορικής και Ηλεκτρονικών Υπολογιστών 36 \end{center} 37 \end{figure} 38 \end{titlepage} 39 40 \renewcommand{\contentsname}{Περιεχόμενα} 41 \tableofcontents 42 \pagebreak 43 44 \section{Σκοπός του Π.Σ διαχείρισης αεροδρομίου} 45 46 Το εξής πληροφοριακό σύστημα έχει σκοπό την ολική διαχείριση κάθε πτυχής του 47 αεροδρομίου. Συγκεκριμένα, θα διαχειρίζεται τις κρατήσεις θέσεων από επιβάτες, 48 δηλαδή το ταμείο από το οποίο οι πελάτες θα μπορούν να κλείσουν θέση σε κάποια 49 πτήση. Στην συνέχεια, το σύστημα θα πρέπει να ελέγχει την εγκυρότητα κάθε 50 εισιτηρίου λίγο πριν την επιβίβαση του πελάτη στο αεροπλάνο (check in) και να 51 ενημερώνει το σύστημα κατάλληλα για την πληρότητα του αεροπλάνου. Είναι επίσης 52 απαραίτητες οι πληροφορίες για τις πτήσεις, συγκεκριμένα στις αναχωρήσεις και 53 αφίξεις πτήσεων. Παρέχει επίκαιρες πληροφορίες για καθυστερήσεις ακυρώσεις 54 πτήσεων κ.α. Επιπροσθέτως, για να διασφαλιστεί η ασφάλεια της κάθε πτήσης 55 ελέγχονται οι αποσκευές των επιβατών για τυχόν απαγορευμένες ουσίες καθώς και 56 για όπλα ή εκρηκτικές ύλες. Αυτά τα ευρήματα καταγράφονται σε βάση δεδομένων 57 του συστήματος. Σε κάθε πτήση, είναι σημαντικό οι αποσκευές των επιβατών, καθώς 58 και διάφορα άλλα τυχόν πακέτα να καταγράφονται και να είναι δηλωμένα στο 59 σύστημα με σκοπό να αποφυγει η απώλεια τους. Δεν γίνεται να ξεχαστούν τα 60 αναλώσιμα πτήσης, κυρίως τα τρόφιμα που παρέχονται στο προσωπικό και στους 61 επιβάτες. Εξίσου σημαντική είναι η επιμελητεία των πόρων (logistics), δηλαδή ο 62 συνεχής εφοδιασμός των αεροπλάνων με καύσιμα, και η διατήρηση τους σε κατάσταση 63 κατάλληλη για πτήση από τους μηχανικούς. Το σύστημα αυτό πρέπει να είναι 64 διατεθειμένο να χειριστεί μεγάλο αριθμό υλών, καθώς και την ποσότητα τους ώστε 65 να υπάρχει πάντα έγκυρη εικόνα των διαθέσιμων επιπέδων καυσίμου, ανταλλακτικών 66 κτλ. Τέλος, ο πύργος ελέγχου πρέπει να δέχεται έγκαιρα όλες τις πληροφορίες 67 καιρού από μετεωρολογικούς σταθμούς, να έχει μια ολική εικόνα του αεροχώρου 68 μέσω διαφόρων radar, και να είναι γενικώς πάντα ενημερωμένοι οι υπάλληλοι που 69 δουλεύουν σε αυτόν. 70 71 \section{Χρήστες -- Actors} 72 73 \begin{itemize} 74 \item Μηχανικοί εδάφους 75 \begin{itemize} 76 \item Χαρακτηριστικά: Είναι οι μηχανικοί που ελέγχουν και επισκευάζουν 77 κάθε αεροσκάφος. 78 \item Απαιτήσεις: 79 \begin{itemize} 80 \item Ειδοποιούνται από το σύστημα λίγο πριν την άφιξη του 81 αεροπλάνου. 82 \item Το σύστημα πρέπει να τους παρέχει πληροφορίες για την 83 κατάσταση του αεροσκάφους λίγο πριν την άφιξή του. 84 \end{itemize} 85 \end{itemize} 86 \item Προσωπικό ταμείου 87 \begin{itemize} 88 \item Χαρακτηριστικά: Παρέχουν βοήθεια στους επιβάτες. 89 \item Απαιτήσεις: Να ελέγχουν τις κρατήσεις και να βοηθούν τους 90 πελάτες κατά την διάρκεια της κράτησης του εισιτηρίου. 91 \end{itemize} 92 \item Προσωπικό ασφαλείας 93 \begin{itemize} 94 \item Χαρακτηριστικά: Βρίσκεται στο τερματικό (terminal) του 95 αεροδρομίου. 96 \item Απαιτήσεις: Ελέγχουν τα αποτελέσματα του συστήματος και 97 σε περίπτωση εύρεσης επικίνδυνου αντικειμένου, απαγορεύουν 98 στον επιβάτη να συνεχίσει προς το αεροπλάνο. 99 \end{itemize} 100 \item Προσωπικό εδάφους 101 \begin{itemize} 102 \item Χαρακτηριστικά: Πραγματοποιούν τους εφοδιασμούς του 103 αεροπλάνου. 104 \item Απαιτήσεις: Πρέπει να ειδοποιηθούν από το σύστημα για τυχόν 105 ελλείψεις αναλώσιμων στο αεροσκάφος. 106 \end{itemize} 107 \item Επιβάτης 108 \begin{itemize} 109 \item Απαιτήσεις: Αλληλεπιδρά με το σύστημα κράτησης εισιτηρίων, 110 καθώς και όλα τα συστήματα ελέγχου. 111 \end{itemize} 112 \end{itemize} 113 114 \section{Λειτουργικές και μη απαιτήσεις} 115 116 Οι λειτουργικές απαιτήσεις του Π.Σ είναι αναλύει τα δεδομένα που δέχεται (π.χ 117 από τον πύργο ελέγχου, από το σύστημα κράτησης εισιτηρίων, κλπ) και το 118 προσωπικό που βασίζεται σε αυτές να ενημερώνεται έγκαιρα και να εξασφαλίζεται η 119 σωστή λειτουργία του αεροδρομίου. 120 121 Οι μη-λειτουργικές του Π.Σ περιλαμβάνουν την εξοικείωση του προσωπικού με τα 122 διάφορα υποσυστήματα που χρησιμοποιεί το κάθε τμήμα του αεροδρομίου, καθώς και 123 η αξιοπιστία που πρέπει να παρέχει γενικότερα το Π.Σ. Η αξιοπιστία 124 επιτυγχάνεται από το γεγονός ότι όλα τα υποσυστήματα μοιράζονται κοινές βάσεις 125 δεδομένων, με αποτέλεσμα να υπάρχει συγχρονισμός των δεδομένων. 126 127 \section{Περιπτώσεις χρήσης -- Use cases} 128 129 \subsection{Πίνακας ΠΧ} 130 131 \begin{center} 132 \begin{tabular}{|l|p{7cm}|p{7cm}|} 133 \hline 134 \textbf{Κωδικός} & \textbf{'Ονομα} & \textbf{Περιγραφή} \\ 135 \hline 136 ΠΧ1 & Κρατήσεις εισιτηρίων/θέσεων (booking) & 137 Το σύστημα δείχνει στον επιβάτη τις διαθέσιμες πτήσεις. Αφού ο επιβάτης 138 κάνει την αγορά, το σύστημα τυπώνει το εισιτήριο και ενημερώνει την 139 βάση δεδομένων αποθεμάτων εισιτηρίων και θέσεων που κρατάει το 140 αεροδρόμιο. \\ 141 \hline 142 ΠΧ2 & 'Ελεγχος εγκυρότητας εισιτηρίων (check in) & 143 Πραγματοποιεί τον τελικό έλεγχο πριν την είσοδο του επιβάτη στο 144 αεροπλάνο. \\ 145 \hline 146 ΠΧ3 & Πληροφορίες πτήσης (αναχωρήσεις, αφίξεις, καθυστερήσεις, 147 ακυρωμένες πτήσεις, …) & Ενημέρωση πινάκων αεροδρομίου (Flight 148 Information Display System - FIDS) σχετικά με τις επερχόμενες 149 αναχωρήσεις και αφίξεις, καθώς γεγονότα που μπορεί να τις επηρεάσουν 150 (καιρικές συνθήκες, απρόοπτα συμβάντα, ...). \\ 151 \hline 152 ΠΧ4 & 'Ελεγχος ασφαλείας πτήσης (safety checks) & 153 Σαρώνει και κρίνει αν υπάρχουν επικίνδυνες ύλες στις αποσκευές με 154 χρήση ανιχνευτή μετάλλων και καταγράφει τα ευρύματα σε βάση 155 δεδομένων. \\ 156 \hline 157 ΠΧ5 & Δρομολόγηση αποσκευών (cargo/luggage logistics) & 158 Στέλνει τις αποσκευές στο κατάλληλο αμπάρι φορτίου κατά την αναχώρηση 159 και στον κύλινδρο φορτίου κατά την άφιξη. \\ 160 \hline 161 ΠΧ6 & 'Ελεγχος αναλώσιμων πτήσης (in-flight logistics) & 162 Καταγράφει το αναλωσίμων (φαγητό, ποτά, μάσκες μίας χρήσης, σωσίβια, 163 ...) και ειδοποιεί το προσωπικό εδάφους σε περίπτωση ανεφοδιασμού. \\ 164 \hline 165 ΠΧ7 & Τεχνικός έλεγχος αεροπλάνων και καυσίμων (maintenance, refuelling) & 166 Καταγράφεται η μηχανική κατάσταση του αεροπλάνου και το απόθεμα του σε 167 καύσιμο κατά την αναχώρηση και άφιξη. \\ 168 \hline 169 ΠΧ8 & Air Traffic Control & 170 Χειρίζεται τα δεδομένα που έχουν να κάνουν με τον πύργο ελέγχου, όπως 171 να κρίνεται αν είναι δυνατή η κανονική λειτουργία των πτήσεων με βάση 172 τις καιρικές συνθήκες που επικρατούν, τα ραντάρ του πύργου καθώς και 173 πληροφορίες σχετικά με τρέχουσες πτήσεις. \\ 174 \hline 175 \end{tabular} 176 \end{center} 177 178 \subsection{Διαγράμματα Use Case} 179 180 \begin{figure}[H] 181 \centering 182 \includegraphics[width=\linewidth]{./res/uc1.pdf} 183 \caption{Use Case 1 -- Κρατήση εισιτηρίων/θέσεων.} 184 \end{figure} 185 186 \begin{figure}[H] 187 \centering 188 \includegraphics[width=\linewidth]{./res/uc2.pdf} 189 \caption{Use Case 2 -- 'Ελεγχος εγκυρότητας εισιτηρίων (check in).} 190 \end{figure} 191 192 \begin{figure}[H] 193 \centering 194 \includegraphics[width=\linewidth]{./res/uc3.pdf} 195 \caption{Use Case 3 -- Πληροφορίες πτήσης.} 196 \end{figure} 197 198 \begin{figure}[H] 199 \centering 200 \includegraphics[width=\linewidth]{./res/uc4.pdf} 201 \caption{Use Case 4 -- 'Ελεγχος ασφαλείας αποσεκυών.} 202 \end{figure} 203 204 \begin{figure}[H] 205 \centering 206 \includegraphics[width=\linewidth]{./res/uc5.pdf} 207 \caption{Use Case 5 -- Δρομολόγηση αποσκευών.} 208 \end{figure} 209 210 \begin{figure}[H] 211 \centering 212 \includegraphics[width=\linewidth]{./res/uc6.pdf} 213 \caption{Use Case 6 -- 'Ελεγχος καυσίμων και αναλώσιμων πτήσης.} 214 \end{figure} 215 216 \begin{figure}[H] 217 \centering 218 \includegraphics[width=\linewidth]{./res/uc7.pdf} 219 \caption{Use Case 7 -- Τεχνικός έλεγχος αεροπλάνων.} 220 \end{figure} 221 222 \begin{figure}[H] 223 \centering 224 \includegraphics[width=\linewidth]{./res/uc8.pdf} 225 \caption{Use Case 8 -- Λήψη μετεωρολογικής πρόγνωσης.} 226 \end{figure} 227 228 \pagebreak 229 \subsection{Πίνακας τεκμηρίωσης} 230 231 \subsubsection{Κρατήσεις εισιτηρίων} 232 233 \begin{center} 234 \begin{tabular}{|p{5cm}|p{12cm}|} 235 \hline 236 \textbf{Use Case} & Κρατήσεις εισιτηρίων (ημερομηνία, αριθμός πτήσης 237 κτλ). \\ 238 \hline 239 \textbf{Σύντομη περιγραφή} & Ο επιβάτης χρησιμοποιεί το σύστημα 240 κράτησης, ορίζοντας σε αυτό στοιχεία για το εισιτήριο του όπως: 241 \textit{ημερομηνία άφιξης}, \textit{ημερομηνία 242 αναχώρησης}, \textit{αριθμός πτήσης}, 243 \textit{θέση}, \textit{αριθμός επιπλέον 244 αποσκευών} κλπ. \\ 245 \hline 246 \textbf{Actors} & Επιβάτης, Προσωπικό ταμείου (Ρεσεψιόν). \\ 247 \hline 248 \textbf{Προαπαιτούμενα (Pre-conditions)} & 249 \begin{itemize} 250 \item Το σύστημα να λειτουργεί κανονικά. 251 \item Το προσωπικό να κάνει την κράτηση του πελάτη. 252 \end{itemize} \\ 253 \hline 254 \textbf{Μετασυνθήκες (Post-conditions)} & Μετά την κράτηση, το 255 πληροφοριακό σύστημα έχει δηλωμένα τα στοιχεία για την πτήση και ο 256 πελάτης έχει εξασφαλίσει μια θέση σε αυτήν \\ 257 \hline 258 \textbf{Κύρια ροή} & 259 \begin{tabularx}{12cm}{X|X} 260 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 261 \hline 262 Το use case ξεκινά με την εισαγωγή των στοιχείων του επιβάτη 263 στο σύστημα δηλαδή των παραμέτρων του εισιτηρίου. & 264 Ημερομηνία αναχώρησης, Ημερομηνία άφιξης, Αριθμός Θέσης, 265 Αριθμός Πτήσης, Επιπλέον Αποσκευές, Αριθμός Εισιτηρίου. \\ 266 \hline 267 Το σύστημα ελέγχει αν η θέση είναι διαθέσιμη. & \\ 268 \hline 269 Το πληροφοριακό σύστημα αποκρίνεται αποθηκεύοντας τα δεδομένα 270 στο σύστημα, ελέγχοντας τα ταυτόχρονα για την εγκυρότητα τους, 271 όπου δίνεται ευκαιρία στον υπάλληλο να τα διορθώσει. & \\ 272 \hline 273 Το σύστημα εκδίδει το εισιτήριο. & \\ 274 \end{tabularx} \\ 275 \hline 276 \textbf{Εναλλακτική ροή} & 277 \begin{tabularx}{12cm}{X|X} 278 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 279 \hline 280 Εναλλακτικά, αν η θέση δεν είναι διαθέσιμη, το σύστημα ενημερώνει τον υπάλληλο με κατάλληλο μύνημα. & \\ 281 \end{tabularx} \\ 282 \hline 283 \end{tabular} 284 \end{center} 285 286 \pagebreak 287 \subsubsection{'Ελεγχος Εγκυρότητας Εισιτηρίων (Check In)} 288 289 \begin{center} 290 \begin{tabular}{|p{5cm}|p{12cm}|} 291 \hline 292 \textbf{Use Case} & Check in εισιτηρίων πριν την πτήση. \\ 293 \hline 294 \textbf{Σύντομη περιγραφή} & Ο υπάλληλος χρησιμοποιεί το σύστημα check 295 in, ώστε να ελέγξει πριν την πτήση αν όλα τα στοιχεία του εισιτηρίου 296 είναι έγκυρα και αν μπορεί να επιτρέψει στον πελάτη να επιβιβαστεί. 297 Πιθανά στοιχεία είναι: \textit{Αριθμός εισιτηρίου}, 298 \textit{επιπλέον αποσκευές} κλπ. \\ 299 \hline 300 \textbf{Actors} & Επιβάτης, Πράκτορας εισιτηρίων. \\ 301 \hline 302 \textbf{Προαπαιτούμενα (Pre-conditions)} & 303 \begin{itemize} 304 \item Το σύστημα να λειτουργεί κανονικά. 305 \item Το προσωπικό να σκανάρει το εισιτήριο του επιβάτη. 306 \end{itemize} \\ 307 \hline 308 \textbf{Μετασυνθήκες (Post-conditions)} & Μετά τον έλεγχο, το προσωπικό 309 μπορεί να επιτρέψει την είσοδο του επιβάτη στο αεροπλάνο. \\ 310 \hline 311 \textbf{Κύρια ροή} & 312 \begin{tabularx}{12cm}{X|X} 313 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 314 \hline 315 Το use case ξεκινά με το σκανάρισμα του εισιτηρίου από τον 316 υπάλληλο. & 317 Αριθμός Εισιτηρίου, Αριθμός Θέσης, Επιπλέον Αποσκευές. \\ 318 \hline 319 Το πληροφοριακό σύστημα αποκρίνεται ελέγχοντας αν ταυτίζονται 320 τα δεδομένα του εισιτηρίου με αυτά στο σύστημα. & \\ 321 \hline 322 Ο υπάλληλος αποφασίζει αν μπορεί να επιβιβαστεί ο πελάτης. & \\ 323 \end{tabularx} \\ 324 \hline 325 \textbf{Εναλλακτική ροή} & 326 \begin{tabularx}{12cm}{X|X} 327 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 328 \hline 329 Εναλλακτικά, σε περίπτωση άκυρου εισητιρίου ο επιβάτης δεν 330 μπορεί να εισέλθει στην πτήση. & \\ 331 \end{tabularx} \\ 332 \hline 333 \end{tabular} 334 \end{center} 335 336 \pagebreak 337 \subsubsection{Πληροφορίες Πτήσης (F.I.D.S.)} 338 339 \begin{center} 340 \begin{tabular}{|p{5cm}|p{12cm}|} 341 \hline 342 \textbf{Use Case} & Εμφάνιση πληροφοριών για τις πτήσεις στις οθόνες 343 του αεροδρομίου (Αριθμός πτήσης, κατάσταση πτήσης, πύλη κτλ). \\ 344 \hline 345 \textbf{Σύντομη περιγραφή} & Το σύστημα F.I.D.S. λαμβάνει πληροφορίες 346 από διεθνής φορείς, και έπειτα ανανεώνει την τοπική βάση δεδομένων, η 347 οποία μοιράζεται σε κάθε οθόνη του αεροδρομίου ώστε να υπάρχει έγκυρη 348 ενημέρωση των επιβατών με στοιχεία όπως: \textit{ώρα 349 άφιξης/αναχώρησης}, \textit{αριθμός πτήσης}, 350 \textit{κατάσταση πτήσης}, \textit{πύλη}, 351 \textit{προορισμός} κλπ. \\ 352 \hline 353 \textbf{Actors} & Οθόνη, Πληροφοριακό σύστημα. \\ 354 \hline 355 \textbf{Προαπαιτούμενα (Pre-conditions)} & 356 \begin{itemize} 357 \item Το σύστημα να λειτουργεί κανονικά. 358 \item Να υπάρχουν έγκυρες πληροφορίες για τις πτήσεις από 359 κάποιο διεθνή σύστημα πληροφοριών. 360 \end{itemize} \\ 361 \hline 362 \textbf{Μετασυνθήκες (Post-conditions)} & Το σύστημα μετά το use case, 363 έχει εμφανίσει όλες τις πληροφορίες σχετικές με την πτήση στις οθόνες 364 του F.I.D.S. \\ 365 \hline 366 \textbf{Κύρια ροή} & 367 \begin{tabularx}{12cm}{X|X} 368 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 369 \hline 370 Το use case ξεκινά όταν το πληροφοριακό σύστημα κατεβάζει 371 δεδομένα από την διεθνή βάση δεδομένων πτήσεων, και τα φορτώνει 372 στην τοπική βάση δεδομένων. & 373 'Ωρα άφιξης/αναχώρησης, αριθμός πτήσης, κατάσταση πτήσης, πύλη, 374 προορισμός \\ 375 \hline 376 Τα δεδομένα πτήσεων έπειτα στέλνονται από την βάση δεδομένων 377 ξεχωριστά σε κάθε οθόνη στο αεροδρόμιο & \\ 378 \end{tabularx} \\ 379 \hline 380 \textbf{Εναλλακτική ροή} & 381 \begin{tabularx}{12cm}{X|X} 382 \textbf{Tasks} & \textbf{Πληροφορία που απαιτείται/διαμοιράζεται} \\ 383 \hline 384 Δεν υπάρχει εναλλακτικό σενάριο πέραν του 1 και 2, αν δεν 385 γίνουν αυτά το σύστημα δεν λειτουργεί. & \\ 386 \end{tabularx} \\ 387 \hline 388 \end{tabular} 389 \end{center} 390 391 \end{document}