SISTEMI EMBEDDED

Knowing the embedded system design methodologies with particular emphasis on cyber-physical systems in the context of IoT. Knowing the IoT vision. Knowing the sensor technologies and the issues related to sensors and data acquisition. Knowing the architectures of embedded cores, memory technologies and the most common pheripherals in the context of smart sensors. Knowing the optimization techniques for low power design, energy efficiency and energy harvesting techniques. Knowing the description models for smart things, with particular emphasis on SensorML and the basics on virtualization principles. Knowing the LoRA Alliance architecture. Be able to design and develop applications in the context of IoT.

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

1. Ovidiu Vermesan and Peter Friess. Building the Hyperconnected Society IoT Research and Innovation Value Chains, Ecosystems and Markets. River Publishers Series in Communications
2. Lee and Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. Online
3. John L. Hennessy and David. A. Patterson. Computer Architecture: A Quantitative Approach, 5th Edition. Morgan Kaufmann.
4. 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.
5. Material provided by the instructor(s) in the form of slides, lecture notes, and online resources