CSE 480/CIS 700: Real-Time and Embedded Systems


Home | Lectures | Assignments | Projects

Lecture Schedule

Date Lectures Note
Sep 7 Introduction to Embedded and Real-time Systems
Programming Embedded Systems (Part I)
For pdf see Part III
Sep 12 Programming Embedded Systems (Part II) For pdf see Part III
Sep 14 Introduction to Formal Models
Sep 19 Programming Embedded Systems (Part III)
Sep 21 Formal Methods (ACSR) Duplicate pdfs mean
a continued lecture.
Sep 25
1:30pm
Levine 315
Introduction to System on Chip
Sep 28 Real-time System Scheduling
Oct 3 Schedule Validation with ACSR
Oct 5 Schedule Validation with ACSR
Oct 9
3:00pm
Wu and Chen
Wireless Sensor Networks & RI-EDF
Oct 10 Introduction to Sensor Networks
Oct 17 Real-Time Operating Systems
Oct 19 Real-Time Operating Systems
Oct 24 FALL BREAK
Oct 26 No Class
Oct 31 Temporal Control in Real-Time Systems
Nov 2 Temporal Control in Real-Time Systems
Nov 7 Temporal Control in Real-Time Systems
Nov 9 AADL (Avionic Architecture Description Language)
Nov 14 Distributed Real-Time Systems
Nov 16 Case study: Modular Robots
Nov 21 MaC
Nov 23 THANKSGIVING DAY
Nov 28 Holistic Scheduling
Nov 30 Code Generation, RT scheduling
Dec 5 Embedded software analysis (1) (2) (3)
Dec 7 Real-time Operting Systems, RTLinux
Dec 19 Project presentations