Domande d'esame VERIFICATO

2012.02.10 esami prof: Gatti

Politecnico di Milano ingegneria dell'automazione 2012
68 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

Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.

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.

Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.

Altri appunti di SISTEMI INFORMATICI

Condividi questi appunti

WhatsApp Telegram