Embedded Systems Course

Introduction

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