ΥΠΟΛΟΓΙΣΤΙΚΑ ΣΥΣΤΗΜΑΤΑ ΥΨΗΛΗΣ ΑΞΙΟΠΙΣΤΙΑΣ
ΙΩΑΝΝΗΣ ΒΟΓΙΑΤΖΗΣ, ΓΙΩΡΓΟΣ ΛΕΝΤΑΡΗΣ, ΒΑΣΙΛΕΙΟΣ ΓΚΑΜΑΣ
Περιγραφή
Το μάθημα εισάγει τους φοιτητές στις βασικές αρχές της αξιοπιστίας των υπολογιστικών συστημάτων. Περιλαμβάνει τις παρακάτω έξι (6) θεματικές ενότητες:
- Εισαγωγή στην αξιοπιστία συστημάτων
- Σφάλματα και δοκιμή
- Έλεγχος ορθής λειτουργίας ολοκληρωμένων κυκλωμάτων
- Σχεδίαση λογικών κυκλωμάτων για δοκιμαστικότητα
- Προσομοίωση λογικής και σφαλμάτων
- Παραγωγή δοκιμής
- Ενσωματωμένος αυτο-έλεγχος
Το μάθημα εισάγει τους φοιτητές στις βασικές αρχές της αξιοπιστίας των υπολογιστικών συστημάτων. Περιλαμβάνει τις παρακάτω έξι (6) θεματικές ενότητες:
- Εισαγωγή στην αξιοπιστία συστημάτων
- Σφάλματα και δοκιμή
- Έλεγχος ορθής λειτουργίας ολοκληρωμένων κυκλωμάτων
- Σχεδίαση λογικών κυκλωμάτων για δοκιμαστικότητα
- Προσομοίωση λογικής και σφαλμάτων
- Παραγωγή δοκιμής
- Ενσωματωμένος αυτο-έλεγχος
Το μάθημα εισάγει τους φοιτητές στις βασικές αρχές της αξιοπιστίας των υπολογιστικών συστημάτων. Περιλαμβάνει τις παρακάτω έξι (6) θεματικές ενότητες:
- Εισαγωγή στην αξιοπιστία συστημάτων
- Σφάλματα και δοκιμή
- Έλεγχος ορθής λειτουργίας ολοκληρωμένων κυκλωμάτων
- Σχεδίαση λογικών κυκλωμάτων για δοκιμαστικότητα
- Προσομοίωση λογικής και σφαλμάτων
- Παραγωγή δοκιμής
- Ενσωματωμένος αυτο-έλεγχος
- Βασικές έννοιες αξιοπιστίας
- Απαιτήσεις αξιοπιστίας
- Ανάλυση αξιοπιστίας
- Αξιοπιστία σειριακών και παράλληλων συστημάτων
- Εισαγωγή πλεονασμού
- Τεχνικές αξιολόγησης της αξιοπιστίας
- Ελαττώματα, σφάλματα και λάθη
- Το πρόβλημα και η διαδικασία της δοκιμής
- Δοκιμή και διάγνωση
- Κατηγορίες δοκιμής
- Εκτίμηση ελέγχου
- Δοκιμή ολοκληρωμένων κυκλωμάτων
- Παραγωγή δοκιμής
- Μοντέλα σφαλμάτων
- Σφάλματα μόνιμης τιμής
- Σφάλματα σε τρανζίστορ
- Σφάλματα γεφύρωσης
- Σφάλματα καθυστέρησης
- Εντοπισμός και διάγνωση σφαλμάτων
- Έλεγχος κυκλωμάτων ψηφιακής λογικής
- Μη ελέγξιμα σφάλματα
- Δοκιμαστικότητα κυκλωμάτων
- Τεχνική ανάλυσης δοκιμαστικότητας SCOAP
- Τεχνική ανάλυσης δοκιμαστικότητας στηριζόμενη σε πιθανότητες
- Τεχνική ανάλυσης δοκιμαστικότητας στηριζόμενη στην προσομοίωση
- Δομημένες και αδόμητες τεχνικές σχεδίασης για δοκιμαστικότητα
- Σειριακή προσωμοίωση σφαλμάτων
- Παράλληλη προσωμοίωση σφαλμάτων
- Επαγωγική προσωμοίωση σφαλμάτων
- Ταυτόχρονη προσωμοίωση σφαλμάτων
- Εναλλακτικές τεχνικές στην εξομοίωση σφαλμάτων
- Αυτόματη παραγωγή προτύπων δοκιμής
- Βοolean διαφορά
- Ντετερμινιστές τεχνικές αυτόματης παραγωγής προτύπων δοκιμής
- Έλεγχος κυκλωμάτων συνδυαστικής λογικής
- Έλεγχος ακολουθιακών κυκλωμάτων
