Tο μάθημα “Σχεδιασμός και Επαλήθευση Βάσει Μοντέλου” (Model Based Design and Verification) αποτελεί μια αυτόνομη ενότητα μάθησης που στοχεύει στην εισαγωγή τεχνικών μοντελοποίησης για το σχεδιασμό σύνθετων ενσωματωμένων συστημάτων, που αποτελούνται από στοιχεία λογισμικού και υλικού και που αλληλεπιδρούν με το περιβάλλον.
Σχετικά με αυτό το μάθημα
Το μάθημα επικεντρώνεται στον σχεδιασμό σε επίπεδο συστήματος, συμπεριλαμβανομένων τεχνικών μοντελοποίησης που μπορούν να χρησιμοποιηθούν για την αναπαράσταση απαιτήσεων και αρχιτεκτονικής συστημάτων σχεδιασμού που ικανοποιεί τόσο λειτουργικές όσο και εξωλειτουργικές απαιτήσεις (όπως η αξιοπιστία και η ασφάλεια).
Οι αλληλεπιδράσεις μοντελοποίησης και η αντιδραστική συμπεριφορά με βάση την κατάσταση εισάγονται στο επίπεδο των συνιστωσών του συστήματος. Για την επαλήθευση του σχεδιασμού, θα παρουσιαστούν διάφορες τεχνικές ανάλυσης αρχιτεκτονικής που βασίζονται σε μοντέλα, προσομοιώσεις και μέθοδοι δοκιμών που βασίζονται σε μοντέλα. Το μάθημα εισάγει επίσης το SysML και το UML ως γλώσσες μοντελοποίησης συστημάτων.
Το πρόγραμμα σπουδών
Το μάθημα αποτελείται από 5 κύριους τομείς, που παρουσιάζονται σε 9 διαλέξεις:
- Εισαγωγή στη μοντελοποίηση συστημάτων και στη γλώσσα μοντελοποίησης συστημάτων (1 διάλεξη)
- Απαιτήσεις μοντελοποίησης και η δομή του σχεδιασμού (2 διαλέξεις)
- μοντελοποίηση της πλατφόρμας και κατανομή των συνιστωσών· σχεδιασμός της αρχιτεκτονικής των κρίσιμων συστημάτων και ανάλυση των αποφάσεων σχεδιασμού (3 διαλέξεις)
- Μοντελοποίηση της συμπεριφοράς των αντιδραστικών συστατικών και της επικοινωνίας τους (2 διαλέξεις)
- Δοκιμή, προσομοίωση και επαλήθευση βάσει μοντέλου (1 διάλεξη)
Σχετικά με τον εκπαιδευτή
Ο Istvan Majzik είναι αναπληρωτής καθηγητής στο Τμήμα Τεχνητής Νοημοσύνης και Μηχανικής Συστημάτων του Τεχνολογικού και Οικονομικού Πανεπιστημίου της Βουδαπέστης (BME) στη Βουδαπέστη της Ουγγαρίας.
Σχετικά με το RESCHIP4EU
Το μάθημα αυτό αναπτύσσεται και υλοποιείται στο πλαίσιο του προγράμματος «Ψηφιακή Ευρώπη» της Ευρωπαϊκής Ένωσης για την ενίσχυση των δεξιοτήτων στον σχεδιασμό μικροκυκλωμάτων για την Ευρώπη (RESCHIP4EU). Η πρωτοβουλία αυτή αποσκοπεί στη στήριξη της αριστείας της τριτοβάθμιας εκπαίδευσης της ΕΕ γύρω από τον σχεδιασμό ενσωματωμένων συστημάτων με ολιστικό τρόπο, από το πυρίτιο μέσω του σχεδιασμού και της κατασκευής System-on-Chip έως το έξυπνο και κρίσιμο για την ασφάλεια λογισμικό πλατφορμών και εφαρμογών.
Αναδημοσίευση κειμένου: “Model Based Design and Verification (RESCHIP4EU)“, Created by Romane Léauté, Digital Skills & Jobs Platform.
Επιμέλεια μετάφρασης: Εθνική Συμμαχία για τις Ψηφιακές Δεξιότητες & την Απασχόληση.
