Overview
Logistics
Schedule
Projects
Piazza
TED
Note: This schedule is subject to change. The course discussion board can be found at Piazza. The discussion board will be the main way of providing help with homework and projects in this class.
Week 1
Monday3/28
Introduction
Edwards et al: Design of Embedded Systems: Formal Models, Validation and Synthesis Suggested: Text ch. 1
Wednesday3/30
FSMs/state charts
Friday4/1
State charts/SDL
Homework 1 out
Week 2
Monday4/4
Petri nets
Murata et al: Petri nets: Properties, Analysis and Applications(p.541-553,sec VIII) Suggested: Text ch. 2.6
Wednesday4/6
Friday4/8
Communicating processes
Project part 1 out
Week 3
Monday4/11
Dataflow models
Lee et al. Static scheduling of synchronous DF programs for DPS
Wednesday4/13
Discrete event systems
Friday4/15
HW models/UML
Homework 1 due
Week 4
Monday4/18
Midterm review
Wednesday4/20
In class midterm
Solutions
Friday4/22
No class
Homework 2 out
Week 5
Monday4/25
Platforms
Carloni et al: Platform-based design for embedded systems
Wednesday4/27
CPU
Geoffrey Blake et al."A Survey of Multicore Processors"
Project part 1 checkpoint
Friday4/29
Week 6
Monday5/2
Wednesday5/4
Memory
Wolf et al. Memory System Optimization of Embedded Software Suggested: Text ch. 3.4-5 & 3.7
Project part 1 dueProject part 2 out
Friday5/6
Week 7
Monday5/9
Sensing/actuation
T. Braunl: "Embedded Robotics," ch. 2/3
Homework 2 due
Wednesday5/11
Friday5/13
Timing
Week 8
Monday5/16
Scheduling
SSha et al. Generalized rate-monotonic scheduling theory
Project part 2 checkpoint
Wednesday5/18
Homework 3 out
Friday5/20
Scheduling review
Week 9
Monday5/23
RTOS
I.C. Bertolotti: "Real-Time embedded operating systems: standards and perspectives" (chap. 11.1,2,4,5) Suggested: Text ch. 4
Wednesday5/25
Friday5/27
Real time I/O
Hard Real-time Communication in Multiple-Access Networks
Week 10
Monday5/30
Memorial day
Wednesday6/1
Internet of Things (IoT)
Atzori et al, "The Internet of Things: A survey"
Project part 2 due
Friday6/3
Final review
Homework 3 due
Week 11
Friday6/10
Final Exam