ECTS - University of Pisa
Conoscenza dei processi di sviluppo dei sistemi embedded
Conoscenza dei metodi per la raccolta e l'analisi di specifiche
Conoscenza dei linguaggi per la descrizione della architetture SW dei sistemi
Conoscenza di linguaggi di modellazione per simulazione e generazione di codice
Metodi di testing
Sviluppo di applicazioni su board embedded
knowledge of the SW development process and stages
knowledge of requirements documentation and analysis
knowledge of system modeling languages
knowledge of languages for behavioral modeling
code generation tools
testing methods and tools
development of code for embedded boards
progetti individuali e di gruppo
esame scritto
esame orale
individual and group project
written exam
oral exam
Conoscenza dei processi di sviluppo dei sistemi embedded
Conoscenza dei metodi per la raccolta e l'analisi di specifiche
Conoscenza dei linguaggi (SysML) per la descrizione della architetture SW dei sistemi
Conoscenza di linguaggi di modellazione (Simulink) per simulazione e generazione di codice
Metodi di testing
Sviluppo di applicazioni su board embedded
progetti individuali e di gruppo
esame scritto
esame orale
capacità di apprendimento, analisi e progettuale
come parte dell'esame e dei progetti
programmazione in C
C-language programming
sistemi operativi
operating systems
no
none
lezione frontale di teoria, di laboratorio al PC con tool e schede di sviluppo
Il corso copre le fasi principali nella progettazione e sviluppo di sistemi embedded, con enfasi sul model-based design e metodi formali per l'analisi delle proprietà di sistema.
Il corso copre problemi e approcci relativi a tutte le fasi di sviluppo compresa l'analisi dei requisiti, la progettazione a livello di sistema, la modellazione di componenti, la modellazione dei behavior, la verifica di proprietà, la generazione di codice e il testing.
This course covers the main stages in the development of embedded systems, with emphasis on model-based development and formal methods for the analysis of system properties. We review problems and approaches related to all the stages of development including requirements analysis, system-level design, component oriented modelling, behavioural modelling, verification of properties, architecture selection and design, code generation and testing.
materiale fornito sul sito del docente (slide e riferimenti a materiale disponibile in rete)
slides and other material from the course site (including links to freely available books and documentation)
nessuna variazione
no changes
discussione dei progetti
esame scritto
esame orale
project verification, written exam, oral exam
possibile su richiesta, ma non obbligatorio
possible upon request but not required
