Schedule of lectures, homeworks, and labs
This schedule indicates the due dates of homeworks and labs
Sep 9 | I/O | Lab 1 | Prelab 1 |
Sep 11 | PWM and Analog Signals | HW1 | |
Sep 13 | Interrupts | HW2 |
Sep 16 | Embedded Architectures | Lab 2 | Prelab 2 / Lab 1 writeup |
Sep 18 | MCU Datasheets | HW3 | |
Sep 20 | MCU Datasheets | HW4 |
Sep 23 | Timers | Lab 3 | Prelab 3 / Lab 2 writeup |
Sep 25 | Embedded Programming | HW5 | |
Sep 27 | Watchdog timers | HW6 |
Sep 30 | Intro to concurrency | Lab 4 | Prelab 4 / Lab 3 writeup |
Oct 2 | RTOS | HW7 | |
Oct 4 | Embedded SW Engineering |
Oct 21 | Distributed systems | Lab 6 | Prelab 6 / Lab 4 writeup / Lab 5 writeup |
Oct 23 | Communication reliability | HW11 | |
Oct 25 | Serial protocols | HW12 |
Oct 28 | Safety-critical systems | Lab 7 | Prelab 7 / Lab 6 writeup |
Oct 30 | Software style and redundancy | HW13 | |
Nov 1 | Safety standards | HW14 |
Nov 4 | Security | No lab | |
Nov 6 | Milestones | Milestone report | |
Nov 8 | Milestones |
Nov 11 | Modeling | Lab 8 | Prelab 8 |
Nov 13 | ESMs and composition | HW15 | |
Nov 15 | Non-determinism and hybrid systems | HW16 |
Nov 18 | Simulation tools | Lab 7 writeup | |
Nov 20 | Controllers (and modeling a PID) | HW17 | |
Nov 22 | Invariants | HW18 |
Nov 25 | Automated verification | Lab 8 writeup |
Dec 2 | LTL | ||
Dec 4 | Big picture | ||
Dec 6 | Big picture | HW19 |