ΑΞΙΟΠΙΣΤΙΑ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ (COMPUTER SYSTEMS RELIABILITY)
Μιχάλης Ψαράκης
Περιγραφή
Βασικές έννοιες και ορισμοί: Αξιοπιστία (reliability), διαθεσιμότητα (availability). Συστήματα ανεκτικά σε βλάβες (fault tolerant systems). Τεχνικές πλεονασμού: πλεονασμός υλικού, λογισμικού, χρόνου και πληροφορίας. Κώδικες ανίχνευσης και διόρθωσης σφαλμάτων: κώδικες Hamming codes, κώδικες ισοτιμίας, κυκλικοί κώδικες. Επαλήθευση και δοκιμή ολοκληρωμένων κυκλωμάτων. Μοντελοποίηση ελαττωμάτων. Προσομοίωση ελαττωμάτων. Αυτόματη παραγωγή διανυσμάτωνδοκιμής (Automatic Test Pattern Generation, ATPG). Δοκιμή μνημών. Δοκιμή καθυστέρησης (delay testing) και δοκιμή ρεύματος (Iddq). Σχεδίαση για αυξημένη δοκιμαστικότητα (Design-for-Testability, DfT). Ενσωματωμένη αυτοδοκιμή (Built-In Self-Test, BIST).
Basic concepts and definitions: Reliability, Availability, Maintainability. Fault tolerant Systems. Redundancy techniques: hardware, software, time, and information redundancy. Triple-Modular Redundancy. Error detection and correction codes: Hamming codes, parity codes, checksum codes, cyclic codes. Verification and testing of Integrated Circuits. Automatic Test Equipment (ATE). Fault modeling. Fault simulation. Automatic Test Pattern Generation (ATPG). Combinational and Sequential ATPG. Memory testing. Delay testing and current testing (Iddq). Design-for-Testability (DfT). Built-In Self-Test (BIST). Scan design.
Ανθρώπινο Δυναμικό
Μιχάλης Ψαράκης, Επίκουρος ΚαθηγητήςΛιγότερα
Περιγραφή
Βασικές έννοιες και ορισμοί: Αξιοπιστία (reliability), διαθεσιμότητα (availability). Συστήματα ανεκτικά σε βλάβες (fault tolerant systems). Τεχνικές πλεονασμού: πλεονασμός υλικού, λογισμικού, χρόνου και πληροφορίας. Κώδικες ανίχνευσης και διόρθωσης σφαλμάτων: κώδικες Hamming codes, κώδικες ισοτιμίας, κυκλικοί κώδικες. Επαλήθευση και δοκιμή ολοκληρωμένων κυκλωμάτων. Μοντελοποίηση ελαττωμάτων. Προσομοίωση ελαττωμάτων. Αυτόματη παραγωγή διανυσμάτωνδοκιμής (Automatic Test Pattern Generation, ATPG). Δοκιμή μνημών. Δοκιμή καθυστέρησης (delay testing) και δοκιμή ρεύματος (Iddq). Σχεδίαση για αυξημένη δοκιμαστικότητα (Design-for-Testability, DfT). Ενσωματωμένη αυτοδοκιμή (Built-In Self-Test, BIST).
Basic concepts and definitions: Reliability, Availability, Maintainability. Fault tolerant Systems. Redundancy techniques: hardware, software, time, and information redundancy. Triple-Modular Redundancy. Error detection and correction codes: Hamming codes, parity codes, checksum codes,
Περιγραφή
Βασικές έννοιες και ορισμοί: Αξιοπιστία (reliability), διαθεσιμότητα (availability). Συστήματα ανεκτικά σε βλάβες (fault tolerant systems). Τεχνικές πλεονασμού: πλεονασμός υλικού, λογισμικού, χρόνου και πληροφορίας. Κώδικες ανίχνευσης και διόρθωσης σφαλμάτων: κώδικες Hamming codes, κώδικες ισοτιμίας, κυκλικοί κώδικες. Επαλήθευση και δοκιμή ολοκληρωμένων κυκλωμάτων. Μοντελοποίηση ελαττωμάτων. Προσομοίωση ελαττωμάτων. Αυτόματη παραγωγή διανυσμάτωνδοκιμής (Automatic Test Pattern Generation, ATPG). Δοκιμή μνημών. Δοκιμή καθυστέρησης (delay testing) και δοκιμή ρεύματος (Iddq). Σχεδίαση για αυξημένη δοκιμαστικότητα (Design-for-Testability, DfT). Ενσωματωμένη αυτοδοκιμή (Built-In Self-Test, BIST).
Basic concepts and definitions: Reliability, Availability, Maintainability. Fault tolerant Systems. Redundancy techniques: hardware, software, time, and information redundancy. Triple-Modular Redundancy. Error detection and correction codes: Hamming codes, parity codes, checksum codes,
