Ranaldo, Pierfrancesco
(2017)
Modelli ILP per la determinazione delle prestazioni conseguibili con il protocollo "Priority Inheritance" in applicazioni multitasking hard real-time.
[Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria dell'automazione [LM-DM270]
Documenti full-text disponibili:
Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (5MB) |
Abstract
Regole ed esempi pratici sulla costruzione di Modelli di Programmazione Lineare Intera per la rappresentazione di task periodici di Applicazioni Real-Time e delle loro interazioni bloccanti; utili per la determinazione del "massimo tempo di blocco" che i processi possono subire, nell'ipotesi: che siano schedulati con strategia "Rate Monotonic Priority Order"; che la politica di gestione degli accessi alle risorse condivise sia quella definita dal protocollo "Priority Inheritance".
Abstract