Prof. Luciano Lavagno
Corso di Laurea in Ingegneria Elettronica
Politecnico di Torino
L'obiettivo principale del corso é di fornire conoscenze approfondite sui modelli formali in uso nel progetto di sistemi embedded, e sulle relative tecniche di analisi e sintesi.
Il testo consigliato e': Peter Marwedel "Embedded System Design", Kluwer Academic Publishers, 2003.
In aggiunta, ci sono:
Materiale di anni precedenti, non piu' usato:
Le esercitazioni di laboratorio prevedono la specifica e la simulazione di semplici progetti, usando il linguaggio ECL (Esterel+C).
Informazioni su come installare il compilatore Esterel che useremo in laboratorio possono essere reperite in questo sito.
Il pre-processore ECL che useremo in laboratorio si trova in questo file.
L'esame sara' orale, con una prima domanda sotto forma di breve compito scritto (30 minuti), in cui si possono usare testi e appunti, con correzione immediata durante l'orale. Seguono 1-2 domande orali, per un totale di 20-30 minuti.