SISTEMI EMBEDDED
Anno accademico 2016/2017 - 2° annoCrediti: 9
SSD: ING-INF/05 - Sistemi di elaborazione delle informazioni
Organizzazione didattica: 225 ore d'impegno totale, 176 di studio individuale, 49 di lezione frontale
Semestre: 2°
ENGLISH VERSION
Obiettivi formativi
Conoscere le metodologie di progettazione di sistemi embedded con particolare riferimento ai cyber-physical systems in ambito IoT. Conoscere la visione IoT. Conoscere le tecnologie dei sensori e le problematiche di acquisizione delle informazioni dal mondo fisico. Conoscere le architetture dei core embedded, le tecnologie di memoria e le periferiche più comuni in ambito di smart sensors. Conoscere le tecniche di ottimizzazione del consumo di potenza e di efficienza energetica e di energy harvesting. Conoscere i modelli di descrizione per Smart Things con particolare riferimento a SensorML, ed i principi di virtualizzazione. Conoscenza del'architettura LoRA Alliance. Saper progettare e sviluppare applicazioni in ambito IoT.
Prerequisiti richiesti
Architetture dei calcolatori. Linguaggi di programmazione.
Frequenza lezioni
La frequenza delle lezioni non è obbligatoria ma consigliata.
Contenuti del corso
Embedded Systems & Internet of Things Vision
- Embedded Systems and Cyber-Physical Systems
- IoT Smart-X Applications
- IoT Evolution Macro-Challenges
- Internet of Things and Related Future Internet Technologies
Modeling, Design and Verification
- Modeling (Continuous and discrete dynamics, Hybrid systems, Concurrent models of computation)
- Design (Sensors and actuators, Embedded processors, Memory architectures, Multitasking and scheduling)
- Analysis and Verification (Invariants and temporal logic, Equivalence and refinement, Reachability analysis and model checking, Security and privacy)
- Hands-on (Lab)
Designing for Energy Efficiency
- Performance vs Power vs Cost vs Reliability tradeoffs
- Low power design techniques and methodologies
- Approximate/Imprecise computing
- Energy harvesting techniqes
Operating Systems
- TinyOS, FreeRTOS, Contiki
- Hands-on (Lab)
Smart Things
- Paradigms: IoT, WoT, M2M, IoE.
- Application scenarios
- Description models: SensorML
- Network protocols for sensors/actuators: IoT protocol stack
- Application-level protocols: message queuing telemetry transport (MQTT), constrained application protocol (CoAP)
- Virtualization: Sensing as a Service
- Hands-on (Lab)
Smart Systems Case Studies
- Presentation of case studies in application scenarios, including, Smart Health, Smart Homes and Buildings, Smart Energy, Smart Mobility and Transport, Smart Manufacturing and Industrial Internet of Things, Smart Cities Smart Farming.
Architectures for IoT
- LoRA Alliance: Wide Area Network for IoT
- Hands-on (Lab)
IoT Programming
Testi di riferimento
- Ovidiu Vermesan and Peter Friess. Building the Hyperconnected Society IoT Research and Innovation Value Chains, Ecosystems and Markets. River Publishers Series in Communications
- Lee and Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. Online
- John L. Hennessy and David. A. Patterson. Computer Architecture: A Quantitative Approach, 5th Edition. Morgan Kaufmann.
- Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, http://LeeSeshia.org, ISBN 978-1-312-42740-2, 2015.
- Materiale fornito dal docente sottoforma di slides, dispense e risorse online
Programmazione del corso
| Argomenti | Riferimenti testi | |
|---|---|---|
| 1 | Embedded Systems & Internet of Things Vision: Embedded Systems and Cyber-Physical Systems, IoT Smart-X Applications, IoT Evolution Macro-Challenges, Internet of Things and Related Future Internet Technologies | 1, 5 |
| 2 | Modeling, Design and Verification: Modeling (Continuous and discrete dynamics, Hybrid systems, Concurrent models of computation) | 4, 5 |
| 3 | Modeling, Design and Verification: Design (Sensors and actuators, Embedded processors, Memory architectures, Multitasking and scheduling) | 4, 5 |
| 4 | Modeling, Design and Verification: Analysis and Verification (Invariants and temporal logic, Equivalence and refinement, Reachability analysis and model checking, Security and privacy) | 4, 5 |
| 5 | Designing for Energy Efficiency: Performance vs Power vs Cost vs Reliability tradeoffs | 5 |
| 6 | Designing for Energy Efficiency: Low power design techniques and methodologies | 5 |
| 7 | Designing for Energy Efficiency: Approximate/Imprecise computing | 5 |
| 8 | Designing for Energy Efficiency: Energy harvesting techniqes | 5 |
| 9 | Operating Systems: TinyOS, FreeRTOS, Contiki | 5 |
| 10 | Smart Things: Paradigms: IoT, WoT, M2M, IoE. | 5 |
| 11 | Smart Things: Description models: SensorML | 5 |
| 12 | Smart Things: Network protocols for sensors/actuators: IoT protocol stack | 5 |
| 13 | Smart Things: Application-level protocols: message queuing telemetry transport (MQTT), constrained application protocol (CoAP) | 5 |
| 14 | Smart Things: Virtualization: Sensing as a Service | 5 |
| 15 | Case studies in application scenarios, including, Smart Health, Smart Homes and Buildings, Smart Energy, Smart Mobility and Transport, Smart Manufacturing and Industrial Internet of Things, Smart Cities Smart Farming | 5 |
| 16 | LoRA Alliance: Wide Area Network for IoT | 5 |
| 17 | IoT Programming | 5 |
Verifica dell'apprendimento
Modalità di verifica dell'apprendimento
Prova orale e sviluppo di un progetto.
Esempi di domande e/o esercizi frequenti
Il materiale sarà disponibile sulla pagina del corso all'interno della piattaforma Studium.UniCT.