Nationally Funded Projects
More
Short title: ΑΡΧΙΜΙΔΗΣ
Full title: Υψηλής Ποιότητας Ενσωματωμένος Έλεγχος Ορθής Λειτουργίας Ολοκληρωμένων Συστημάτων Σε Βαθιά Υπο-Μικρονικές Τεχνολογίες
Full title: Υψηλής Ποιότητας Ενσωματωμένος Έλεγχος Ορθής Λειτουργίας Ολοκληρωμένων Συστημάτων Σε Βαθιά Υπο-Μικρονικές Τεχνολογίες
Summary
Αντικείμενο της προτεινόμενης έρευνας είναι η ανάπτυξη εξελιγμένων τεχνικών Ελέγχου Ορθής Λειτουργίας Ολοκληρωμένων Συστημάτων για α) κάλυψη ρεαλιστικών μοντέλων σφαλμάτων υπομικρονικών τεχνολογιών με β) μείωση του κόστους ελέγχου και γ) τήρηση των ορίων κατανάλωσης ενέργειας. Συγκεκριμένα, θα προταθούν εξελιγμένες τεχνικές ελέγχου με υψηλά ποσοστά κάλυψης ρεαλιστικών σφαλμάτων, όπως βραχυκυκλώματα διασυνδέσεων, σφάλματα μετάβασης, σφάλματα μικρής καθυστέρησης, αλληλεπίδρασης γραμμών, και χαμηλό κόστος ελέγχου. Θα χρησιμοποιηθεί / επεκταθεί η θεωρία της "Πιθανοθεωρητικής Απόκλισης Εξόδων", η οποία αποτελεί μία ιδιαίτερα αποδοτική τεχνική αξιολόγησης και επιλογής υψηλής ποιότητας διανυσμάτων ελέγχου σε σχέση με την κάλυψη μη- μοντελοποιημένων σφαλμάτων. Οι προτεινόμενες τεχνικές ελέγχου θα πλαισιωθούν από καινοτόμες ενσωματωμένες δομές ελέγχου που μειώνουν το κόστος εφαρμογής τους (χρόνος ελέγχου και όγκος δεδομένων ελέγχου) καθώς αναλαμβάνουν το σημαντικότερο τμήμα του ελέγχου, ενώ θα τηρούν προδιαγραφές αξιοπιστίας για τον έλεγχο των συστημάτων, όπως η τήρηση των ορίων κατανάλωσης, όπως αυτές καθορίζονται κατά την φάση σχεδίασης των συστημάτων. Παράλληλα, θα αναπτυχθούν εργαλεία αυτόματης εφαρμογής των προτεινόμενων μεθόδων καθώς και αυτόματης σχεδίασης των προτεινόμενων δομών ελέγχου. Τα εργαλεία αυτά θα αποτελέσουν τμήμα της ροής σχεδίασης των Ολοκληρωμένων Συστημάτων, και σε συνδυασμό με υπάρχοντα εργαλεία και μεθοδολογίες σχεδίασης θα επιτρέψουν την μέγιστη αυτοματοποίηση του κύκλου σχεδίασης και ελέγχου ορθής λειτουργίας τους.
Αντικείμενο της προτεινόμενης έρευνας είναι η ανάπτυξη εξελιγμένων τεχνικών Ελέγχου Ορθής Λειτουργίας Ολοκληρωμένων Συστημάτων για α) κάλυψη ρεαλιστικών μοντέλων σφαλμάτων υπομικρονικών τεχνολογιών με β) μείωση του κόστους ελέγχου και γ) τήρηση των ορίων κατανάλωσης ενέργειας. Συγκεκριμένα, θα προταθούν εξελιγμένες τεχνικές ελέγχου με υψηλά ποσοστά κάλυψης ρεαλιστικών σφαλμάτων, όπως βραχυκυκλώματα διασυνδέσεων, σφάλματα μετάβασης, σφάλματα μικρής καθυστέρησης, αλληλεπίδρασης γραμμών, και χαμηλό κόστος ελέγχου. Θα χρησιμοποιηθεί / επεκταθεί η θεωρία της "Πιθανοθεωρητικής Απόκλισης Εξόδων", η οποία αποτελεί μία ιδιαίτερα αποδοτική τεχνική αξιολόγησης και επιλογής υψηλής ποιότητας διανυσμάτων ελέγχου σε σχέση με την κάλυψη μη- μοντελοποιημένων σφαλμάτων. Οι προτεινόμενες τεχνικές ελέγχου θα πλαισιωθούν από καινοτόμες ενσωματωμένες δομές ελέγχου που μειώνουν το κόστος εφαρμογής τους (χρόνος ελέγχου και όγκος δεδομένων ελέγχου) καθώς αναλαμβάνουν το σημαντικότερο τμήμα του ελέγχου, ενώ θα τηρούν προδιαγραφές αξιοπιστίας για τον έλεγχο των συστημάτων, όπως η τήρηση των ορίων κατανάλωσης, όπως αυτές καθορίζονται κατά την φάση σχεδίασης των συστημάτων. Παράλληλα, θα αναπτυχθούν εργαλεία αυτόματης εφαρμογής των προτεινόμενων μεθόδων καθώς και αυτόματης σχεδίασης των προτεινόμενων δομών ελέγχου. Τα εργαλεία αυτά θα αποτελέσουν τμήμα της ροής σχεδίασης των Ολοκληρωμένων Συστημάτων, και σε συνδυασμό με υπάρχοντα εργαλεία και μεθοδολογίες σχεδίασης θα επιτρέψουν την μέγιστη αυτοματοποίηση του κύκλου σχεδίασης και ελέγχου ορθής λειτουργίας τους.
More
Short title: ΑΡΧΙΜΙΔΗΣ
Full title: Ανθεκτικοί σε Σφάλματα Αλγόριθμοι Αύξησης και Εξισορρόπησης Φόρτου σε Κατανεμημένα Περιβάλλοντα
Full title: Ανθεκτικοί σε Σφάλματα Αλγόριθμοι Αύξησης και Εξισορρόπησης Φόρτου σε Κατανεμημένα Περιβάλλοντα
Summary
Η ανίχνευση και αντιμετώπιση σφαλμάτων (faults) παράλληλα με καινοτόμους αλγόριθμους αύξησης και εξισορρόπησης φόρτου δεδομένων σε ένα κατανεμημένο περιβάλλον συμβάλει τόσο στη βελτίωση της διαθεσιμότητας των δεδομένων όσο και στη γρήγορη εξυπηρέτηση των χρηστών. Μελέτες που αποσκοπούν σε πιο ανθεκτικά σε σφάλματα δίκτυα (fault tolerant networks) έχουν εντατικοποιηθεί τα τελευταία χρόνια. Ενώ προσπάθειες στις ερευνητικές περιοχές αλγόριθμων αύξησης και εξισορρόπησης του φόρτου δεδομένων και αντιμετώπισης σφαλμάτων αντιμετωπίζουν αυτά τα δυο προβλήματα ξεχωριστά, στο παρόν έργο προτείνουμε τη δημιουργία καινούργιου θεωρητικού υπόβαθρου για την παραγωγή καινοτόμων αλγόριθμων υψηλής απόδοσης που επωφελούνται από την ενοποιημένη αντιμετώπιση των δυο παραπάνω ερευνητικών περιοχών. Οι καινούργιοι αλγόριθμοι θα δοκιμαστούν σε διάφορες τοπολογίες, χρησιμοποιώντας θεωρητικές και ρεαλιστικές κατανομές μετάδοσης δεδομένων. Η ανάλυση απόδοσης των αλγορίθμων αυτών θα γίνει με αναλυτικές μεθόδους, αλλά και με τη μέθοδο της προσομοίωσης. Συμπερασματικά η έρευνά μας αποσκοπεί στην ανάπτυξη πρωτότυπων μοντέλων, στρατηγικών και αλγορίθμων για τη μεγιστοποίηση της απόδοσης κατανεμημένων δικτύων ευάλωτων σε σφάλματα, καθώς και την εφαρμογή τους σε περιβάλλοντα όπως Δικτύων Διανομής Δεδομένων (Δ3), Grid, supercomputing.
Η ανίχνευση και αντιμετώπιση σφαλμάτων (faults) παράλληλα με καινοτόμους αλγόριθμους αύξησης και εξισορρόπησης φόρτου δεδομένων σε ένα κατανεμημένο περιβάλλον συμβάλει τόσο στη βελτίωση της διαθεσιμότητας των δεδομένων όσο και στη γρήγορη εξυπηρέτηση των χρηστών. Μελέτες που αποσκοπούν σε πιο ανθεκτικά σε σφάλματα δίκτυα (fault tolerant networks) έχουν εντατικοποιηθεί τα τελευταία χρόνια. Ενώ προσπάθειες στις ερευνητικές περιοχές αλγόριθμων αύξησης και εξισορρόπησης του φόρτου δεδομένων και αντιμετώπισης σφαλμάτων αντιμετωπίζουν αυτά τα δυο προβλήματα ξεχωριστά, στο παρόν έργο προτείνουμε τη δημιουργία καινούργιου θεωρητικού υπόβαθρου για την παραγωγή καινοτόμων αλγόριθμων υψηλής απόδοσης που επωφελούνται από την ενοποιημένη αντιμετώπιση των δυο παραπάνω ερευνητικών περιοχών. Οι καινούργιοι αλγόριθμοι θα δοκιμαστούν σε διάφορες τοπολογίες, χρησιμοποιώντας θεωρητικές και ρεαλιστικές κατανομές μετάδοσης δεδομένων. Η ανάλυση απόδοσης των αλγορίθμων αυτών θα γίνει με αναλυτικές μεθόδους, αλλά και με τη μέθοδο της προσομοίωσης. Συμπερασματικά η έρευνά μας αποσκοπεί στην ανάπτυξη πρωτότυπων μοντέλων, στρατηγικών και αλγορίθμων για τη μεγιστοποίηση της απόδοσης κατανεμημένων δικτύων ευάλωτων σε σφάλματα, καθώς και την εφαρμογή τους σε περιβάλλοντα όπως Δικτύων Διανομής Δεδομένων (Δ3), Grid, supercomputing.
More
Short title: ΘΑΛΗΣ
Full title: Σύνθεση υψηλού επιπέδου αρχιτεκτονικών υλικού από περιγραφές σε γλώσσες προγραμματισμού υψηλού επιπέδου
Full title: Σύνθεση υψηλού επιπέδου αρχιτεκτονικών υλικού από περιγραφές σε γλώσσες προγραμματισμού υψηλού επιπέδου
Summary
Αντικείμενο του έργου αποτελεί η ανάπτυξη μεθοδολογίας για τη σύνθεση υψηλού επιπέδου αρχιτεκτονικών υλικού από περιγραφές εφαρμογών σε διαδικαστικές γλώσσες προγραμματισμού υψηλού επιπέδου και η αποτίμηση αυτής σε βιομηχανικές εφαρμογές. Θα δοθεί ιδιαίτερη έμφαση: α) στη σύνθεση αρχιτεκτονικών υψηλών επιδόσεων χρησιμοποιώντας ισχυρές τεχνικές παραλληλοποίησης, β) στην κανονικοποίηση του πηγαίου κώδικα των εφαρμογών με κατάλληλους μετασχηματισμούς σε υψηλό επίπεδο προκειμένου την εξουδετέρωση του ιδιοσυγκρασιακού χαρακτήρα του, και γ) στην υποστήριξη ανερχόμενων γλωσσών προγραμματισμού για την αλγοριθμική περιγραφή εφαρμογών με κύριο παράδειγμα τις γλώσσες ImpulseC και Matlab, με τις κατάλληλες ενδιάμεσες αναπαραστάσεις, αναλύσεις και βελτιστοποιήσεις.
Αντικείμενο του έργου αποτελεί η ανάπτυξη μεθοδολογίας για τη σύνθεση υψηλού επιπέδου αρχιτεκτονικών υλικού από περιγραφές εφαρμογών σε διαδικαστικές γλώσσες προγραμματισμού υψηλού επιπέδου και η αποτίμηση αυτής σε βιομηχανικές εφαρμογές. Θα δοθεί ιδιαίτερη έμφαση: α) στη σύνθεση αρχιτεκτονικών υψηλών επιδόσεων χρησιμοποιώντας ισχυρές τεχνικές παραλληλοποίησης, β) στην κανονικοποίηση του πηγαίου κώδικα των εφαρμογών με κατάλληλους μετασχηματισμούς σε υψηλό επίπεδο προκειμένου την εξουδετέρωση του ιδιοσυγκρασιακού χαρακτήρα του, και γ) στην υποστήριξη ανερχόμενων γλωσσών προγραμματισμού για την αλγοριθμική περιγραφή εφαρμογών με κύριο παράδειγμα τις γλώσσες ImpulseC και Matlab, με τις κατάλληλες ενδιάμεσες αναπαραστάσεις, αναλύσεις και βελτιστοποιήσεις.
More
Short title: ΔΑΣΤΑ
Full title: Πρακτική Άσκηση στα ΤΕΙ
Full title: Πρακτική Άσκηση στα ΤΕΙ
Summary
Σκοπός του προτεινόμενου έργου είναι να αναβαθμίσει το υπάρχων πρόγραμμα Πρακτικής Άσκησης του Τμήματος Τηλεπικοινωνιακών Συστημάτων και Δικτύων του ΤΕΙ Μεσολογγίου. Το γνωστικό αντικείμενο του Τμήματος επιτρέπει τους σπουδαστές να εκπονούν την πρακτική τους άσκηση σε οποιαδήποτε Υπηρεσία τόσο του Δημόσιου όσο και του Ιδιωτικού Τομέα στην οποία λαμβάνει χώρα η εισαγωγή, συντήρηση ή επέκταση της Τεχνολογίας της Πληροφορικής και των Επικοινωνιών (ΤΠΕ). Το γεγονός αυτό δίνει συγκριτικά πλεονεκτήματα στο Τμήμα με μεγάλη προσφορά θέσεων πρακτικής άσκησης όμως και μεγάλες απαιτήσεις αφού η ραγδαία εξέλιξη της τεχνολογίας απαιτεί συνεχή παρακολούθηση της αγοράς εργασίας, αξιολόγηση της απόδοσης των σπουδαστών στην πρώτη τους άμεση επαφή με τον εργασιακό χώρο και την τακτική προσαρμογή του προγράμματος σπουδών του Τμήματος με σκοπό την ουσιαστική σύνδεση της εκπαίδευσης με την παραγωγή. Με την παρούσα πρόταση, το Τμήμα στοχεύει στη βελτιστοποίηση του προγράμματος Πρακτικής Άσκησης του με δραστηριότητες ενίσχυσης σε όλα τα στάδια εφαρμογής της. Προτείνεται η δημιουργία ενός σύγχρονου, μηχανισμού ανεύρεσης και προβολής θέσεων Πρακτική Άσκησης, η ανάπτυξη πλαισίου κινήτρων για την επιλογή των ασκουμένων και των φορέων άσκησης, η καθιέρωση μίας συστηματικότερης μεθόδου παρακολούθησης, αξιολόγησης και υποστήριξης της πορείας κάθε ασκουμένου και φορέα πρακτικής άσκησης καθώς και ο σχεδιασμός και εφαρμογή διαδικασιών για την τακτική προσαρμογή του Προγράμματος Σπουδών με βάση τα αποτελέσματα αξιολόγησης της Πρακτικής Άσκησης. Οι δραστηριότητες αυτές βρίσκονται σε συνέργεια με τις κεντρικές δράσεις του Γραφείου Πρακτικής Άσκησης του ΤΕΙ Μεσολογγίου προωθώντας ένα συντονισμένο μηχανισμό εφαρμογής του θεσμού στο ΤΕΙ.
Σκοπός του προτεινόμενου έργου είναι να αναβαθμίσει το υπάρχων πρόγραμμα Πρακτικής Άσκησης του Τμήματος Τηλεπικοινωνιακών Συστημάτων και Δικτύων του ΤΕΙ Μεσολογγίου. Το γνωστικό αντικείμενο του Τμήματος επιτρέπει τους σπουδαστές να εκπονούν την πρακτική τους άσκηση σε οποιαδήποτε Υπηρεσία τόσο του Δημόσιου όσο και του Ιδιωτικού Τομέα στην οποία λαμβάνει χώρα η εισαγωγή, συντήρηση ή επέκταση της Τεχνολογίας της Πληροφορικής και των Επικοινωνιών (ΤΠΕ). Το γεγονός αυτό δίνει συγκριτικά πλεονεκτήματα στο Τμήμα με μεγάλη προσφορά θέσεων πρακτικής άσκησης όμως και μεγάλες απαιτήσεις αφού η ραγδαία εξέλιξη της τεχνολογίας απαιτεί συνεχή παρακολούθηση της αγοράς εργασίας, αξιολόγηση της απόδοσης των σπουδαστών στην πρώτη τους άμεση επαφή με τον εργασιακό χώρο και την τακτική προσαρμογή του προγράμματος σπουδών του Τμήματος με σκοπό την ουσιαστική σύνδεση της εκπαίδευσης με την παραγωγή. Με την παρούσα πρόταση, το Τμήμα στοχεύει στη βελτιστοποίηση του προγράμματος Πρακτικής Άσκησης του με δραστηριότητες ενίσχυσης σε όλα τα στάδια εφαρμογής της. Προτείνεται η δημιουργία ενός σύγχρονου, μηχανισμού ανεύρεσης και προβολής θέσεων Πρακτική Άσκησης, η ανάπτυξη πλαισίου κινήτρων για την επιλογή των ασκουμένων και των φορέων άσκησης, η καθιέρωση μίας συστηματικότερης μεθόδου παρακολούθησης, αξιολόγησης και υποστήριξης της πορείας κάθε ασκουμένου και φορέα πρακτικής άσκησης καθώς και ο σχεδιασμός και εφαρμογή διαδικασιών για την τακτική προσαρμογή του Προγράμματος Σπουδών με βάση τα αποτελέσματα αξιολόγησης της Πρακτικής Άσκησης. Οι δραστηριότητες αυτές βρίσκονται σε συνέργεια με τις κεντρικές δράσεις του Γραφείου Πρακτικής Άσκησης του ΤΕΙ Μεσολογγίου προωθώντας ένα συντονισμένο μηχανισμό εφαρμογής του θεσμού στο ΤΕΙ.
More
Short title: ΑΡΧΙΜΙΔΗΣ
Full title: Αλγόριθμοι και τεχνικές βελτιστοποίησης για την εκτέλεση εφαρμογών σε αρχιτεκτονικές υλικού με πολλαπλούς επεξεργαστικούς πυρήνες
Full title: Αλγόριθμοι και τεχνικές βελτιστοποίησης για την εκτέλεση εφαρμογών σε αρχιτεκτονικές υλικού με πολλαπλούς επεξεργαστικούς πυρήνες
Summary
Ο βασικός στόχος της συγκεκριμένης πρότασης είναι να μελετήσει, να αξιολογήσει και να προτείνει αλγορίθμους για την βελτιστοποίηση λογισμικού για ενσωματωμένα συστήματα που βασίζονται σε αρχιτεκτονικές υλικού με πολλαπλούς επεξεργαστικούς πυρήνες. Στα πλαίσια του συγκεκριμένου έργου, θα αναπτυχθεί ένα σύνολο εργαλείων για την ανάλυση και την βελτιστοποίηση του ενσωματωμένου λογισμικού που αναπτύσσεται για τα συγκεκριμένα συστήματα. Τα εργαλεία που θα υλοποιούν τους αλγορίθμους που θα προτείνουν σενάρια κατανομής (allocation) του λογισμικού που έχει αναπτύξει ο χρήστης στους διαθέσιμους επεξεργαστικούς πυρήνες και θα έχουν τη δυνατότητα επικοινωνία με τον εξομοιωτή της πλατφόρμας υλικού που περιέχει τους επεξεργαστικούς πυρήνες. Τα εργαλεία και οι αλγόριθμοι που θα αναπτυχθούν θα παρέχουν στον χρήστη τη δυνατότητα σύγκρισης εναλλακτικών υλοποιήσεων. Ο τελικός χρήστης θα έχει τη δυνατότητα παραμετροποιεί τον αλγόριθμο βελτιστοποίησης ώστε να μπορεί να εκτελεί what-if σενάρια.
Ο βασικός στόχος της συγκεκριμένης πρότασης είναι να μελετήσει, να αξιολογήσει και να προτείνει αλγορίθμους για την βελτιστοποίηση λογισμικού για ενσωματωμένα συστήματα που βασίζονται σε αρχιτεκτονικές υλικού με πολλαπλούς επεξεργαστικούς πυρήνες. Στα πλαίσια του συγκεκριμένου έργου, θα αναπτυχθεί ένα σύνολο εργαλείων για την ανάλυση και την βελτιστοποίηση του ενσωματωμένου λογισμικού που αναπτύσσεται για τα συγκεκριμένα συστήματα. Τα εργαλεία που θα υλοποιούν τους αλγορίθμους που θα προτείνουν σενάρια κατανομής (allocation) του λογισμικού που έχει αναπτύξει ο χρήστης στους διαθέσιμους επεξεργαστικούς πυρήνες και θα έχουν τη δυνατότητα επικοινωνία με τον εξομοιωτή της πλατφόρμας υλικού που περιέχει τους επεξεργαστικούς πυρήνες. Τα εργαλεία και οι αλγόριθμοι που θα αναπτυχθούν θα παρέχουν στον χρήστη τη δυνατότητα σύγκρισης εναλλακτικών υλοποιήσεων. Ο τελικός χρήστης θα έχει τη δυνατότητα παραμετροποιεί τον αλγόριθμο βελτιστοποίησης ώστε να μπορεί να εκτελεί what-if σενάρια.
