Σχεδιασμός Ενσωματωμένων Συστημάτων

Μοντέλα Περιγραφής Ενσωματωμένων Συστημάτων: Μοντέλα υπολογισμού, Γλώσσες προγραμματισμού Υψηλού Επιπέδου. Σχεδιασμός και Ανάλυση Προγράμματος/Εφαρμογής: Μοντέλα Προγράμματος, Μετασχηματισμοί υψηλού επιπέδου, Μεταφραστές για ενσωματωμένα συστήματα, Βελτιστοποίηση προγράμματος. Υλικό Ενσωματωμένων Συστημάτων: Πολυεπεξεργαστικές Αρχιτεκτονικές (MPSOC), Μονάδες επεξεργασίας, Δίκτυα και τοπολογίες διασύνδεσης, Ιεραρχίες Μνήμης, Μονάδες Διαχείρισης Μνήμης. Λογισμικό Ενσωματωμένων Συστημάτων: Ενσωματωμένα Λειτουργικά Συστήματα Πραγματικού χρόνου, χρονοδρομολόγηση σε συστήματα πραγματικού χρόνου. Υλοποίηση Ενσωματωμένων Συστημάτων-Συνσχεδιασμός Υλικού και Λογισμικού: Πλατφόρμες Σχεδιασμού, Τμηματοποίηση Υλικού και Λογισμικού, Ανάλυση Απόδοσης, Αλγόριθμοι Συν-σύνθεσης Υλικού και Λογισμικού. Επαλήθευση: Επαλήθευση υβριδικών συστημάτων, Προσομοίωση και Εξομοίωση, Δοκιμή, Προσομοίωση σφαλμάτων, Ανάλυση κινδύνων, Αξιοπιστία.