Μάθημα : Θεωρία και Σχεδιασμός Πρωτοκόλλων
ΠΜΣ 525 - Alonistioti Nancy
Η σελίδα που προσπαθείτε να μπείτε απαιτεί όνομα χρήστη και συνθηματικό.
Η πλατφόρμα σάς ανακατεύθυνε αυτόματα στην αρχική σελίδα για να συνδεθείτε προτού προχωρήσετε σε άλλες ενέργειες. Πιθανόν, να έληξε η σύνοδός σας.
Η πλατφόρμα σάς ανακατεύθυνε αυτόματα στην αρχική σελίδα για να συνδεθείτε προτού προχωρήσετε σε άλλες ενέργειες. Πιθανόν, να έληξε η σύνοδός σας.
Περιγραφή Μαθήματος
Εισαγωγικό Σημείωμα
Εισαγωγή στο σχεδιασμό και επαλήθευση πρωτοκόλλων. Σχεδιασμός τηλεπικοινωνιακών υπηρεσιών και πρωτοκόλλων σε δίκτυα και φορμαλιστική προδιαγραφή τους. Πεπερασμένες μηχανές καταστάσεων, δομή πρωτοκόλλων, διαγράμματα ροής μηνυμάτων, μορφοποίηση μυνημάτων, έλεγχος συμμόρφωσης πρωτοκόλλων. Γλώσα επαλήθευσης πρωτοκόλλων PROMELA, εργαλεία επαλήθευσης πρωτοκόλλων.
Εισαγωγή στο σχεδιασμό και επαλήθευση πρωτοκόλλων. Σχεδιασμός τηλεπικοινωνιακών υπηρεσιών και πρωτοκόλλων σε δίκτυα και φορμαλιστική προδιαγραφή τους. Πεπερασμένες μηχανές καταστάσεων, δομή πρωτοκόλλων, διαγράμματα ροής μηνυμάτων, μορφοποίηση μυνημάτων, έλεγχος συμμόρφωσης πρωτοκόλλων. Γλώσα επαλήθευσης πρωτοκόλλων PROMELA, εργαλεία επαλήθευσης πρωτοκόλλων.
Ημερολόγιο
Ανακοινώσεις
Όλες...-
Πέμπτη 5 Νοεμβρίου 2015 - 3:09 μ.μ.
-
Τρίτη 16 Ιουνίου 2015 - 12:00 π.μ.
-
Παρασκευή 27 Μαρτίου 2015 - 12:00 π.μ.