Λειτουργικά Συστήματα Πραγματικού Χρόνου

Πιθανώς μεταπτυχιακό μάθημα (κατά τα φύλλα εργαστηρίου 2006) για λειτουργικά συστήματα και χρονοδρομολόγηση σε συστήματα πραγματικού χρόνου και ενσωματωμένα συστήματα: προθεσμίες, αλγόριθμοι RM και EDF, κοινοί πόροι, ασφάλεια και κατανεμημένος έλεγχος. Το υλικό στο KB είναι από το ακαδημαϊκό έτος 2006-07 και δεν βρέθηκε στοιχείο για τρέχουσα προσφορά. Διάβασε πρώτα την ενότητα «Αντιστοιχία με νέο πρόγραμμα».

⬇ Κατέβασε για AI

Με μια ματιά

Κωδικός	ΟΣΥΛ0607 στα υλικά (Βιβλιογραφία (διαθέσιμο στο πλήρες πακέτο)). Στον κατάλογο 2025-26 δεν βρέθηκε (Κατάλογος).
Επίπεδο	Μεταπτυχιακό, σύμφωνα με τα φύλλα εργαστηρίου (Εργαστήριο 3 (διαθέσιμο στο πλήρες πακέτο))
ECTS / ώρες	Δεν βρέθηκαν πληροφορίες.
Τομέας	Δεν βρέθηκαν πληροφορίες.
Διδάσκων	Δεν βρέθηκαν πληροφορίες για τον τρέχοντα διδάσκοντα. Τα υλικά του 2006-07 αναφέρουν τον Μ. Στεφανιδάκη (Διαφάνειες s01 (διαθέσιμο στο πλήρες πακέτο)).
Αξιολόγηση (2006-07)	Εργασίες ανά ομάδες, 40% του τελικού βαθμού (Διαφάνειες s01 (διαθέσιμο στο πλήρες πακέτο)). Ο υπόλοιπος τρόπος αξιολόγησης δεν αναφέρεται.

Τι θα μάθεις

Η ύλη προκύπτει από τις επτά ενότητες του 2006-07 (s01 (διαθέσιμο στο πλήρες πακέτο) έως s07 (διαθέσιμο στο πλήρες πακέτο)):

• Βασικές έννοιες: πολυδιεργασία, καταστάσεις διεργασιών, context switch, προεκτοπισμός, κρίσιμες περιοχές, deadlock, αντιστροφή προτεραιοτήτων, semaphores, messages, event flags (s01 (διαθέσιμο στο πλήρες πακέτο)).
• Διακοπές και χρόνος: εξωτερικές διακοπές, εξυπηρέτηση και προτεραιότητές τους, και πώς το ΛΣ συνδυάζει τον πραγματικό με τον υπολογιστικό χρόνο (s02 (διαθέσιμο στο πλήρες πακέτο)).
• Χρονοδρομολόγηση: WCET, περιοδικές και μη περιοδικές διεργασίες, schedulability, RM, EDF, και στατικό πρόγραμμα εκτέλεσης (s03 (διαθέσιμο στο πλήρες πακέτο), s04 (διαθέσιμο στο πλήρες πακέτο)).
• Κοινοί πόροι: deadlock, Priority Inheritance, Priority Ceiling, Stack Resource Policy (s05 (διαθέσιμο στο πλήρες πακέτο)).
• Ασφάλεια: σφάλματα, ανοχή σε σφάλματα, testing, formal methods, model checking και timed automata (s06 (διαθέσιμο στο πλήρες πακέτο)).
• Κατανεμημένος έλεγχος: επικοινωνία event-triggered και time-triggered, TCP/IP σε ΛΣ πραγματικού χρόνου, middleware (s07 (διαθέσιμο στο πλήρες πακέτο)).

Τα τρία εργαστήρια γίνονται σε RTAI πάνω σε Linux: συγχρονισμός διεργασιών (Άσκηση 1 (διαθέσιμο στο πλήρες πακέτο)), χρονοδρομολόγηση με στατικές και δυναμικές προτεραιότητες (Άσκηση 2 (διαθέσιμο στο πλήρες πακέτο)), και κοινοί πόροι με πρωτόκολλο (Άσκηση 3 (διαθέσιμο στο πλήρες πακέτο)).

Αντιστοιχία με νέο πρόγραμμα

Δεν βρέθηκαν πληροφορίες. Ο κατάλογος 2025-26 δεν έχει μάθημα με αυτόν τον τίτλο (Κατάλογος). Το μάθημα επιλογής «Ενσωματωμένα Συστήματα» (CEID_NE588) είναι θεματικά κοντά, αλλά δεν υπάρχει στοιχείο ότι καλύπτει αυτή την ύλη.

Εξετάσεις

Δεν βρέθηκαν πληροφορίες για μορφή εξέτασης, θέματα ή περιόδους. Δεν υπάρχει φάκελος Previous Exams για αυτό το μάθημα και τα υλικά δεν αναφέρουν εξέταση. Η μόνη αξιολόγηση που αναφέρεται είναι οι ομαδικές εργασίες του 2006-07 (βλ. «Με μια ματιά»).

Υλικό & τρόπος μελέτης

• Διαφάνειες 2006-07 (με κείμενο): s01 (διαθέσιμο στο πλήρες πακέτο) έως s07 (διαθέσιμο στο πλήρες πακέτο), 18 έως 28 σελίδες η καθεμία.
• Εκδόσεις 6 διαφανειών ανά σελίδα: h01 (διαθέσιμο στο πλήρες πακέτο) έως h07. Η h01 έχει τον ίδιο τίτλο με τη s01 («Βασικές Έννοιες»).
• Φύλλα εργαστηρίου: Άσκηση 1 (διαθέσιμο στο πλήρες πακέτο), Άσκηση 2 (διαθέσιμο στο πλήρες πακέτο), Άσκηση 3 (διαθέσιμο στο πλήρες πακέτο). Είναι εκφωνήσεις, δεν βρέθηκαν λύσεις.
• Βιβλιογραφία: resources.pdf (διαθέσιμο στο πλήρες πακέτο). Αναφέρονται Buttazzo (Hard Real-Time Computing Systems), Liu (Real-Time Systems), Kopetz (Real-Time Systems), Dunn, Katoen και το RTAI 3.4 User Manual.
• Σημειώσεις: έξι αρχεία .rar (rtos0607n01 έως n06) στον φάκελο «Σημειώσεις - επί των διαφανειών». Δεν έχουν κείμενο στο KB, οπότε το περιεχόμενό τους δεν είναι γνωστό.

Πηγές & αξιοπιστία

• Όλο το υλικό είναι του 2006-07. Η βιβλιογραφία αναφέρει RTAI 3.4 και τα εργαστήρια RTAI σε Linux, και το εργαστηριακό σύστημα ίσως δεν υπάρχει πια. Οι έννοιες (RM, EDF, PIP, PCP, SRP) είναι κλασικές, αλλά οι λεπτομέρειες μπορεί να έχουν αλλάξει.
• Δεν υπάρχουν στο KB φάκελος eClass, μηνύματα Discord, εξετάσεις ή περίγραμμα, και δεν επιβεβαιώνεται ότι το μάθημα προσφέρεται σήμερα (Κατάλογος). Για ECTS, ώρες, τρέχοντα διδάσκοντα και εξετάσεις δεν υπάρχει πληροφορία.
• Η μόνη αναφορά σε βαθμολογία (40% ομαδικές εργασίες) προέρχεται από διαφάνειες του 2006-07 (s01 (διαθέσιμο στο πλήρες πακέτο)).

Αρχεία του φακέλου

Παράγεται αυτόματα από tools/render_readmes.py — αλλαγές εδώ χάνονται στην επόμενη εκτέλεση.

Φάκελος	Περιεχόμενο
Διαφάνειες/	7 αρχεία
Διαφάνειες (ανά 6 - ασπρόμαυρες)/	7 αρχεία
Εργαστήριο/	3 αρχεία
Σημειώσεις - επί των διαφανειών/	6 αρχεία
Αρχεία στη ρίζα	resources.pdf (διαθέσιμο στο πλήρες πακέτο), resources.pdf.md (διαθέσιμο στο πλήρες πακέτο)