CS122B
  Winter Quarter, 2007

 CS122B Lecture Schedule

Lecture notes will be posted on the day of the lecture.

 

Date 

Topic

Lecture Notes

Week 0

(R) 1/4

Course Introduction

Embedded Systems

pdf_6 pdf_2

Week 

1

(T) 1/9

Embedded System Specification: Requirements, model of computation, method of communication, timing.

pdf_6 pdf_2

(R) 1/11

Embedded System Specification: StateCharts, Process Network
(ESD)

pdf_6 pdf_2

Week 

2

(T) 1/16

Embedded System Specification: Petri Net
(ESD)

pdf_6 pdf_2

(R) 1/18

Embedded System Specification: Petri Net, UML
(ESD,RTSPL)

pdf_6 pdf_2

Week 

3

(T) 1/23

Embedded System Scheduling: Intro, EDD, EDF
(ESD,RTSPL)

pdf_6 pdf_2

(R) 1/25

Embedded System Scheduling: LLF, LDL, mEDF, RM, Response Time Analysis, Priority Inversion, Ceiling Protocols
(ESD,RTSPL)

Homework #1 due

pdf_6 pdf_2

Week 

4

(T) 1/30

Quiz Review

 

 

(R) 2/1

Quiz 1


Week 

5

(T) 2/6

Embedded System Scheduling: RM

pdf_6 pdf_2

(R) 2/8

Lecture Cancelled

 

Week 

6

(T) 2/13

Embedded System Scheduling: RM, Response Time Analysis, Priority Inversion, Ceiling Protocols

pdf_6 pdf_2

(R) 2/15

Embedded System Implementation: Memory Design, Low Power Design

Homework #2 due

pdf_6 pdf_2

Week 

7

(T) 2/20

 

 

Quiz Review

 

(R) 2/22

Quiz #2

 

Week 

8

(T) 2/27

Embedded System Implementation: Low Power Design

 

pdf_6 pdf_2

(R) 3/1

Embedded System Verification: Reliability

pdf_6 pdf_2

Week 

9

(T) 3/6

Embedded System Implementation: HW/SW Co-Design

pdf_6 pdf_2

Codesign_6 Codesign_2

(R) 3/8

Embedded System Verification: Formal Verification

pdf_6 pdf_2

Week 

10

(T) 3/13

Final Review

 

(R) 3/15

Comprehensive Quiz #3