Schedule of lectures, homeworks, and labs

This schedule indicates the due dates of homeworks and labs

For lecture slides, see the latest version of the website at brown-cs1600.github.io

Sep 4	Introduction to Embedded and Real-time Software
Sep 6	Introduction to Circuits			Homework 0

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 7	FSMs	Lab 5	Prelab 5
Oct 9			HW8
Oct 11	Testing		Project proposal

Oct 16	MC/DC; Beyond unit testing		HW9
Oct 18	Wrapping up testing; debugging		HW10

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