LECTURE SLIDES

  

Lecturer	Topic	PDF
Steve Reiss	Course Introduction & Terminology	PDF
Steve Reiss	Intro to Hardware	PDF
Steve Reiss	More Hardware	PDF
Steve Reiss	I/O	PDF
Steve Reiss	Displays	PDF
Steve Reiss	CPU	PDF
Steve Reiss	I/O	PDF
Steve Reiss	Interrupts and Signals	PDF
Steve Reiss	Switches	PDF
Steve Reiss	Solenoids and Lights	PDF
Steve Reiss	Embedded System Development	PDF
Steve Reiss	Debugging	PDF
John Jannotti	Embedded Architectures	PDF
John Jannotti	Resource Constraints	PDF
John Jannotti	Fault Tolerance	PDF
Steve Reiss	Specification and Design	PDF
Steve Reiss	Petri Nets	PDF
Steve Reiss	Properties of Petri Nets / Verification	PDF
John Jannotti	Real-time, Fixed Priority Scheduling	PDF
John Jannotti	Real-time, Dynamic Priority Scheduling	PDF
John Jannotti	Thread Scheduling	PDF
John Jannotti	Interprocess Communication	PDF
John Jannotti	Networking	PDF
John Jannotti	Timing & Profiling	PDF
John Jannotti	Queuing	PDF
John Jannotti	Modeling	PDF	Examples
Steve Reiss	Verification	PDF
Steve Reiss	Verifying Safety Conditions	PDF
Steve Reiss	Verifying Timing Conditions	PDF
John Jannotti	Device Drivers	PDF	NVRAM example
John Jannotti	Real-Time Operating Systems	PDF
John Jannotti	RT Linux	PDF
John Jannotti	RT Java	PDF

Disclaimer: the notes for Dr. Reiss's lectures are TA-generated. While they are almost assuredly better than nothing at all, they should not be considered a replacement for the student's own notes. Errors are bound to exist in the text. Omissions, perhaps of important material, have likely occurred. No warranty is offered.