Βιογραφικό Σημείωμα. Νικόλαος Σπ. Βώρος. Επίκουρος Καθηγητής Τμήμα Τηλεπικοινωνιακών Συστημάτων & Δικτύων ΤΕΙ Μεσολογγίου (Παράρτημα Ναυπάκτου)

Transcript

1 Βιογραφικό Σημείωμα Νικόλαος Σπ. Βώρος Επίκουρος Καθηγητής Τμήμα Τηλεπικοινωνιακών Συστημάτων & Δικτύων ΤΕΙ Μεσολογγίου (Παράρτημα Ναυπάκτου) Οκτώβριος 09

2 ΠΡΟΣΩΠΙΚΑ ΣΤΟΙΧΕΙΑ Όνομα: Επώνυμο: Νικόλαος Βώρος Ημερομηνία γεννήσεως: 21 Μαρτίου 1972 Τόπος γεννήσεως: Επάγγελμα: Εργασία: Οικογενειακή κατάσταση: ΣΠΟΥΔΕΣ Αθήνα Επίκουρος Καθηγητής, Μηχανικός Η/Υ και Πληροφορικής ΤΕΙ Μεσολογγίου, Τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων (Παράρτημα Ναυπάκτου) Έγγαμος : Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής Πανεπιστήμιο Πατρών Βαθμός Πτυχίου: Άριστα Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Η/Υ Πανεπιστήμιο Πατρών Εκπόνηση και ολοκλήρωση διδακτορικής διατριβής με θέμα: Συσχεδιασμός ενσωματωμένων τηλεπικοινωνιακών συστημάτων υλικού - λογισμικού με χρήση πολλαπλών φορμαλισμών και μαθηματικά επιβεβαιωμένη εκλέπτυνση : Μηχανικός Η/Υ και Πληροφορικής Ερευνητής στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Η/Υ (συμμετοχή σε ερευνητικά προγράμματα χρηματοδοτούμενα από την Ευρωπαϊκή Ένωση) Μηχανικός Η/Υ και Πληροφορικής Ερευνητής στο Ινστιτούτο Βιομηχανικών Συστημάτων (ΙΝΒΙΣ) Μηχανικός Η/Υ και Πληροφορικής Ερευνητής στο Ινστιτούτο Τεχνολογίας Υπολογιστών (ΙΤΥ) : Εκπλήρωση στρατιωτικών υποχρεώσεων στο σώμα Έρευνας και Πληροφορικής του Στρατού Ξηράς , Σύμβουλος ΙΝΤΡΑΚΟΜ Α.Ε. σε θέματα σχεδιασμού συστημάτων για δίκτυα επικοινωνιών. Σελίδα 2 από 22

3 2008 σήμερα Επίκουρος καθηγητής στο Τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων του ΤΕΙ Μεσολογγίου ΕΡΕΥΝΗΤΙΚΑ ΕΝΔΙΑΦΕΡΟΝΤΑ Τα βασικά ερευνητικά μου ενδιαφέροντα επικεντρώνονται στην ευρύτερη περιοχή του σχεδιασμού τηλεπικοινωνιακών συστημάτων. Πιο συγκεκριμένα, δραστηριοποιούμαι στην περιοχή ανάπτυξης μεθόδων/μεθοδολογιών για τηλεπικοινωνιακά συστήματα, με έμφαση στα ασύρματα δίκτυα επικοινωνιών. Στα πλαίσια της διδακτορικής μου διατριβής με τίτλο «Συσχεδιασμός ενσωματωμένων τηλεπικοινωνιακών συστημάτων υλικού - λογισμικού με χρήση πολλαπλών φορμαλισμών και μαθηματικά επιβεβαιωμένη εκλέπτυνση» μελέτησα τα βασικά σχεδιαστικά προβλήματα που ανακύπτουν κατά τη διάρκεια του σχεδιασμού και ανάπτυξης πολύπλοκων τηλεπικοινωνιακών συστημάτων για ασύρματα δίκτυα. Αποτέλεσμα της συγκεκριμένης ερευνητικής δραστηριότητας ήταν η ανάπτυξη μιας νέας μεθόδου σχεδίασης η οποία πρότεινε τη συνδυασμένη χρήση των γλωσσών UML και SDL για τη φάση της ανάλυσης και σχεδιασμού συστημάτων. Παράλληλα, προτάθηκε η έννοια της μαθηματικά επιβεβαιωμένης εκλέπτυνσης των μοντέλων του υπό ανάπτυξη συστήματος με χρήση προσωρινής λογικής (TLA Temporary Logic of Action). Η προτεινόμενη μεθοδολογία εφαρμόστηκε για το σχεδιασμό και την ανάπτυξη του MASCARA, ενός πρωτοκόλλου επιπέδου MAC για ασύρματα ΑΤΜ δίκτυα. Παράλληλα, εργαζόμενος στο τμήμα έρευνας και ανάπτυξης της εταιρίας ΙΝΤΡΑΚΟΜ ΑΕ (ως υπεύθυνος για θέματα μεθοδολογιών και γλωσσών σχεδιασμού συστημάτων για δίκτυα επικοινωνιών) συμμετείχα στη διαδικασία ανάπτυξης ενός γενικού μετά-μοντέλου για την ενιαία περιγραφή των εναλλακτικών μεθόδων σχεδίασης που χρησιμοποιούνται από τις μεγαλύτερες ευρωπαϊκές εταιρίες. Το μετά μοντέλο που αναπτύχθηκε χρησιμοποιήθηκε για την περιγραφή των μεθόδων σχεδίασης που χρησιμοποιούνται για την ανάπτυξη τηλεπικοινωνιακών συστημάτων από τις εταιρίες ΙΝΤΡΑΚΟΜ, NOKIA, SIEMENS και ALCATEL Στα πλαίσια της ίδιας δραστηριότητας συμμετείχα στην ανάπτυξη μιας νέας μεθόδου σχεδιασμού συστημάτων τηλεπικοινωνιών η οποία πρότεινε μια επέκταση της γλώσσας UML για το σχεδιασμό συστημάτων πραγματικού χρόνου. Οι βασικές αρχές της συγκεκριμένης μεθόδου προτάθηκαν στο OMG 1 για την ανάπτυξη ενός προφίλ της γλώσσας UML για την ανάπτυξη συστημάτων πραγματικού χρόνου. Αναφορικά με την εφαρμογή της μεθόδου στην πράξη, χρησιμοποιήθηκε για την ανάπτυξη του πρωτοκόλλου HIPERLAN/2. Σημαντικό μέρος της ερευνητικής μου δραστηριότητας αφορά στη μελέτη των προβλημάτων που αφορούν στον επιμερισμό υλικού/λογισμικού κατά το σχεδιασμό πολύπλοκων τηλεπικοινωνιακών συστημάτων. Αποτέλεσμα της συγκεκριμένης έρευνας ήταν η ανάπτυξη ενός περιβάλλοντος συνεξομοίωσης υλικού λογισμικού για τηλεπικοινωνιακά συστήματα που περιλαμβάνουν τμήματα που υλοποιούνται τόσο σε υλικό όσο και σε λογισμικό. Το περιβάλλον που αναπτύχθηκε υποστηρίζει τη 1 OMG (Object Management Group): Το OMG είναι ο διεθνής οργανισμός που είναι υπεύθυνος για το στάνταρντ της γλώσσας UML και την εξέλιξή του. Σελίδα 3 από 22

4 συνδυασμένη εξομοίωση μοντέλων του συστήματος που περιγράφονται στη γλώσσα SDL (για το λογισμικό του συστήματος) με μοντέλα του συστήματος που περιγράφονται σε VHDL (για το υλικό του συστήματος). Η προτεινόμενη μέθοδος συνεξομοίωσης υλικού/λογισμικού έχει χρησιμοποιηθεί για την συνεξομοίωση του πρωτοκόλλου MASCARA με το υλικό του φυσικού επιπέδου ενός τηλεπικοινωνιακού συστήματος για ασύρματη πρόσβαση σε ΑΤΜ δίκτυα. Τα τελευταία χρόνια, οι ερευνητικές μου δραστηριότητες αφορούν στη μελέτη μεθόδων και τεχνικών για την τυπική ανάπτυξη συστημάτων (formal system modelling) με χρήση της γλώσσας UML. Στα πλαίσια της συγκεκριμένης ερευνητικής προσπάθειας αναπτύχθηκε μια μέθοδος σχεδίασης η οποία βασίζεται στη χρήση των γλωσσών UML και Β, και η οποία επιτρέπει το σχεδιασμό και την ανάπτυξη τηλεπικοινωνιακών συστημάτων οι ιδιότητες των οποίων περιγράφονται με μαθηματικό τρόπο (με χρήση της γλώσσας Β). Η συγκεκριμένη μεθοδολογία επιτρέπει στο σχεδιαστή να περιγράφει με μαθηματικό τρόπο τις ιδιότητες του υπό ανάπτυξη συστήματος, και να ελέγχει κατά πόσο αυτές παραβιάζονται στη φάση της τελικής υλοποίησης. Η συγκεκριμένη μεθοδολογία χρησιμοποιήθηκε για την ανάπτυξη ενός πρωτοκόλλου MAC επιπέδου για την ασύρματη σύνδεση των επί μέρους τμημάτων ενός βιομηχανικού τοπικού δικτύου. Τέλος, έχω ασχοληθεί ερευνητικά με την ανάπτυξη μεθόδων σχεδίασης που αφορούν στο σχεδιασμό τηλεπικοινωνιακών συστημάτων τα οποία χρησιμοποιούν επαναδιαμορφούμενο υλικό (reconfigurable hardware). Οι μέθοδοι που έχουν προταθεί, έχουν εφαρμοστεί στην πράξη για την ανάπτυξη ενός τηλεπικοινωνιακού συστήματος για πρόσβαση σε ασύρματα δίκτυα. Το συγκεκριμένο σύστημα έχει τη δυνατότητα να αναπροσαρμόζει τον πρωτόκολλο επικοινωνίας που χρησιμοποιεί ανάλογα με περιβάλλον στο οποίο συμμετέχει π.χ. χρησιμοποιεί το πρωτόκολλο ΙΕΕΕ για πρόσβαση σε ασύρματο τοπικό δίκτυο και το πρωτόκολλο ΙΕΕΕ για πρόσβαση σε ασύρματο δίκτυο ευρείας περιοχής. Στα πλαίσια της συγκεκριμένης έρευνας έχει προταθεί μια μέθοδος η οποία δίνει τη δυνατότητα στο σχεδιαστή να επιλέξει, με χρήση κατάλληλων γλωσσών και εργαλείων, τα τμήματα του συστήματος που θα υλοποιηθούν σε λογισμικό, τα τμήματα του συστήματος που θα υλοποιηθούν σε υλικό και τα τμήματα του συστήματος που θα υλοποιηθούν σε επαναδιαμορφούμενο υλικό (reconfigurable hardware). ΕΠΑΓΓΕΛΜΑΤΙΚΗ ΕΜΠΕΙΡΙΑ ΙΝΤΡΑΚΟΜ Α.Ε. Τμήμα Διεθνών Συνεργασιών Περίοδος: Οκτώβριος 1999 Μάρτιος 2001, Φεβρουάριος σήμερα Από το 1999 έως 2001, έχω εργασθεί ως συντονιστής (project coordinator) και τεχνικός υπεύθυνος σε μια σειρά από ερευνητικά προγράμματα που άπτονται της ευρύτερης περιοχής του σχεδιασμού τηλεπικοινωνιακών συστημάτων. Έχω επίσης στο ενεργητικό μου τη συγγραφή προτάσεων για ερευνητικά έργα της συγκεκριμένης ερευνητικής περιοχής, οι οποίες έχουν εγκριθεί ως ερευνητικά έργα χρηματοδοτούμενα από την Ευρωπαϊκή Ένωση στο πλαίσιο IST. Τα συστήματα που έχουν αναπτυχθεί αφορούν τηλεπικοινωνιακές εφαρμογές, και συγκεκριμένα πρωτόκολλα για ασύρματα δίκτυα. Στα πλαίσια της ενασχόλησης μου με τα συγκεκριμένα ερευνητικά έργα, έχω σχεδιάσει και αναπτύξει τμήματα πρωτοκόλλων Σελίδα 4 από 22

5 επιπέδου MAC για ασύρματα ATM δίκτυα και για δίκτυα η αρχιτεκτονική των οποίων βασίζεται σε διεθνή standards όπως τα FieldBus, HIPERLAN/1, HIPERLAN/2, IEEE και Bluetooth. Από τον Ιανουάριο του 2002 σήμερα εργάζομαι στην Διεύθυνση Αναδυομένων Αγορών και Τεχνολογιών (πρώην Γενική Διεύθυνση Αναπτυξιακών Προγραμμάτων) της INTRAKOM, ως σύμβουλος σε θέματα μεθοδολογιών και γλωσσών σχεδιασμού συστημάτων για δίκτυα επικοινωνιών. Αναλυτικά, τα ερευνητικά έργα στα οποία έχω εργασθεί στην συγκεκριμένη Γενική Διεύθυνση της εταιρείας ΙΝΤΡΑΚΟΜ είναι τα ακόλουθα: ESPRIT Project COMITY: Co-design method and Integrated Tools for Advanced Embedded Systems, ESPRIT Ref: Σκοπός του συγκεκριμένου έργου ήταν η ανάπτυξη μιας ενιαίας μεθοδολογίας σχεδιασμού συστημάτων η οποία θα δίνει τη δυνατότητα να σχεδιαστούν συστήματα με διαφορετικά χαρακτηριστικά, με ενιαίο τρόπο. Η προτεινόμενη προσέγγιση αφορά συστήματα υλικού-λογισμικού και συστήματα που περιέχουν συνεχή και διακριτά υποσυστήματα. Σε κάθε σχεδιαστικό στάδιο, και ανάλογα με το βαθμό της σχεδιαστικής λεπτομέρειας που περιέχουν τα μοντέλα του υπό ανάπτυξη συστήματος, χρησιμοποιούνται διαφορετικές γλώσσες περιγραφής (οι οποίες σε αρκετές περιπτώσεις βασίζονται σε διαφορετικά υπολογιστικά μοντέλα). Η μετάβαση από το ένα στάδιο στο επόμενο οδηγεί σε αυτόματη μετάφραση των μοντέλων του συστήματος από τη μια γλώσσα στην επόμενη. Η αντιστοιχία γλώσσας περιγραφής σταδίου υλοποίησης σχετίζεται με το είδος των εφαρμογών που αναπτύσσονται. Η συγκεκριμένη μεθοδολογία χρησιμοποιήθηκε για την ανάπτυξη του πρωτοκόλλου MASCARA, ενός πρωτοκόλλου MAC για την παροχή υπηρεσιών ATM σε ασύρματα τοπικά δίκτυα. Η αρχιτεκτονική του MASCARA έχει περιγραφεί με τη χρήση της γλώσσας SDL, ενώ η υλοποίηση του τελικού συστήματος έχει βασιστεί στη συνδυασμένη χρήση υλικού και λογισμικού. Το λογισμικό του συστήματος περιγράφεται σε C ενώ για το υλικό έχει χρησιμοποιηθεί VHDL. ESPRIT Project CODAC: CO-Design for Applications with Embedded Cores, ESPRIT Ref: Στα πλαίσια του συγκεκριμένου έργου αναπτύχθηκε τμήμα του MAC επιπέδου του πρωτοκόλλου DECT με τη χρήση τεχνικών συνεξομοίωσης υλικού λογισμικού. Η ανάπτυξη του συστήματος βασίστηκε στη χρήση του ARMulator ο οποίος εξομοιώνει τη λειτουργία του επεξεργαστή ARM. Το λογισμικό του πρωτοκόλλου DECT σχεδιάστηκε για τον επεξεργαστή ARM και αναπτύχθηκε με βάση τον ARMulator. Η συνεξομοίωσή του με το τμήμα του DECT που υλοποιήθηκε σε υλικό βασίστηκε στη χρήση της μεθοδολογίας N2C εργαλείου Coware. Στο συγκεκριμένο εργαλείο η περιγραφή του υλικού βασίζεται σε HardwareC και δίνεται η δυνατότητα συνεξομοίωσής του με το λογισμικό του υπό ανάπτυξη συστήματος. SYDIC Telecom: System Design Industry Council for European Telecom, IST Ref. IST Βασικός στόχος του συγκεκριμένου έργου είναι ο χαρακτηρισμός των κύκλων ανάπτυξης συστημάτων που χρησιμοποιούνται από τις μεγαλύτερες ευρωπαϊκές Σελίδα 5 από 22

6 εταιρείες και οργανισμούς (INTRACOM, ALCATEL, NOKIA, ITALTEL, PHILIPS, VTT, ECSI), αποσκοπώντας στην υιοθέτηση ενός κοινού συνόλου για τις βασικές έννοιες και την ορολογία που υιοθετείται κατά την ανάπτυξη τηλεπικοινωνιακών συστημάτων. Παράλληλα, επισημαίνονται και καταγράφονται τα προβλήματα που παρουσιάζονται σε όλα τα στάδια της ανάπτυξης των τηλεπικοινωνιακών συστημάτων. Αναπτύσσεται επίσης ένα μεθοδολογικό πλαίσιο στο οποίο θα βασίζονται οι επιμέρους μεθοδολογίες ανάπτυξης που θα χρησιμοποιούνται μελλοντικά από τις τηλεπικοινωνιακές εταιρίες. Συστατικό στοιχείο του μεθοδολογικού πλαισίου θα είναι η συστηματική χρήση system level IP. Η προτεινόμενη μεθοδολογία πλαισιώνεται από μια μελέτη για τα χαρακτηριστικά των γλωσσών σχεδιασμού και ανάπτυξης που υπάρχουν και αφορούν όλα τα στάδια του σχεδιασμού τηλεπικοινωνιακών εφαρμογών, καθώς και πως αυτές μπορούν να χρησιμοποιηθούν αποδοτικά στο σχεδιασμό τηλεπικοινωνιακών εφαρμογών. ΑΙΤ-WOODDES, Project No IST Στόχος του συγκεκριμένου έργου είναι να βελτιώσει τη διαδικασία ανάπτυξης, τις μεθόδους και τα εργαλεία που σχετίζονται με το σχεδιασμό και την ανάπτυξη ενσωματωμένων συστημάτων πραγματικού χρόνου. Η εξέταση της χρήσης αντικειμενοστραφών μεθόδων σχεδιασμού κατά τα πρώτα στάδια του σχεδιασμού του συστήματος και η επαναχρησιμοποίηση μοντέλων είναι βασικές παράμετροι που αφορούν το σχεδιασμό πολύπλοκων συστημάτων. Αποτέλεσμα του συγκεκριμένου ερευνητικού έργου ήταν o ορισμός ενός profile για το σχεδιασμό ενσωματωμένων συστημάτων πραγματικού χρόνου. Το συγκεκριμένο profile θα προταθεί στο OMG (Object Management Group), που είναι η υπεύθυνη αρχή για το standardization της UML, για ενσωμάτωση στο επόμενο standard της UML. Στα πλαίσια του συγκεκριμένου έργου, αναπτύχθηκε μια συσκευή η οποία δίνει τη δυνατότητα ασύρματης διασύνδεσης απομακρυσμένων βιομηχανικών δικτύων. Τα επιμέρους δίκτυα βασίζονται στο πρωτόκολλο Fieldbus και έχουν τη δυνατότητα να μεταφέρουν τιμές σε πραγματικό χρόνο. Συσκευή που σχεδιάστηκε ονομάζεται ICU (Interconnection Unit), και συνδέει ασύρματα τα επιμέρους δίκτυα χρησιμοποιώντας το πρωτόκολλο HIPERLAN II. Το τελευταίο έχει επεκταθεί ούτως ώστε να έχει τη δυνατότητα μετάδοσης δεδομένων σε πραγματικό χρόνο. IST PUSSEE: Paradigm Unifying System Specification Environments for proven Electronic design, IST Ref. IST Οι βασικοί άξονες στους οποίους κινείται το συγκεκριμένο έργο είναι (α) η επαναχρησιμοποίηση μοντέλων κατά το σχεδιασμό του συστήματος, και (β) η τυπική απόδειξη των ιδιοτήτων του συστήματος (formal proof of system properties) καθ όλη τη διάρκεια του κύκλου ανάπτυξης. Η δυνατότητα επαναχρησιμοποίησης μοντέλων του συστήματος δίνεται τόσο στο επίπεδο του υλικού όσο και στο επίπεδο του λογισμικού μέσω IP (Intellectual Property) components και standard interfaces για τη διασύνδεσή τους. Η δεύτερη ερευνητική περιοχή στην οποία κινείται το συγκεκριμένο έργο σχετίζεται με τη δυνατότητα τυπικής απόδειξης των ιδιοτήτων του συστήματος που αναπτύσσεται. Για το σκοπό αυτό, χρησιμοποιείται η γλώσσα B η οποία βασίζεται σε τυπική σημασιολογία (formal semantics) και παρέχει τη δυνατότητα για περιγραφή των ιδιοτήτων του συστήματος και τη μαθηματικά επιβεβαιωμένη απόδειξή τους καθ όλη της διάρκεια της ανάπτυξης. Η ανάπτυξη του λογισμικού του συστήματος βασίζεται στη χρήση της UML, ενώ για το υλικό του Σελίδα 6 από 22

7 συστήματος χρησιμοποιούνται IP components που έχουν υλοποιηθεί σε VHDL. Έχουν επίσης αναπτυχθεί μεταφραστές από UML σε B και από VHDL σε Β, δίνοντας τη δυνατότητα περιγραφής και απόδειξης των ιδιοτήτων του συστήματος. Ο συγκεκριμένος τρόπος ανάπτυξης χρησιμοποιήθηκε για το σχεδιασμό ενός ενσωματωμένου συστήματος βασισμένου στο ασύρματο πρωτόκολλο HIPERLAN/2. IST ADRIATIC: Advanced Methodology for Designing Reconfigurable SoC and Application-Targeted IP-entities in wireless Communications, IST Ref. IST Βασική παραδοχή του συγκεκριμένου ερευνητικού έργου είναι ότι τα μελλοντικά συστήματα ασύρματης επικοινωνίας θα βασίζονται σε λογισμικό και υλικό το οποίο θα έχει την δυνατότητα προσαρμογής (reconfiguration) σε ένα σύνολο ασυρμάτων προσβάσεων με διαφορετικές δυνατότητες και υπηρεσίες. Αντικειμενικός στόχος του έργου είναι η ανάπτυξη μιας ενιαίας μεθοδολογίας συσχεδίασης για την κατασκευή SoCs (Systems-on-Chip) που θα έχουν την δυνατότητα προσαρμογής (reconfigurable) σε διαφορετικά περιβάλλοντα λειτουργίας. Επίσης, μελετήθηκαν προηγμένες τεχνικές επιβεβαίωσης μεταξύ υλικού και λογισμικού (hardware/software coverification) για την κατασκευή reconfigurable SoC. Στα πλαίσια του συγκεκριμένου έργου, η προτεινόμενη μεθοδολογία χρησιμοποιήθηκε για την κατασκευή δυο reconfigurable processors (έναν baseband communication processor και έναν video application processor) για ασύρματα τερματικά που χρησιμοποιούν το πρωτόκολλο HIPERLAN/2. IST AMDREL: Architectures and Methodologies for Dynamic Rεconfigurable Logic Proposal,, IST Ref. IST Σκοπός του συγκεκριμένου έργου είναι η ανάπτυξη μιας μεθοδολογίας για τον αποδοτικό σχεδιασμό συστημάτων τηλεπικοινωνιών που περιέχουν επαναδιμορφούμενο υλικό (reconfigurable hardware). Πιο συγκεκριμένα, το έργο έχει στόχο να διερευνήσει την ευρύτερη περιοχή των τηλεπικοινωνιακών συστημάτων και να καθορίσει τις βασικές απαιτήσεις τους αναφορικά με τη δυνατότητα επαναδιαμόρφωσης. Τα στοιχεία που μελετώνται αφορούν τόσο στην αρχιτεκτονική των συστημάτων και σε ζητήματα υλοποίησής τους. Επίσης, στα πλαίσια του συγκεκριμένου έργου έχουν αναπτυχθεί εργαλεία σχεδίασης για την υποστήριξη όλων των σταδίων της προτεινόμενης μεθοδολογίας. Η συγκεκριμένη μεθοδολογία χρησιμοποιήθηκε για το σχεδιασμό και την υλοποίηση ενός συστήματος για ασύρματα τοπικά δίκτυα, βασισμένο στο πρωτόκολλο HIPERLAN/2. IST MORPHEUS: Multi-purpose dynamically Reconfigurable Platform for intensive Heterogeneous processing, IST Ref. IST Στόχος του συγκεκριμένου έργου είναι η ανάπτυξη μιας ενιαίας πλατφόρμας ανάπτυξης για το σχεδιασμό τηλεπικοινωνιακών συστημάτων με δυνατότητα δυναμικής επαναδιαμόρφωσης. Τα τηλεπικοινωνιακά συστήματα της συγκεκριμένης κατηγορίας περιέχουν λογισμικό, υλικό και επαναδιαμορφούμενο υλικό. Στα πλαίσια του συγκεκριμένου έργου εκτός από την πλατφόρμα υλοποίησης θα αναπτυχθεί η μεθοδολογία, καθώς και τα εργαλεία που υποστηρίζουν τα επί μέρους στάδιά της. Η συγκεκριμένη μεθοδολογία θα χρησιμοποιηθεί για το σχεδιασμό και την υλοποίηση Σελίδα 7 από 22

8 ενός συστήματος με δυνατότητα δυναμικής επαναδιαμόρφωσης ανάμεσα στα πρωτόκολλα IEEE και IEEE ΙΝΣΤΙΤΟΥΤΟ ΒΙΟΜΗΧΑΝΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ Περίοδος: Οκτώβριος 2000 Σεπτέμβριος 2001 Εργάσθηκα ως συντονιστής (project coordinator) και τεχνικός υπεύθυνος του ευρωπαϊκού έργου COSIBA. Κατά τη διάρκεια του συγκεκριμένου έργου αναπτύχθηκε μια πλατφόρμα συνεξομοίωσης (co-simulation backplane) για τη σύνδεση των εργαλείων εξομοίωσης που χρησιμοποιούνται για τα μοντέλα υλικού και λογισμικού του υπό ανάπτυξη συστήματος. Πιο συγκεκριμένα, μέσω της πλατφόρμας που αναπτύχθηκε δίνεται η δυνατότητα για συνεξομοίωση ανάμεσα σε λογισμικό που περιγράφεται σε SDL (Specification and Description Language) και σε υλικό που περιγράφεται είτε σε VHDL είτε σε HardwareC. Τα εργαλεία ανάπτυξης που επικοινωνούν μέσω της συγκεκριμένης επικοινωνιακής πλατφόρμας είναι το Telelogic SDL Suit για τα SDL μοντέλα, και για το υλικό είτε ο ARMulator (εξομοιωτής του ARM) εάν το υλικό του συστήματος περιγράφεται σε HardwareC, είτε ένας εξομοιωτής VHDL εάν το υλικό περιγράφεται σε VHDL. H εφαρμογή που αναπτύχθηκε με τη χρήση της ενιαίας πλατφόρμας συνεξομοίωσης ήταν τμήμα του MAC επιπέδου του πρωτοκόλλου DECT. ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΤΕΧΝΟΛΟΓΙΑΣ Η/Υ Περίοδος: Μάρτιος 1997 Ιούνιος 2000 Από τον Μάρτιο 1997 Ιούνιο 2000, εργάστηκα ως Μηχανικός Η/Υ και Πληροφορικής σε μια σειρά από ερευνητικά έργα που αφορούσαν το σχεδιασμό και την ανάπτυξη συστημάτων. Πιο συγκεκριμένα, συμμετείχα στα έργα: EPSRIT Project (DOMITIUS): Demonstrate OMI Technology in Clusters & Storage Systems CODAC: Co-Design for Applications with Embedded Cores COMITY: Co-Design Method and Integrated Tools for Advanced Embedded Systems Σχεδίαση και Ανάπτυξη ολοκληρωμένου κυκλώματος ανάγνωσης αισθητήρων ακτίνων Χ Ερευνητικό έργο ORION σε συνεργασία με την GIGA Hellas AE ESPRIT Project (OMI3B): OMI Technology for Intelligent Image setters Interface Boards Διερεύνηση των θορυβικών φαινομένων 1/f σε υπομικρονικά Mosfet και σε υλικά (Silicides) με μελλοτνική χρήση σε μικροηλεκτρονικά κυκλώμματα Ε.Α.Ι.Τ.Υ - ΕΡΕΥΝΗΤΙΚΟ ΑΚΑΔΗΜΑΪΚΟ ΙΝΣΤΙΤΟΥΤΟ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ Περίοδος: Ιανουάριος 1998 Δεκέμβριος 1998, Απρίλιος 2001 Μάϊος 2001, Ιούλιος 2001 Οκτώβριος 2001, Σεπτέμβριος Ιούλιος 2003 Από τον Ιανουάριο 1998 Δεκέμβριο 1998, εργάσθηκα για την αναβάθμιση σε περιβάλλον Windows του λογισμικού εξομοίωσης του «Εκπαιδευτικού Μικροπρογραμματιζόμενου Υπολογιστή», το οποίο χρησιμοποιείται για την διεξαγωγή Σελίδα 8 από 22

9 του εργαστηρίου Αρχιτεκτονικής Υπολογιστών στο τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του Πανεπιστημίου Πατρών. Χρησιμοποιήθηκε αντικειμενοστραφής προγραμματισμός με την γλώσσα C ++ και εργαλεία την Borland C και το MS Developer Studio. Αποτελείται από δύο κύρια τμήματα: Λογισμικό εξομοίωσης του υπολογιστή: εξομοιώνει την λειτουργία του υπολογιστή παρέχοντας ένα ειδικό εργαλείο οπτικής εξομοίωσης ενισχυμένο από τις δυνατότητες που παρέχει το γραφικό περιβάλλον. Δίνει την δυνατότητα εκτέλεσης όλων των διαδικασιών του πραγματικού συστήματος με επαυξημένες δυνατότητες εισαγωγής δεδομένων και εκτέλεσης προγραμμάτων. Επίσης παρέχει πολλές λειτουργίες εκσφαλμάτωσης που δεν υπάρχουν στο φυσικό σύστημα. Γεννήτρια assembly γλωσσών: δίνει την δυνατότητα στον χρήστη να αξιοποιήσει την αρχιτεκτονική που δημιούργησε από το επίπεδο της συμβολικής γλώσσας την οποία επίσης δημιουργεί ορίζοντας τους λεκτικούς και συντακτικούς κανόνες της. Με χρήση ειδικού κειμενογράφου ο χρήστης δημιουργεί προγράμματα και με την χρήση ενός ειδικού εργαλείου εκσφαλμάτωσης τα εκτελεί είτε σε επίπεδο μικροπρογράμματος, είτε σε επίπεδο συμβολικής γλώσσας. Για τις περιόδους Απρίλιος 2001 Μάϊος 2001, Ιούλιος 2001 Οκτώβριος 2001, και Σεπτέμβριος Ιούλιος 2003 συμμετείχα στο σχεδιασμό, στην ανάπτυξη και στον έλεγχο του λογισμικού που αναπτύχθηκε για του ΥΠΕΠΘ. ΣΤΡΑΤΟΣ ΞΗΡΑΣ Σώμα Έρευνας & Πληροφορικής Περίοδος: Μάϊος 2001 Ιούλιος 2002 Από τον Μάϊο 2001 Ιούλιο 2002, υπηρέτησα τη στρατιωτική μου θητεία συο Σώμα Έρευνας και Πληροφορικής του Στρατού Ξηράς με ειδικότητα «Προγραμματιστής». ΕΡΕΥΝΗΤΙΚΕΣ ΕΡΓΑΣΙΕΣ ΔΗΜΟΣΙΕΥΜΕΝΕΣ ΣΕ ΔΙΕΘΝΗ ΠΕΡΙΟΔΙΚΑ ΜΕ ΚΡΙΤΕΣ Στη συνέχεια παρουσιάζονται με αύξουσα χρονολογική σειρά οι δημοσιευμένες εργασίες μου σε διεθνή περιοδικά: 1. S. K. Tsasakou, N. S. Voros, M. Koziotis, D. Verkest, P. Vandekbergen, A. Prayati, A. Birbas: Hardware-Software co-design of embedded systems using CoWare's N2C methodology for application development, ETF Journal of Electrical Engineering, vol. 8, no. 1, pp , François Terrier, Nikos S. Voros, Udo Brockmeyer, Specification, Implementation and Validation of Object Oriented Embedded Systems, Lecture Notes in Computer Science 1964: Object Oriented Technology, pp , Springer-Verlag, S. K. Tsasakou, N. S. Voros, A. N. Birbas, M. V. Koziotis, D. G. Papadopoulos, High-level co-simulation based on the extension of processor simulators, Journal of Systems Architecture (47)1 (2001), pp. 1-13, Elsevier, January N. Voros, L. Sanchez, A. Alonso, M. Birbas, A. Birbas and A. Jerraya, Hardware/Software Co-design of complex embedded systems: An approach using 2 Αναδημοσίευση της εργασίας 7, από τις ερευνητικές εργασίες που έχουν δημοσιευτεί σε διεθνή συνέδρια με κριτές. Σελίδα 9 από 22

10 efficient process models, multiple formalism specification and validation via cosimulation, Journal of Design Automation for Embedded Systems, vol. 8, Number 1, pp. 5-49, Kluwer Academic Publishers, Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos, Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language, Journal of Design Automation for Embedded Systems, vol. 9, Number 2, pp , Springer, Fotios Gioulekas, Michael Birbas, Nikolaos Voros, George Kouklaras, Alexios Birbas, Heterogeneous System Level Co-Simulation for the Design of Telecommunication Systems, Journal of Systems Architecture, 51/12 (2005), pp , Elsevier. 7. K. Masselos and N. S. Voros, Implementation of Wireless Communications Systems on FPGA based platforms, EURASIP Journal on Embedded Systems, K. Antonis and N. S. Voros, A paradigm of telecom system level design using formal model refinement: An approach based on B method/language, Journal of Systems Architecture, 54/1-2 (2008), pp , Elsevier. 9. Arnaud Grasset, Philippe Millet, Philippe Bonnot, Sami Yehia, Wolfram Putzke- Roeming, Fabio Campi, Alberto Rosti, Michael Huebner, Nikolaos S. Voros and Davide Rossi, The MORPHEUS Heterogeneous Dynamically Reconfigurable Platform, International Journal of Parallel Programming, ΒΙΒΛΙΑ ΔΙΕΘΝΟΥΣ ΚΥΚΛΟΦΟΡΙΑΣ 1. Co-editor του βιβλίου με τίτλο: System Level Design Model with re-use of System IP, ISBN: , Kluwer Academic Publishers, Co-editor του βιβλίου με τίτλο: System Level Design of Reconfigurable Systems-on-Chip, ISBN: , Springer, Co-editor του βιβλίου με τίτλο: Dynamic System Reconfiguration in Heterogeneous Platforms, ISBN , Springer, ΕΛΛΗΝΙΚΑ ΒΙΒΛΙΑ 1. Προηγμένα Πληροφοριακά Συστήματα: Από τη θεωρία στην πράξη 3, Εκδόσεις Νέων Τεχνολογιών, Ανάπτυξη Προηγμένων Πληροφοριακών Συστημάτων: Μεθοδολογίες και Εργαλεία 4, Εκδόσεις Νέων Τεχνολογιών, Οι υπολογιστές ως συστατικά στοιχεία: Βασικές Αρχές Σχεδίασης Ενσωματωμένων Συστημάτων 5, Εκδόσεις Νέων Τεχνολογιών, Το συγκεκριμένο βιβλίο είναι η μετάφραση του πρώτου μέρους του βιβλίου των David Avison & Guy Fitzgerald με τίτλο: Information Systems Development Methodologies, Techniques and Tools, McGraw Hill, Το συγκεκριμένο βιβλίο είναι η μετάφραση του δεύτερου μέρους του βιβλίου των David Avison & Guy Fitzgerald με τίτλο: Information Systems Development Methodologies, Techniques and Tools, McGraw Hill, Το συγκεκριμένο βιβλίο είναι η μετάφραση του βιβλίου του Wayne Wolf με τίτλο: Computers as Components: Principles of Embedded Computer Systems, Elsevier, Σελίδα 10 από 22

11 4. Μεταγλωττιστές: Βασικές Αρχές, Τεχνικές και Εργαλεία 6, Εκδόσεις Νέων Τεχνολογιών, Unified Modelling Language: Βασικές Αρχές Αντικειμενοστρεφούς Σχεδίασης Συστημάτων και Εφαρμογών, Εκδόσεις Νέων Τεχνολογιών, Σχεδιασμός συστημάτων με τη γλώσσα SDL, Εκδόσεις Νέων Τεχνολογιών, ΕΡΕΥΝΗΤΙΚΕΣ ΕΡΓΑΣΙΕΣ ΔΗΜΟΣΙΕΥΜΕΝΕΣ ΩΣ ΚΕΦΑΛΑΙΑ ΣΕ ΔΙΕΘΝΗ ΒΙΒΛΙΑ ΜΕ ΚΡΙΤΕΣ 1. K. Kronlöf, N. S. Voros, System design practices in industry today, στο βιβλίο System Level Design Model with re-use of System IP, ISBN: , pp. 5-12, Kluwer Academic Publishers, N. S. Voros, System design reuse, στο βιβλίο System Level Design Model with re-use of System IP, ISBN: , pp , Kluwer Academic Publishers, N. S. Voros, Example of using the System Design Conceptual Model, στο βιβλίο System Level Design Model with re-use of System IP, ISBN: , pp , Kluwer Academic Publishers, N. S. Voros, W. Mueller, C. Snook, An introduction to formal methods: How do they apply in embedded system design?, στο βιβλίο UML-B Specification for Proven Embedded Systems Design, J. Mermet (Edt.), ISBN: , pp. 1-20, Springer 7, N. S. Voros, C.Snook, S. Hallertsede, T.Lecomte, Embedded system design using PUSSEE method: An overview, στο βιβλίο UML-B Specification for Proven Embedded Systems Design, J. Mermet (Edt.), ISBN: , pp , Springer, N. S. Voros, PUSSEE method in practice: Specification and design of an embedded telecom system based on HIPERLAN/2 protocol, στο βιβλίο UML-B Specification for Proven Embedded Systems Design, J. Mermet (Edt.), ISBN: , pp , Springer, N. S. Voros, O. Lundkvist, K. Kronlöf, Evaluation Criteria for Embedded System Design Methods, στο βιβλίο UML-B Specification for Proven Embedded Systems Design, J. Mermet (Edt.), ISBN: , pp , Springer, Kari Tiensyrjä, Miroslav Cupak, Kostas Masselos, Marko Pettissalo, Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros, Yan Zhang, SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip, στο βιβλίο Advances in Design and Specification Languages for Systems-on-Chip, P. Boulet (Edt.), pp , Springer, K. Masselos, N. S. Voros, Introduction to Reconfigurable Hardware, στο βιβλίο System Level Design of Reconfigurable Systems-on-Chip, pp , Springer, K. Masselos, N. S. Voros, Reconfigurable hardware exploitation in Wireless Multimedia Communications, στο βιβλίο System Level Design of Reconfigurable Systems-on-Chip, pp , Springer, Το συγκεκριμένο βιβλίο είναι η μετάφραση του βιβλίου των A. Aho, M. Lam, R. Sethi, J. Ullman με τίτλο: Compilers: Principles, Techniques and Tools, Pearson Education, Σελίδα 11 από 22

12 11. K. Masselos, N. S. Voros, Reconfigurable Hardware Technologies, στο βιβλίο System Level Design of Reconfigurable Systems-on-Chip, pp , Springer, K. Masselos, N. S. Voros, Design Flow for Reconfigurable Systems-on-Chip, στο βιβλίο System Level Design of Reconfigurable Systems-on-Chip, pp , Springer, K. Masselos, N. S. Voros, Prototyping of a HIPERLAN/2 Reconfigurable System-on-Chip, στο βιβλίο System Level Design of Reconfigurable Systemson-Chip, pp , Springer, K. Masselos, N. S. Voros, Prototyping of a HIPERLAN/2 Reconfigurable System-on-Chip, στο βιβλίο System Level Design of Reconfigurable Systemson-Chip, pp , Springer, Philippe Bonnot, Alberto Rosti, Fabio Campi, Wolfram Putzke- Röming, Nikolaos S. Voros, Michael Hübner and Hélène Gros, An heterogeneous dynamically reconfigurable SoC, στο βιβλίο Dynamic System Reconfiguration in Heterogeneous Platforms, pp , Springer, Stylianos Perissakis, Frank Ieromnimon, Nikolaos S. Voros, PHY-Layer of mobile wireless on a hardware accelerated SoC, στο βιβλίο Dynamic System Reconfiguration in Heterogeneous Platforms, pp , Springer, Philippe Bonnot, Alberto Rosti, Fabio Campi, Wolfram Putzke- Röming, Nikolaos S. Voros, Michael Hübner and Hélène Gros, MORPHEUS reconfigurable platform - Results and perspectives, στο βιβλίο Dynamic System Reconfiguration in Heterogeneous Platforms, pp , Springer, ΕΡΕΥΝΗΤΙΚΕΣ ΕΡΓΑΣΙΕΣ ΔΗΜΟΣΙΕΥΜΕΝΕΣ ΣΕ ΔΙΕΘΝΗ ΣΥΝΕΔΡΙΑ ΜΕ ΚΡΙΤΕΣ Στη συνέχεια παρουσιάζονται με αύξουσα χρονολογική σειρά οι δημοσιευμένες εργασίες μου σε διεθνή συνέδρια: 1. Vaggelis Mariatos, Alex Birbas, Michael Birbas, Nikos Petrellis and Nikos S. Voros, Mapping of system specifications on hardware/software architectures, Proceedings of 5 th International Conference on VLSI and CAD, pp , Seoul, Korea, Nikos S. Voros, Sofia Tsasakou, Carlos Valderrama, Sabiha Arab, Alex Birbas and Anastasia Andritsou, Hardware-Software Co-design of embedded telecommunication systems using multiple formalisms for application development, Proceedings of 2 nd FORTE XI/PSTV XVIII Conference, Kluwer Academic Publishers, pp , Paris, France, Nikos S. Voros, Vagelis Mariatos, Michael Birbas, Alexios Birbas, Nikos Petrellis, Spyrogiannis Batistatos, Reusable architecture templates and automatic specification mapping in the efficient implementation of ATM protocols, Proceedings of 9 th International IEEE Workshop on Rapid System Prototyping, pp , Leuven, Belgium, Ν. S. Voros, S. Tsasakou, V. Mariatos, M. Birbas, A. Birbas, A. Andritsou, System-on-Chip Methodology for Telecom Applications, International Symposium on Signals, Systems and Electronics, pp , 29 September - 2 October, Pisa, Italy, Σελίδα 12 από 22

13 5. S. Tsasakou, N. Voros, H. Karathanasis, C. Valderrama, S. Arab, M. Birbas, A.Birbas, A HW-SW co-design methodology for embedded telecommunication systems, EMMSEC 98: Annual Conference and Exhibition European Multimedia, Embedded Systems and Electronic Commerce, Bordeaux, France, September, IOS Press, N. S. Voros, S. Tsasakou, A. Birbas, L. Sanchez, A. Alonso, Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols, Proceedings of the 6 th IEEE International Conference on Electronics, Circuits and Systems, vol. 1, pp , Pafos, Cyprus, September, S. Tsasakou, N. S. Voros, M. Koziotis, D. Verkest, A. Prayati, A. Birbas, Hardware-Software co-design of embedded systems using CoWare s N2C methodology for application development, Proceedings of the 6 th IEEE International Conference on Electronics, Circuits and Systems, vol. 1, pp , Pafos, Cyprus, Sébastien Gérard, Nikos S. Voros, Christos Koulamas, François Terrier, Efficient system modeling of complex real-time industrial networks using the ACCORD/UML methodology, DIPES 2000: International IFIP WG 10.3/WG 10.4/ WG 10.5 Workshop on Distributed and Parallel Embedded Systems, Kluwer Academic Publishers, pp , October, Paderborn University, Germany, Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte, A hardware/software codesign framework for developing complex embedded systems using formal model refinement, Proceedings of FDL 04: Forum for Specification and Design Languages, vol. 2, pp , Lille, France, Fotios Gioulekas, Michael Birbas, Nikolaos Voros, George Kouklaras, Alex Birbas, An Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems, Proceedings of FDL 04: Forum for Specification and Design Languages, vol. 2, pp , Lille, France, P. S. Alefragis, S. K. Lounis, V. D. Triantafillou, N. S. Voros, An electronic voting scheme with physical multiple administrators and identical ballot boxes, IADIS International Conference WWW/Internet 2004, pp , 6-9 October, Madrid, Spain, P.S. Alefragis, V.D. Triantafillou, K.E. Tsatsaronis and N.S. Voros, Specification and design of an Advanced hot spot controller based on RADIUS Authentication server, Proceedings of Euromedia 2005 Conference, April P. S. Alefragis, S. K. Lounis, V. D. Triantafillou, N. S. Voros, Electronic Democracy in Practice: A Web based voting system relying on identical ballot boxes with physical multiple administration, Proceedings of e-society 2005, June, Qawra, Malta, Konstantinos Masselos, Nikolaos S. Voros, Yang Qu, Kari Tiensyrjä, Miroslav Cupak, Luc Rijnders, Marko Pettissalo, System level architecture exploration for reconfigurable systems on chip, Proceedings of FPL06: 16th IEEE International Conference on Field Programmable Logic and Applications, August, Madrid, Spain. 15. Panayiotis Alefragis, Vassilis Triantafillou and Nikolaos Voros, Mobile based e- Democracy: The IBB/PMA e-voting System, PCI 2007, May 2007, Patras, Greece. Σελίδα 13 από 22

14 16. K. Antonis, N. S. Voros, Applying formal methods for the design wireless telecommunication systems, 3 rd ACM International Mobile Multimedia Communication Conference, August 2007, Nafpaktos, Greece. 17. N. Voros, K. Masselos, Prototyping of a WLAN system using C++ based Architecture Exploration, 3 rd ACM International Mobile Multimedia Communication Conference, August 2007, Nafpaktos, Greece. 18. L. Papadopoulos, C. Baloukas, D. Soudris, K. Potamianos and N. Voros, Data Structure Exploration of Dynamic Applications, 16 th international conference on Parallel Architectures and Compilation Techniques (PACT), pg. 421, September 2007, Brasov, Romania. 19. Ioannis Iosifidis, Christos Baloukas,Alexandros Bartzas, Dimitrios Soudris, Konstantinos Potamianos and Nikolaos Voros, Systematic Evaluation of Dynamic Data Structures in Network Applications, 16 th IFIP/IEEE International Conference on VLSI, October , Rhodes island, Greece. 20. Alberto Rosti, Philippe Bonnot, Stelios Perissakis, Kostantinos Potamianos, Wolfram Putzke-Röming and Nikolaos S. Voros, MORPHEUS Heterogeneous Reconfigurable SOC, DATE 2009, Proceedings of Friday Workshops. 21. Alexandros Bartzas, Christos Baloukas, Dimitrios Soudris, Konstantinos Potamianos, Fragkiskos Ieromnimon, Nikolaos S. Voros, Dynamic Data Type Optimization and Memory Assignment Methodologies, PATMOS 2009, Delft, The Netherlands, 9-11 September, ΑΝΑΦΟΡΕΣ ΑΠΟ ΤΡΙΤΟΥΣ ΕΡΕΥΝΗΤΕΣ (προηγούνται οι αναφορές από άρθρα σε περιοδικά) 1. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 6 από την εργασία των David Lugato, Céline Bigot and Yannick Valot, «Validation and automatic test generation on UML models: the AGATHA approach», Electronics Notes in Theoretical Computer Science 66 No.2 (2002), URL: htpp:// locate/encts/volume66.html. 2. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 7 αναφέρεται ως αναφορά 2 από την εργασία των Yuan Xie, Jiang Xu and Wayne Wolf (Department of Electrical Engineering, Princeton University), «Augmenting Platform Based Design with Synthesis Tools», Journal of Circuits, Systems, and Computers, vol. 12, No. 2 (2003) , World Scientific Publishing Company. 3. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 3 αναφέρεται ως αναφορά 16 από την εργασία των C. Drosos, D. Metafas, S. Blionas and G. Papadopoulos, «Rapid prototyping of a wireless LAN implementation using a UML-based system design methodology», IEICE Transactions on Information and Systems, E87D (8): , August Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 7 αναφέρεται ως αναφορά 18 από την εργασία των Trong-Yen Lee, Pao-Ann Hsiung, «Embedded Software Synthesis and Prototyping», IEEE Transactions on Consumer Electronics, vol. 50, no. 1, pp , February Σελίδα 14 από 22

15 5. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 4 αναφέρεται ως αναφορά 4 από την εργασία των S. M. Hyduke, V.I. Hahanov, O.V. Melnikova, I.V. Hahanova, «Hardware Emulation of Large Scale Boolean Equations Systems», Electronics and Electrical Engineering Journal, vol. 3(59), pp. 9-13, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 4 αναφέρεται ως αναφορά 8 από την εργασία των P. Belanovic, B. Knerr, M. Holzer and M. Rupp, «A Fully Automated Environment for Verification of Virtual Prototypes», EURASIP Journal on Applied Signal Processing: Special Issue on Design Methods for DSP System, to be published on 4 th quarter of Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 4 αναφέρεται ως αναφορά 16 από την εργασία των P. Belanovic, B. Knerr, M. Holzer, G. Sauzon and M. Rupp, «A Consistent Design Methodology for Wireless Embedded Systems», EURASIP Journal on Applied Signal Processing: Special Issue on Design Methods for DSP System, 2005:16, , Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 4 αναφέρεται ως αναφορά 26 από την εργασία των Juan Antonio Maestro, Daniel Mozos, Raquel Dormido and Pedro Reviriego, «New Alternatives to the Estimation Problem in Hardware-Software Codesign of Complex Embedded Systems: The H.261 Video Codec Case Study», Journal Design automation for Embedded Systems, Volume 9, Number 3, pp , Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 15 από την εργασία των Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin, «Automatic test generation with AGATHA», Proceedings of the 9 th international conference for Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2003, Lecture Notes in Computer Science 2619, volume 2619/2003, pp , Springer-Verlag Heidelberg, July Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 5 αναφέρεται ως αναφορά 32 από την εργασία των Ansgar Bredenfeld and Jοrg Wilberg, «Model Based Multi-Level Prototyping», 10th IEEE International Workshop on Rapid System Prototyping, pp , Clearwater, Florida, June, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 7 αναφέρεται ως αναφορά 19 από την εργασία των T.-Y. Lee, P.-A. Hsiung, I-Mu Wu and Feng-Shi Su, «ESSP: An Embedded Software Synthesis and Prototyping Methodology», Proceedings of the International Computer Symposium (ICS'2002), pp , Taiwan, December Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 7 αναφέρεται ως αναφορά 1 από την εργασία των Jiang Xu and Wayne Wolf (Department of Electrical Engineering, Princeton University), «Platform- Based Design and the First Generation Dilemma», 9th IEEE/DACT Electronic Design Processes Workshop (EDP-2002), Monterey, USA, April, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 6 από την εργασία των David Lugato, Céline Σελίδα 15 από 22

16 Bigot and Yannick Valot, «Validation and automatic test generation on UML models: the AGATHA approach», 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 02), pp , Elsevier Science B.V., Spain, July, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 19 από την εργασία των T.-Y. Lee, P.-A. Hsiung, I-M. Wu and F.-S. Su, «RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology», Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'2003), Lecture Notes in Computer Science 2968, volume 2968/2000, pp , Springer-Verlag Heidelberg, Taiwan, February, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά [GVK 00] από την εργασία των L. Apvrille, P. de Saqui-Sannes, F. Khendek, «TURTLE-P: Un profil UML pour la validation d'architectures distribuees», Colloque Francophone sur l'ingénierie des Protocoles (CFIP), Hermes, Paris, France, Octobre 7-10, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 10 από την εργασία των Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement and Michel Hassenforder, «The TopModL Initiative», UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, Revised Selected Papers Editors: Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez, pp. 242, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 5 από την εργασία των Pierre-Alain Muller, Didier Bresch and Philippe Studer, «Model-Driven Architecture for Automatic- Control: An Experience Report», The Unified Modelling Language: Modelling Languages and Applications, Proceedings of 7th International Conference, Lisbon, Portugal, October 11-15, Editors: Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor, pp. 260, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε κεφάλαια βιβλίων διεθνούς κυκλοφορίας, η εργασία 2 αναφέρεται ως αναφορά 3 από την εργασία των Jerome Lemaitre, Sylvain Alliot and Ed Deprettere, «On the (Re-)Use of IP- Components in Re-configurable Platforms», A. Pimentel and S. Vassiliadis (Eds.): SAMOS 2004, LNCS 3133, pp , Springer-Verlag Berlin Heidelberg, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 10 από την εργασία των David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut, «Automated Functional Test Case Synthesis from THALES industrial Requirements», Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 04), pp , IEEE Computer Society, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 7 από την εργασία των Servat David, Chiron Fabien, Kouiss Khalid, Meurisse Thomas, Souchet Guy, «Modèle d'architecture générique pour la supervision de systèmes de production», IDM'05 Premières Journées sur l'ingénierie Dirigée par les Modèles Paris, 30 Juin, 1 Juillet Σελίδα 16 από 22

17 21. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 2 αναφέρεται ως βασική αναφορά από την ομιλία του καθηγητή Jun- Dong Cho, Sung Kyun Kwan University, Department of ECE, VLSI Algorithmic Design Automation Laboratory με τίτλο «Low Power System Level Design Methodologies», στην εταιρία Samsung S.A. (ada.skku.ac.kr/classinfo/lecture/asic.ppt). 22. Από τα βιβλία μου που έχουν εκδοθεί από διεθνείς εκδοτικούς οίκους του εξωτερικού, το βιβλίο 1 αναφέρεται στο Letter # 30 of the European Electronic Chips & Systems Design Initiative. 23. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφορά 2 από το άρθρο των Steve Mellor, Laurent Rioux, Jean Bézivin, «MDA-components: Is there a Need and a Market?», OMG document ad/ : OFTA/MDA users SIG/MDA working Group report ( 24. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 7 αναφέρεται από το Master Thesis του Hasanain Golam με τίτλο: Component-based Network Test Tools Platform for Network Design and Maintenance, Napier University, May Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 4 αναφέρεται ως αναφορά 13 από την εργασία των Pavle Belanovic, Martin Holzer, Bastian Knerr, and Markus Rupp, «Automated Verification Pattern Refinement for Virtual Prototypes», Proceedings of Conference of Design of Circuits and Integrated Systems, November 2005, Lissabon, Portugal. 26. Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 3 αναφέρεται ως αναφορά 136 από τη διατριβή του Andre Ludecke με τίτλο: «Simulationsgestützte Verfahren für den Top-Down-Entwurf heterogener Systeme», University Duisburg-Essen, Germany, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή συνέδρια, η εργασία 8 αναφέρεται ως αναφέρεται ως αναφορά 6 από την εργασία των Christophe Louvray et al., «UML Methodology for Smart Transducer Integration in Real-Time Embedded Systems», IEEE Intelligent Vehicles Symposium, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 6 αναφέρεται ως αναφέρεται ως αναφορά 6 από την εργασία των Manel Khlif, Mohamed Shawky, «Co-modelling and simulation with multilevel of granularity for real time electronic systems supervision», EUROSIM/UKSIM 2008, 10th International conference on computer Modelling and Simulation, Cambridge: Royaume-Uni, Από τις δημοσιευμένες ερευνητικές μου εργασίες σε διεθνή περιοδικά, η εργασία 6 αναφέρεται ως αναφέρεται ως αναφορά 6 από την εργασία των Manel Khlif, Mohamed Shawky, «Enhancing Diagnosis Ability for Embedded Electronic Systems Using Co-Modeling», EUROSIM/UKSIM 2008, 10th International conference on computer Modelling and Simulation, Cambridge: Royaume-Uni, Σελίδα 17 από 22

18 ΔΙΔΑΚΤΙΚΗ ΕΜΠΕΙΡΙΑ Τον Ιανουάριο του 2003, παρουσίασα σειρά διαλέξεων με θέμα «Τεχνικές σχεδίασης για προηγμένες τηλεπικοινωνιακές εφαρμογές και δίκτυα επικοινωνιών», στα τμήματα έρευνας και ανάπτυξης των εταιρειών Nokia (Φιλανδία), Siemens Mobile (Γερμανία) και Ericsson (Σουηδία). Αναφορικά με την διδακτική μου εμπειρία σε ανώτερα και ανώτατα εκπαιδευτικά ιδρύματα: Τα ακαδημαϊκά έτη 1997 και 1998 παρείχα επικουρικό έργο στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών, στα εργαστήρια των εξής προπτυχιακών μαθημάτων: (α) «Προγραμματισμός με την γλώσσα C» (Β έτος), (β) «Εργαστήριο Unix Internet» (Α έτος). To 1999 δίδαξα σειρά φροντιστηριακών μαθημάτων για το μάθημα «Προηγμένοι μικροεπεξεργαστές» (Ε έτος) του Τμήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Αντικείμενο του μαθήματος ήταν η μελέτη της αρχιτεκτονικής των σύγχρονων επεξεργαστών και των βασικών αρχών λειτουργίας τους. Τον Ιούλιο του 1999 παρουσίασα σειρά διαλέξεων στα πλαίσια του διατμηματικού Μεταπτυχιακού Διπλώματος Ειδίκευσης με τίτλο «Ολοκληρωμένα Συστήμάτα Υλικού και Λογισμικού» του Τμήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Οι διαλέξεις αφορούσαν την ανάπτυξη πολύπλοκων τηλεπικοινωνιακών συστημάτων με χρήση τεχνικών συσχεδίασης υλικούλογισμικού. Οι θεματικές ενότητες που διδάχτηκαν αφορούσαν τις βασικές αρχές της συσχεδίασης υλικού-λογισμικού, τα υπολογιστικά μοντέλα καθώς και τις γλώσσες που χρησιμοποιούνται κατά το συσχεδιασμό ενσωματωμένων τηλεπικοινωνιακών συστημάτων. Από τον Οκτώβριο 2002 έως Ιούλιο 2006 επιστημονικός συνεργάτης στην βαθμίδα του Επίκουρου Καθηγητή στο ΤΕΙ Μεσολογγίου, στο τμήμα Πληροφορικής στη Διοίκηση και στην Οικονομία της Σχολής Διοίκησης και Οικονομίας, όπου διδάσκω τα μαθήματα: Ανάλυση και Σχεδιασμός Πληροφοριακών Συστημάτων (Θεωρία & Εργαστήριο) Δίκτυα υπολογιστών (Εργαστήριο) Από τον Οκτώβριο 2005 έως σήμερα είμαι επιστημονικός συνεργάτης στην βαθμίδα του Επίκουρου Καθηγητή στο ΤΕΙ Μεσολογγίου, στο τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων, όπου διδάσκω τα μαθήματα: Γλώσσες ανάλυσης και σχεδίασης συστημάτων (Θεωρία) Σχεδίαση Πρωτοκόλλων (Θεωρία και Εργαστήριο) Αρχές Σχεδίασης Συστμάτων (Θεωρία) Λειτουργικό σύστημα Unix (Εργαστήριο) Από τον Οκτώβριο 2002 Φεβρουάριο 2003 κατείχα τη βαθμίδα του Λέκτορα (Π.Δ. 407/80) στο τμήμα Φαρμακευτικής του Πανεπιστημίου Πατρών. Σελίδα 18 από 22

19 Από τον Οκτώβριο 2003 έως Ιούλιο 2004 Σύμβουλος στην Θεματική Ενότητα ΠΛΗ23 Τηλεματική, Διαδίκτυα και Κοινωνία στο Ελληνικό Ανοιχτό Πανεπιστήμιο. Από τον Οκτώβριο 2005 έως σήμερα Καθηγητής Σύμβουλος στην Θεματική Ενότητα ΠΛΗ23 Τηλεματική, Διαδίκτυα και Κοινωνία στο Ελληνικό Ανοιχτό Πανεπιστήμιο. Από τον Σεπτέμβριο 2008 έως σήμερα είμαι εκλεγμένος Επίκουρος Καθηγητής στο ΤΕΙ Μεσολογγίου, στο τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων, όπου διδάσκω τα μαθήματα: Εισαγωγή στην Πληροφορική Γλώσσες ανάλυσης και σχεδίασης συστημάτων Σχεδίαση Πρωτοκόλλων Ανάλυση, Σχεδιασμός και Υλοποίηση Τηλεπικοινωνιακών Συστημάτων Αρχιτεκτονική Υπολογιστών ΒΑΣΙΚΕΣ ΕΞΕΙΔΙΚΕΥΣΕΙΣ Μέθοδοι σχεδίασης και τεχνικές ανάπτυξης για προηγμένα συστήματα τηλεπικοινωνιών Σχεδιασμός και ανάπτυξη τηλεπικοινωνιακών συστημάτων υλικού-λογισμικού για ασύρματα δίκτυα. Ανάπτυξη πρωτοκόλλων για βιομηχανικά δίκτυα πραγματικού χρόνου. Τεχνικές συνεξοιμοίωσης για πολύπλοκα τηλεπικοινωνιακά συστήματα υλικού λογισμικού. Ανάπτυξη τηλεπικοινωνιακών εφαρμογών με χρήση των γλωσσών SDL (Specification and Description Language) και B. Σχεδιασμός τηλεπικοινωνιακών συστημάτων με χρήση UML (Unified Modeling Language) και αντικειμενοστραφών μεθόδων ανάπτυξης. ΞΕΝΕΣ ΓΛΩΣΣΕΣ Αγγλικά, Άριστα Certificate of Proficiency in English (University of Cambridge, June 1995) ΔΙΑΛΕΞΕΙΣ ΣΕ ΔΙΕΘΝΗ ΣΥΝΕΔΡΙΑ Παρουσίαση της δημοσιευμένης εργασίας "Reusable architecture templates and automatic specification mapping in the efficient implementation of ATM protocols", στο 9th International IEEE Workshop on Rapid System Prototyping που διεξήχθη στο Leuven του Βελγίου από 3 έως 5 Ιουνίου Παρουσίαση της δημοσιευμένης εργασίας "Hardware-Software Co-design of embedded systems using multiple formalisms for application development" στο 2nd FORTE XI/PSTV XVIII Conference που διεξήχθη στο Παρίσι το Σεπτέμβριο του Παρουσίαση της δημοσιευμένης εργασίας "Application of a multi-formalism codesign methodology for the development of complex telecommunication protocols" στο 6th IEEE International Conference on Electronics, Circuits and Systems που διεξήχθη στην Πάφο της Κύπρου από 5 έως 8 Σεπτεμβρίου Σελίδα 19 από 22

20 Παρουσίαση της δημοσιευμένης εργασίας "Specification, Implementation and Validation of Object Oriented Embedded Systems στο 14th European Conference on Object Oriented Programming που διεξήχθη στη Sofia Antipolis & Cannes στη Γαλλία, από 12 έως 16 Ιουνίου Παρουσίαση της δημοσιευμένης εργασίας, Efficient system modeling of complex real-time industrial networks using the ACCORD/UML methodology στο DIPES 2000: International IFIP WG 10.3/WG 10.4/ WG 10.5 Workshop on Distributed and Parallel Embedded Systems που διεξήχθη στο Paderborn της Γερμανίας από 18 έως 19 Οκτωβρίου Παρουσίαση της δημοσιευμένης εργασίας, A hardware/software co-design framework for developing complex embedded systems using formal model refinement στο Forum for Specification and Design Languages (FDL 04) που διεξήχθη στη Lille της Γαλλίας από 13 έως 17 Σεπτεμβρίου Παρουσίαση της δημοσιευμένης εργασίας, An Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems στο Forum for Specification and Design Languages (FDL 04) που διεξήχθη στη Lille της Γαλλίας από 13 έως 17 Σεπτεμβρίου ΚΡΙΤΗΣ ΣΕ ΔΙΕΘΝΗ ΠΕΡΙΟΔΙΚΑ/ΣΥΝΕΔΡΙΑ Τακτικός κριτής (Reviewer) στο περιοδικό IEEE Software. Τακτικός κριτής (Reviewer) στο περιοδικό IEEE Transactions on Dependable and Secure Computing (TDSC). Τακτικός κριτής (Referee) στο περιοδικό ACM Transactions in Embedded Computing Systems (TECS). Τακτικός κριτής (Reviewer) στο περιοδικό IEEE Computer Magazine. Κριτής στο συνέδριο Forum on Design Languages (FDL) για τα έτη 2001, 2003 και Κριτής στο συνέδριο ReCoSoc (Reconfigurable Systems-on-Chip) για το έτος Κριτής στο συνέδριο ReCoSoc (Reconfigurable Systems-on-Chip) για το έτος Κριτής στο συνέδριο IEEE Annual Symposium on VLSI Systems για το έτος ΑΞΙΟΛΟΓΗΣΗ ΕΡΕΥΝΗΤΙΚΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Αξιολογητής των ερευνητικών προγραμμάτων ΠΕΝΕΔ 2003 της Γενικής Γραμματείας Έρευνας και Τεχνολογίας, για τον τομέα προκήρυξης: Τεχνολογίες πληροφορίας και επικοινωνίας, Αξιολογητής ερευνητικών προγραμμάτων για την Ευρωπαϊκή Επιτροπή, στα πλαίσια του FP6, IST Call 5, Strategic Objective 2.5.3: Embedded Systems, Αξιολογητής ερευνητικών προγραμμάτων για την Ευρωπαϊκή Επιτροπή, στα πλαίσια του FP6, IST Call 6, Strategic Objective 2.6.2: Ambient Assisted Living (AAL), Αξιολογητής των ερευνητικών προγραμμάτων στην Κοινωνία της Πληροφορίας στο πλαίσιο του Γ Κύκλου της Δράσης «WIRELESS HOTSPOTS», Σελίδα 20 από 22