Συσχεδίαση υλικού και λογισμικού ενσωματωμένων συστημάτων (ΕΣ). Φορμαλιστικές περιγραφές συμπεριφοράς ένθετων συστημάτων. Δημιουργία μοντέλων συστημάτων.. Διαμέριση υλικού και λογισμικού. Σύνθεση υλικού και λογισμικού. Επιβεβαίωση σχεδίασης. Ένθετοι επεξεργαστές. Ένθετα συστήματα επεξεργασίας σήματος. Ένθετα τηλεπικοινωνιακά συστήματα. Ένθετα συστήματα ελέγχου. ΕΣ χαμηλής κατανάλσης ενέργειας. Δίκτυα ασύρματων αισθητήρων. Εργαστήριο: Εφαρμογές σχεδίασης ένθετων συστημάτων σε ψηφίδα (embedded Systems on Chip) με τη χρήση κατάλληλου αναπτυξιακού περιβάλλοντος και υλοποίηση στο υλικό με FPGAs.