Politecnico di Torino
Politecnico di Torino
   
Login  
en
Politecnico di Torino
Anno Accademico 2014/15
01NPSOV, 01NPSQW
Operating systems for embedded systems
Corso di Laurea Magistrale in Ingegneria Informatica (Computer Engineering) - Torino
Corso di Laurea Magistrale in Ingegneria Meccatronica (Mechatronic Engineering) - Torino
Docente Qualifica Settore Lez Es Lab Anni incarico
Violante Massimo ORARIO RICEVIMENTO AC ING-INF/05 60 0 0 8
SSD CFU Attivita' formative Ambiti disciplinari
ING-INF/05 6 B - Caratterizzanti Ingegneria informatica
Presentazione
The course is taught in English.

Insegnamento della Laurea Magistrale in Computer Engineering, Orientamento Sistemi Embedded, collocato al I periodo didattico del I anno.
Il modulo ha lo scopo di approfondire i concetti acquisiti nel modulo di Sistemi Operativi, descrivendo le peculiaritą dei sistemi embedded, degli strumenti di sviluppo ad essi dedicati, ed illustrando le peculiaritą di alcuni sistemi operativi per sistemi embedded particolarmente rappresentativi (RTEMS, VxWork, Linux). Il corso approfondirą inoltre i concetti di sistemi embedded in tempo reale, e le problematiche di comunicazione con dispositivi hardware dedicati.
Risultati di apprendimento attesi
- Concetto di sistema embeeded.
- Comprensione degli strumenti di sviluppo per sistemi embedded: cross-compiler, emulatore, strumenti di debug, di profiling, di virtualizzazione.
- Concetto di sistema embedded in tempo reale.
- Comprensione di esempi di sistemi operativi per sistemi embedded.
- Capacitą di sviluppo di moduli per la comunicazione con dispositivi hardware dedicati.
Prerequisiti / Conoscenze pregresse
- Capacitą di sviluppare programmi in linguaggio C.
- Conoscenza dell'architettura dei sistemi di elaborazione: in particolare struttura del processore e organizzazione della memoria.
- Conoscenza del meccanismo di interruzione e dei fondamenti di un linguaggio Assembler.
Programma
Introduzione ai Sistemi Embedded (0.5 crediti)
- Classificazione e peculiaritą rispetto sistemi desktop.
- Memory technology device.

Strumenti di sviluppo (0.5 crediti)
- Cross-compiler.
- Emulatore.
- Debugger.
- Profiler.
- Piattaforma di virtualizzazione.

Sistemi Operativi per Sistemi Embedded (3 crediti)
- Vincoli di tempo reale e schedulazione dei processi.
- Analisi dell'architettura e dei servizi offerti da sistemi operativi per sistemi embedded: RTEMS, VxWorks, Linux.
- Anatomia dettagliata di un sistema operativo Linux per sistemi embedded: bootloader (U-Boot), kernel, file system (busybox).
- Gestione dell'I/O, e device driver.
Organizzazione dell'insegnamento
Esercitazioni in laboratorio (2 crediti)
- Uso di una evaluation board.
- Costruzione di un sistema operativo Linux per un sistema embedded: uso degli strumenti di sviluppo.
- Progetto, e sviluppo di device driver per periferiche non standard (ad esempio sensore ultrasonico).
Testi richiesti o raccomandati: letture, dispense, altro materiale didattico
Lucidi delle lezioni forniti dal docente.

C. Hallinan
Embedded Linux Primer: A Practical Real-World Approach
Prentice-Hall, 2006, ISBN-10: 0-13-167984-8

S. Venkateswaran
Essential Linux Device Drivers
Prentice-Hall, 2008, ISBN-10: 0-13-239655-6

A. Berger
Embedded Systems Design: An Introduction to Processes, Tools and Techniques
CMP Books, 2001, ISBN-10: 1-57-820073-3

Silbershatz A., Galvin. P., Gagne G.
Operating Systems
8th Edition, Wiley, 2009, ISBN: 978-0-470-12872-5
Criteri, regole e procedure per l'esame
Progetto di metą corso (30% del voto finale)
Progetto di fine corso (30% del voto finale)
Esame scritto con domande/esercizi sugli argomenti teorici del corso (40% del voto finale)
Orario delle lezioni
Statistiche superamento esami

Programma definitivo per l'A.A.2014/15
Indietro



© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
WCAG 2.0 (Level AA)
Contatti