SISTEMI INFORMATICI

Appunti del corso di “SISTEMI INFORMATICI” tenuto dal prof. “Nicola Gatti”

Indirizzo di studi: Ingegneria Automazione

Sono presenti 2 documenti:

Riassunto completo del libro “Giorgio Buttazzo, Sistemi in Tempo Reale” (consigliato dal docente), integrati con appunti Completi del corso, presi su Ipad
Tutti i Teoremi e dimostrazioni richiesti per la parte teorica del corso (dal libro) presi su PC

Gli argomenti presenti sono:

Schedulazione real-time

Introduzione al problema del real-time e alla schedulazione di processi
Algoritmi per la schedulazione di processi aperiodici: Late Deadline First (LDF) e dimostrazione di ottimalità, Erliest Deadline First (EDF) e dimostrazione di ottimalità, EDF con processi con precedenze (EDF*), Bretley e Spring.
Algoritmi per la schedulazione di processi periodici: Rate Monotonic (RM) e dimostrazioni di ottimalità e schedulabilità, Earliest Deadline First (EDF) e dimostrazione di schedulabilità. Deadline Monotonic (DM) e Response Time Analysis (RTA).
Algoritmi per la schedulazione di processi misti a priorità statica: Deferrable Server (DS) e dimostrazione di schedulabilità, teorema di Tia-Liu-Shankar.
Algoritmi per la shedulazione di processi misti a priorità dinamica: EDF e Total Bandwith Server (TBA).
Gestione delle condizioni di overload: problematiche, fattore competitivo, limiti teorici sul fattore competitivo, algoritmo Dover.

Statecharts
Programmazione in linguaggio Java

Si garantisce che gli appunti toccano TUTTI gli argomenti del programma.

Per eventuali chiarimenti, potete contattarmi:  3337087371