logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Consulta il Regolamento
Elenco docenti
Strutture didattiche
Dati quantitativi
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese

Legenda
Semestre (Sem)
1Primo Semestre
2Secondo Semestre
AInsegnamento Annuale
(1)Primo Emisemestre
(2)Secondo Emisemestre
Attività formative
BCaratterizzanti
Lingua d'erogazione
Insegnamento completamente offerto in lingua italiana
Insegnamento completamente offerto in lingua inglese
--Non definita
Didattica innovativa
I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
  • Cotutela con mondo esterno
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Dati Insegnamento
Contesto
Anno Accademico 2017/2018
Scuola Scuola di Ingegneria Civile
Ambientale e Territoriale
Scuola di Ingegneria Industriale e dell'Informazione
Corso di Studi (Mag.)(ord. 270) - MI (495) Geoinformatics Engineering - Ingegneria Geoinformatica
Piano di Studio preventivamente approvato GEC - Geoinformatics Engineering - CS
Anno di Corso 2

Scheda Insegnamento
Codice Identificativo 051890
Denominazione Insegnamento FORMAL LANGUAGES AND COMPILERS AND EMBEDDED SYSTEMS 1
Tipo Insegnamento Corso Integrato
Crediti Formativi Universitari (CFU) 10.0
Semestre Primo Semestre
Programma sintetico Concetti teorici e algoritmi per la definizione e l'analisi di linguaggi artificiali, e per il progetto di compilatori. Espressioni regolari, automi a stati finiti, e loro conversione. Grammatiche libere dal contesto, ambiguità, e adeguatezza strutturale. Astrazione linguistica, liste a livelli, e ricorsione. Automi a pila, determinismo, analisi sintattica, metodi ELR e ELL, e metodo tabulare (algoritmo di Earley). Semantica e traduzione, traduzione diretta da sintassi, grammatiche con attributi, e analisi sematica. Principi di analisi statica dei programmi. Progetto di compilatori tramite gli strumenti software Flex e Bison. Embedded Systems 1 Il corso fornisce le competenze utili alla realizzazione di sistemi embedded, quali i Cyber Physical Systems o i dispositivi per uso industriale, comprendendo sia le tecnologie di base sia la selezione della toolchain. Dapprima vengono sistematizzate le competenze base circa le architetture di calcolo, la comunicazione e il software con riferimento ad applicazioni embedded in termini di standard e requisiti applicativi. Si procede quindi all'analisi dei criteri di messa a punto del flusso di progetto che sia ottimale non solo rispetto agli obiettivi tradizionali (ad esempio energia, potenza) ma considerando anche l'impatto su costi e tempi di sviluppo. Al termine del corso gli studenti saranno in grado di analizzare una applicazione embedded e procedere alla loro realizzazione identificando la soluzione ottimale sotto diversi aspetti, come la flessibilità, la standardizzazione, il costo, le dimensioni, il profilo energetico, le prestazioni e, non meno importante, il legame esistente fra le metodologie di progetto, il design flow e le toolchain commerciali.
Settori Scientifico Disciplinari (SSD)
Attività formative Codice SSD Descrizione SSD CFU
B
ING-INF/05
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
10.0

Orario: aggiungi e rimuoviScaglioneCodiceDenominazione ModuloDocenteCFUSem.Lingua offertaProgramma dettagliato
Da (compreso)A (escluso)
--AZZZZ051889EMBEDDED SYSTEMS 1Fornaciari William5.01 (1)
051887FORMAL LANGUAGES AND COMPILERSBreveglieri Luca Oddone5.01
manifesti v. 3.3.3 / 3.3.3
Area Servizi ICT
31/03/2020