Εργαστήριο Συστημάτων Υπολογιστών

Τα μέλη του εργαστηρίου εργάζονται σε ζητήματα μοντέλων προγραμματισμού και υποστήριξη σε επίπεδο λειτουργικού συστήματος / συστημάτων χρόνου εκτέλεσης για ενσωματωμένα και αναδιατασσόμενα συστήματα, εργαλεία CAD για αρχιτεκτονική σύνθεση υπολογιστικών συστημάτων, παράλληλα και κατανεμημένα συστήματα, κινητά και διάχυτα υπολογιστικά συστήματα, καθώς και σε ασύρματα δίκτυα αισθητήρων. Τα μέλη της ομάδας διαθέτουν σημαντική εμπειρία στη σχεδίαση, ανάπτυξη και αξιολόγηση στα επίπεδα του υλικού και του λογισμικού συστήματος, με πρακτική εμπειρία σε διαφορετικές πλατφόρμες και λειτουργικά συστήματα.

Μη Θεσμοθετημένο εργαστήριο.

Ερευνητικές Δραστηριότητες

1. Σχεδίαση και ανάπτυξη ενσωματωμένων και αναδιατασσόμενων συστημάτων.
2. Σχεδίαση και ανάπτυξη κατανεμημένων συστημάτων.
3. Εργαλεία CAD για υπολογισμό με αναδιατασσόμενα συστήματα.
4. Λογισμικό συστήματος για συστήματα υπολογισμού υψηλής επίδοσης.
5. Μοντέλα προγραμματισμού για ετερογενή υπολογιστικά συστήματα υψηλής επίδοσης.
6. Συ-σχεδίαση υλικού / λογισμικού.
7. Βελτιστοποίηση κατανάλωσης ισχύος / επίδοσης.
8. Μεταφορά και βελτιστοποίηση υπολογιστικά απαιτητικών εφαρμογών σε σύγχρονες υπολογιστικές αρχιτεκτονικές.

Εργαστηριακή Υποδομή

1. Υποδομή εξυπηρετητών υψηλής διαθεσιμότητας,  σε πολλαπλά αντίγραφα, για την υποστήριξη διαχείρισης αρχείων, κεντρικοποιημένου καταλόγου, διατήρησης εκδόσεων κώδικα και εγγράφων, συνεργασίας και διαχείρισης έργων.
2. 8 πολυπύρηνοι σταθμοί εργασίας για ανάπτυξη.
3. 2 beagleboards (πλακέτες ανάπτυξης βασισμένες σε OMAP επεξεργαστή).
4. Υπολογιστικές πλατφόρμες υψηλής επίδοσης βασισμένες σε κάρτες γραφικών: 2x NVidia GTX480, 1x NVidia GTX 580, 2 x διπλή NVidia GTX690.
5. Πλατφόρμες ανάπτυξης της Xilinx βασισμένες σε FPGAs Virtex-4, Virtex-5, Spartan-6.
6. Πολυπύρηνος σταθμός ανάπτυξης με 3 Virtex-7 FPGAs.
7. Πλατφόρμες ασύρματων δικτύων αισθητήρων: Smartlts, PrismaSense, Imote2.
8. Ασύρματα ελεγχόμενο αερόπλοιο, το οποίο μπορεί να χρησιμοποιηθεί για εναέρια επιτήρηση / συλλογή δεδομένων.
9. Ιδιοκατασκευασμένο robot με αυτόνομο ή βασισμένο σε χειρονομίες έλεγχο.

Υπηρεσίες προς Επιχειρήσεις

1. Λογισμικό και υλικό ενσωματωμένων συστημάτων (Embedded systems). Αναδιατασσόμενα συστήματα (FPGAs)
2. Λογισμικό για συστήματα υπολογισμού υψηλής επίδοσης, και ανάπτυξη/μεταφορά εφαρμογών σε σύγχρονες υπολογιστικές αρχιτεκτονικές (High Performance Computing)
3. Βελτιστοποίηση κατανάλωσης ισχύος / επίδοσης σε ενσωματωμένα συστήματα, συστήματα υψηλών επιδόσεων και κατανεμημένα συστήματα με ασύρματη επικοινωνία

Ερευνητικά αποτελέσματα/ προϊόντα

1. SopenCL – Silicon OpenCL : Υποδομή (τεχνολογία μεταγλωττιστή και συστήματος χρόνου εκτέλεσης) για την ενσωμάτωση των FPGAs στο «οικοσύστημα» των ετερογενών υπολογιστών. Διευκολύνει την ανάπτυξη υλικού (hardware) με χρήση δημοφιλών μοντέλων προγραμματισμού, αντί της χρήσης εξειδικευμένων γλωσσών περιγραφής υλικού. Επιτρέπει την εύκολη ανάπτυξη υλικού από την πολυπληθή κοινότητα των προγραμματιστών.
2. POBICOS (μοντέλο προγραμματισμού & ενδιάμεσο λογισμικό): Μοντέλο προγραμματισμού και το αντίστοιχο ενδιάμεσο λογισμικό για ενσωματωμένα συστήματα (για την πλατφόρμα Imote2) στοχευμένο σε εφαρμογές κατανεμημένου, απανταχού υπολογισμού για ασύρματα δίκτυα αισθητήρων και μηχανισμών. Οι εφαρμογές οργανώνονται ως μια προσαρμοστική ιεραρχία κινητών πρακτόρων, οι οποίοι δημιουργούνται / τοποθετούνται αυτόματα σε κόμβους που παρέχουν τους απαιτούμενους υπολογιστικούς πόρους, αισθητήρες και μηχανισμούς και μετακινούνται δυναμικά μεταξύ κόμβων ώστε να μειωθεί στο μέτρο του δυνατού η κυκλοφορία δεδομένων στο ασύρματο δίκτυο.
3. POBICOS in a Smart Campus: Η πλατφόρμα POBICOS ενσωματώνεται στην υποδομή IoT του Centre for Communication Systems Research (CCSR) στο Πανεπιστήμιο Surrey. Αξιοποιώντας το POBICOS, ο χρήστης μπορεί εύκολα να ξεκινήσει, να ελέγξει  και να σταματήσει/αφαιρέσει μία οι περισσότερες εφαρμογές οι οποίες εκτελούνται ταυτόχρονα και αξιοποιούν τους διαθέσιμους αισθητήρες στα γραφεία του κτηρίου του CCSR.

Ερευνητικά Έργα

1. SCoRPiO – Significance–based Computing for Reliability and Power Optimization (2013–2016). EU ICT FET–Open Programme.
2. MATENVMED Πλατφόρμα προηγμένων μαθηματικών μεθόδων και λογισμικού για την επίλυση προβλημάτων πολλαπλών πεδίων (multiphysics, multidomain) σε σύγχρονες υπολογιστικές αρχιτεκτονικές: Εφαρμογές σε προβλήματα περιβαλλοντικής μηχανικής και ιατρικής (2012–2015). Υπουργείο Παιδείας, Πρόγραμμα Θαλής.
3. SACCOM/SmartSantander – Soft Actuation over Cooperating Objects Middleware (2012–2013). EU ICT FIRE Open Call Programme.
4. MariBrain – Ship Health Monitoring Using Wireless Sensor Networks (2013–2016). Γενική Γραμματεία Έρευνας & Τεχνολογίας, Πρόγραμμα «Συνεργασία 2011».
5. ESL_STR – Automatic Hardware Generation Using the Streaming Paradigm (2008–2012). EC Marie Curie International Reintegration Grant.
6. POBICOS – Platform for Opportunistic Behavior in Incompletely Specified, Heterogeneous Object Communities (2008–2011). EU ICT Programme.

Πρόσωπα