Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14415
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Λολακας Νικολαος | |
dc.date.accessioned | 2018-07-23T14:38:25Z | - |
dc.date.available | 2018-07-23T14:38:25Z | - |
dc.date.issued | 2005-10-17 | |
dc.date.submitted | 2005-12-20 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14415 | - |
dc.description.abstract | Η διπλωματική αυτή έχει κύριο σκοπό την προσπάθεια καταγραφής των εφαρμογών των τυπικών μεθόδων στην προδιαγραφή και την επαλήθευση ιδιοτήτων και χαρακτηριστικών των συστημάτων κινητών επικοινωνιών και συγκεκριμένα γίνεται μια προσπάθεια εφαρμογής πάνω στο πρωτόκολλο του Bluetooth.Αρχικά, στο πρώτο μέρος της διπλωματικής δίνουμε τις κύριες προδιαγραφές του Bluetooth και αναλύουμε εις βάθος κάποιες στοιβάδες του πρωτοκόλλου τις οποίες και θα μοντελοποιήσουμε με την βοήθεια των τυπικών μεθόδων. Στο δεύτερο μέρος γίνεται μια παρουσίαση των τυπικών μεθόδων και περιγράφεται ένα υποσύνολο τους, που αφορά τις αλγεβρικές γλώσσες προδιαγραφών και το μαθηματικό τους υπόβαθρο (μαθηματική λογική). Στην συνέχεια παρουσιάζεται η προτεινόμενη επέκταση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ, η MobileOBJ, που στόχο έχει την δυνατότητα περιγραφής συστημάτων κινητών επικοινωνιών. Βάσει της MobileOBJ μοντελοποιούμε το πρωτόκολλο των συστημάτων Bluetooth και συγκεκριμένα δυο βασικά πρωτόκολλα της στοίβας, το LMP(Link Management Protocol) και το LC(Link Controller). | |
dc.language | Greek | |
dc.subject | τυπικοι μεθοδοι | |
dc.subject | κινητες επικοινωνιες | |
dc.subject | cafeobj | |
dc.subject | formal languages | |
dc.title | Εφαρμογή Τυπικών Μεθόδων Στις Κινητές Επικοινωνίες | |
dc.type | Diploma Thesis | |
dc.description.pages | 62 | |
dc.contributor.supervisor | Φράγκος Παναγιώτης | |
dc.department | Τομέας Συστημάτων Μετάδοσης Πληροφορίας & Τεχνολογίας Υλικών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2005-0203.doc | 826 kB | Microsoft Word | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.