Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500
Τίτλος: | Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα |
Συγγραφείς: | Καλιμάντζαλης-Λιανας, Ευάγγελος Παπασπύρου Νικόλαος |
Λέξεις κλειδιά: | Επαλήθευση κατά την εκτέλεση Runtime verificaton εποπτεία monitoring Λογική γραμμικού χρόνου LTL λογικές πραγματικού χρόνου real-time logics κατανεμημένα συστήματα distributed systems ασύργχρονη επικοινωνία asynchronous communication |
Ημερομηνία έκδοσης: | 27-Δεκ-2018 |
Περίληψη: | Σε αυτή τη διπλωματική θα εξεταστούν μέθοδοι επαλήθευσης κατά την εκτέλεση κατα- νεμημένων συστημάτων. Θα παρουσιαστούν τρεις βασικές φιλοσοφίες λειτουργίας της επαλήθευσης. Επίσης, θα εξεταστούν οι διαφορετικές γλώσσες έκφρασης ιδιοτήτων προς επαλήθευση. Ακόμα θα εξεταστούν η ορθότητα και η πληρότητα των μεθόδων αυτών καθώς και άλλα ζητήματα όπως καθυστέρηση του και η πολυπλοκότητά τους. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
Διπλωματική Βαγγέλης check.pdf | 860.03 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.