Sistemi embedded

Marco Di Natale  

Il corso copre le principali fasi dello sviluppo di sistemi embedded, con particolare attenzione al le tecniche basate su modelli (model-based) e all’uso di metodi formali per l'analisi delle proprietà del sistema. Verranno esaminati problemi e soluzioni relativi a tutte le fasi di sviluppo, comprendendo: analisi dei requisiti, progettazione a livello di sistema, modelli orientati ai componenti, modelli software, verifica di proprietà, scelta e progettazione dell’architettura, generazione di codice e testing.

1) Modello di sviluppo di sistemi embedded a. I sistemi embedded e l'impatto sulla moderna elettronica industriale b. Le fasi del processo di sviluppo, progettazione basata su modelli. c. Modelli di calcolo per sistemi embedded: macchine a stati finiti, FSM gerarchiche, automi temporizzati, dataflows. d. Analisi dei requisiti utente, test di sistema, tracciamento dei requisiti scelta e progettazione dell’architettura, modelli orientati ai componenti, modelli software, raffinamento, preservazione della semantica, generazione di codice. Strumenti, metodi e standard per la modellazione di sistema. e. Introduzione alle tecniche di verifica, analisi funzionale e temporale. f. Generazione automatica di codice. g. Tecniche di test, test di conformità, il concetto di copertura nel test, copertura MC/DC. 2) Programmazione di Sistemi Embedded: sistemi operativi e comunicazione wireless – Tecnologie ed esempi.