Embedded Systems

Mario Bambagini, "Power Management in Real-Time Embedded Systems"

With the improvement of the computer science and electronic technologies, nowadays, it's possible to realize devices very small, with extraordinary computation capabilities and with a good cost for unit.
Hi-tech products are everywhere around us and in the future we'll be immersed in a world where everything will be electronic.

In this scenario, it's born the issue of the energy saving, especially in real-time systems, with an high level of integration in the monitored environment and a not infinite power supply.

Stefano Bocchino, "Meccanismi Di Indirizzamento E Di Routing Opportunistico Per Reti Wireless Di Sistemi Embedded Compliant Ad Ipv6"

L'espressione “Internet of Things” indica il collegamento di internet al mondo reale composto da oggetti e da luoghi concreti. Il concetto dell'”Internet delle cose” è attribuito all'Auto-ID Center, fondato nel 1999. I sensori associati ad un oggetto possono identificarlo univocamente e raccogliere informazioni in tempo reale su parametri del suo ambiente come: temperatura, localizzazione, pressione, rumore, luce, umidità.

Embedded Systems Course


This is the outline of the course on embedded systems, offered to students of the second year in the Laurea Magistralis with the university of Pisa and to students of the Master Program/joint program with the university of Trento.

course outline

  • Intro to ES, V-model and Model-based Design
  • Project intro
  • Requirements and Functional Testing
  • Project step1 – Requirements and test plan
  • Models, signals and systems
  • FSMs part1
  • Communication buses – event driven - Controller Area Network
  • Project step2 – Intro to Flex, programming IDE, Erika, Device drivers
  • FSMs part2
  • Communication buses – time driven – FlexRay
  • FSMs part3
  • Extensions to FSMs – Statecharts
  • Project step3 – Models
  • Timed automata
  • An Introduction to Uppaal and verification
  • Project step4 – Verification
  • Translating an FSM into code: Part 1
  • Statecharts in practice – Mathworks Stateflow
  • Translating an FSM into code: Part 2
  • Automatic code generation with Mathworks tools
  • Project step5 – Production of Code
  • Conformance testing
  • Structural testing – coverage
  • Project step6 – Testing
  • Advanced topic: semantics preservation in multiprogramming implementations
  • Advanced topic: component-based design and AUTOSAR
  • Subscribe to RSS - Embedded Systems