Domande d'esame VERIFICATO
2009.03.06 esami prof: Gatti
10 visualizzazioni
Nessun voto ancora
Di cosa parla
- Modellare il coordinamento di un gruppo di meccanici durante un pit-stop utilizzando StateCharts: stati e transizioni per ogni gomma, ruoli dei meccanici in svitata, aspetta, avvita e aiutamento.
- Schedulazione aperiodica con Spring: due schedulazioni prodotte con hi=di e hi=di-Ci, Lmax minimizzato.
- Rate Monotonic: definizione, ottimalità e scheletro della dimostrazione di ottimalità con ipotesi e tesi.
- Nel livello di trasporto ISO/OSI: gestione della comunicazione da parte di UDP e TCP, ricostruzione dei pacchetti.