uni

University stuff
git clone git://git.margiolis.net/uni.git
Log | Files | Refs | README | LICENSE

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}