Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/32185Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Μπέτσης, Γεώργιος | el |
| dc.date.accessioned | 2022-11-30T10:05:48Z | - |
| dc.date.available | 2022-11-30T10:05:48Z | - |
| dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/32185 | - |
| dc.identifier.uri | http://dx.doi.org/10.26268/heal.uoi.11997 | - |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
| dc.rights | info:eu-repo/semantics/openAccess | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
| dc.subject | Έγχυση σφαλμάτων | el |
| dc.subject | Ανάλυση απειλών | el |
| dc.subject | Fault injection | en |
| dc.subject | Threat analysis | en |
| dc.subject | FPGA | en |
| dc.title | Σύστημα εξομοίωσης μόνιμων σφαλμάτων σε FPGAs | el |
| dc.title | Permanent faults emulation system in FPGAs | en |
| dc.type | info:eu-repo/semantics/masterThesis | * |
| dc.type | info:eu-repo/semantics/masterThesis | * |
| heal.type | masterThesis | - |
| heal.type.en | Master thesis | en |
| heal.type.el | Μεταπτυχιακή εργασία | el |
| heal.classification | Σφάλματα | - |
| heal.dateAvailable | 2022-11-30T10:06:48Z | - |
| heal.language | el | - |
| heal.access | free | - |
| heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Πολυτεχνική Σχολή. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
| heal.publicationDate | 2022 | - |
| heal.bibliographicCitation | Βιβλιογραφία: σ. 42-44 | el |
| heal.abstract | Η διάθεση αξιόπιστων ψηφιακών συστημάτων υλικού στην αγορά από την βιομηχανία αυτοματοποίησης του σχεδιασμού (ElectronicDesignAutomation -EDA) και της κατασκευής ολοκληρωμένων συστημάτων υλικού απαιτεί 1) διαδικασίες ελέγχου της κατασκευαστικής τους ποιότητας και 2) διαδικασίες αξιολόγησης της αξιοπιστίας τους στο πεδίο της εφαρμογής τους. Μία από τις βασικές τεχνικές που εκτελείται τόσο κατά την σχεδίαση των διαδικασιών ελέγχου ολοκληρωμένων συστημάτων όσο και κατά την ανάλυση της αξιοπιστίας τους είναι η προσομοίωση σχεδιασμών υλικού παρουσίας σφαλμάτων (Faultssimulation). Ωστόσο, οι παραδοσιακές τεχνικές προσομοίωσης σφαλμάτων είναι υπολογιστικά απαιτητικές διεργασίες αφού η πολυπλοκότητά τους επηρεάζεται από το μέγεθος του σχεδιασμού. Για την επιτάχυνση της σχεδίασης ολοκληρωμένων συστημάτων υλικού, η βιομηχανία του EDA αντικαθιστά διαδικασίες που απαιτούσαν χρονοβόρες προσομοιώσεις από συστήματα εξομοίωσης. Στην εργασία αυτή έχουν μελετηθεί τεχνικές εξομοίωσης τη διαδικασίας έγχυσης σφαλμάτων σε ψηφιακά συστήματα υλικού, μιας νέας κατηγορίας τεχνικών που στοχεύει στην επιτάχυνση των διεργασιών προσομοίωσης σφαλμάτων στα συστήματα υλικού, η οποία έχει υπολογιστική πολυπλοκότητα ανεξάρτητη του μεγέθους του σχεδιασμού. Έχει αναπτυχθεί ένα σύστημα αυτοματοποιημένης έγχυσης σφαλμάτων μόνιμης τιμής σε RTL σχεδιασμούς και η διαδικασία της εξομοίωσης σφαλμάτων υλοποιήθηκε σε Xilinx FPGA. Το σύστημα που αναπτύχθηκε αξιολογήθηκε με πειραματισμούς πάνω σε συνθετικούς σχεδιασμούς πολλαπλών σειρών λογικών αντιστροφέων και επιτυγχάνει ρυθμό εξομοίωσης σφαλμάτων, ο οποίος είναι ανεξάρτητος από το πλήθος των λογικών πυλών του σχεδιασμού. Ο ρυθμός εξομοίωσης σφαλμάτων έχει συγκριθεί με αυτόν που επιτυγχάνεται από τις κλασικές μεθόδους προσομοίωσης σφαλμάτων που βασίζονται στο λογισμικό. Επιπρόσθετα, εξετάζοντας την δυνατότητα εφαρμογής του συστήματος στο πεδίο της εφαρμογής, το κόστος του συστήματος αξιολογήθηκε τόσο ως προς το επιπλέον υλικό, όσο και ως προς τον επιπλέον χρόνο απόκρισης με τα οποία επιβαρύνει έναν σχεδιασμό. | el |
| heal.abstract | In order to design and manufacture reliable digital hardware systems, the electronic design automation (EDA) and manufacturing of integrated systems industries require 1) manufacturing testing procedures for quality control; and 2) to be able to evaluate the reliability of devices in-the-field. A technique that is required for designing testing procedures and performing reliability assessment of electronic devices is the simulation of designs in the presence of faults (Faults simulation). However, traditional fault simulation techniques are computationally demanding processes since the design size impacts the complexity of simulations. Forspeedingupsuchcomputationallydemandingprocesses, theEDA replaces simulation-based procedures with system emulation, whenever possible. In this Thesis, a system for fault emulation of digital circuits is developed which consists of an automated stuck-at fault injection process in RTL designs and a fault emulation process, which is implemented on a Xilinx FPGA platform. The developed system is evaluated through experiments on synthetic designs of cascaded inverters and performs with error simulation rate that is independent of the number of logic gates in the design. The error simulation rate is compared to that achieved by a classical software-based fault simulation technique. In addition, in order to evaluate the applicability of the developed system in-the-field, the cost of the injection mechanism on the design is evaluated in terms of additional logic and response time. | en |
| heal.advisorName | Τενέντες, Βασίλειος | el |
| heal.committeeMemberName | Τενέντες, Βασίλειος | el |
| heal.committeeMemberName | Τσιατούχας, Γεώργιος | el |
| heal.committeeMemberName | Ευθυμίου, Αριστείδης | el |
| heal.academicPublisher | Πανεπιστήμιο Ιωαννίνων. Πολυτεχνική Σχολή. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
| heal.academicPublisherID | uoi | - |
| heal.numberOfPages | 60 σ. | - |
| heal.fullTextAvailability | true | - |
| Appears in Collections: | Διατριβές Μεταπτυχιακής Έρευνας (Masters) - ΜΗΥΠ | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| M.E. ΜΠΕΤΣΗΣ ΓΕΩΡΓΙΟΣ 2022.pdf | 4.85 MB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
