INTERNET OF THINGS BASED SMART SYSTEMS

The goal of the course is to provide students with the knowledge related to the methodologies for designing cyber-physical systems in the context of IoT. In particular, the course will provide students with knowledge on the main architectures of embedded cores, memory technologies, the most common peripherals in the context of smart sensors, the main techniques for power optimization, energy efficiency, and energy harvesting. It will also provide knowledge on the description models for Smart Things with particular emphasis to SensorML, and the virtualization principles. Lastly, the course will provide the skills to be able to design and develop applications in the IoT context.

Course is structured into lectures, lab exercises, seminars and presentation of real case studies.

Internet of Things Vision

• Embedded Systems, Cyber-Physical Systems, Smart Objects
• IoT Smart-X Applications
• IoT Evolution Macro-Challenges
• Internet of Things and Related Future Internet Technologies
• IoT related Paradigms: IoE, WoT, M2M, Tactile Internet

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.

IoT Protocols

• Protocols for sensors/actuators: IoT protocol stack
• Application Protocols (MQTT, CoAP)
• Infrastructure Protocols (LoRA Alliance: Wide Area Network for IoT, NB-IoT)
• Hands-on (Lab)

Smart Objects

• Definitions
• Description models (e.g., SensorML)
• Access/Usage and Virtualization (Sensing as a Service)
• Hands-on (Lab)

Operating Systems for IoT

• TinyOS, FreeRTOS, Contiki, etc.
• Hands-on (Lab)
• Mobile Applications for Smart Systems
• Mobile platforms and application scenarios
• Android and iOS

Modeling, Design and Verification for CPS

• Modeling
  • Continuous and discrete dynamics
  • Hybrid systems
  • Concurrent models of computation
• Design
  • Sensors and actuators
  • Embedded processors
  • Memory architectures
  • Input/Output
  • Multitasking and scheduling
• Analysis and Verification
  • Invariants and temporal logic
  • Equivalence and refinement
  • Reachability analysis and model checking
• Hands-on (Lab)

Designing for Energy Efficiency

• Performance vs Power vs Cost vs Reliability trade-offs
• Low power design techniques and methodologies
• Approximate/Imprecise computing
• Energy harvesting techniques

[T1] Ovidiu Vermesan and Peter Friess. Building the Hyperconnected Society IoT Research and Innovation Value Chains, Ecosystems and Markets. River Publishers Series in Communications
[T2] 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.
[T4] Jan Rabaey. Low Power Design Essentials. Springer.
[T5] Materiale fornito dal docente sottoforma di slides, dispense e risorse online.