| 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
|
|