Domande d'esame VERIFICATO

2012.02.10 esami prof: Gatti

Politecnico di Milano ingegneria dell'automazione 2012
9 visualizzazioni
Nessun voto ancora
Condividi: WhatsApp Telegram
Anteprima pagina 1 — 2012.02.10 esami prof: Gatti Anteprima pagina 2 — 2012.02.10 esami prof: Gatti

Di cosa parla

  • Modellare la produzione e vendita in una gelateria tramite StateCharts: Fabio produce pasticcini o gelato basandosi sulla scorta, Cecilia serve clienti se presenti; regole anti-ciclo richieste.
  • Soluzione alternativa per l'esercizio 1.b senza eventi pasticcino_servito e gelato_servito.
  • Esercizio 2: Schedulazione periodica con Rate Monotonic, deferrable server, dinamico; introduzione processi aperiodici soft real time e loro schedulazione con server dinamico.
  • Ottimalità di EDF con processi aperiodici senza vincoli di precedenza.
  • Rilevamento errori nel codice Java e output prodotto, considerando la chiamata a provastampa.

Altri appunti di SISTEMI INFORMATICI

Condividi questi appunti

WhatsApp Telegram