Characteristics of real-time embedded systems, real time operating systems, task management and synchronization, real time scheduling algorithms, deadlocks, model checking, software reliability.
ECC203, ECC302
At the end of the course the student should be able to
The tentative point distribution is as follows.
Homeworks | 20% |
Midterm Exam | 30% |
Final Exam | 50% |
Week | Topic | Readings |
---|---|---|
1 | Introduction | Chapter 1 |
2 and 3 | Hardware Components | Chapter 2 |
4 | Real-Time Operating Systems | Chapter 3 |
5 | Task Scheduling | Chapter 4 |
6 | Resource Sharing and Access Control | Chapter 5 |
7 | Concurrent Programming | Chapter 6 |
8 | Mid-term Exam | |
9 | Concurrent Programming | Chapter 6 |
10 | Finite-State Machines | Chapter 7 |
11 | UML State Machines | Chapter 8 |
12 | Timed Petri Nets | Chapter 9 |
13 | Model Checking | Chapter 10 |
14 | Practical Issues | Chapter 11 |
15 | Practical Issues, Review of the Semester | Chapter 11 |
16 | Final Exam | . |
The instructor reserves the right to make changes to the above syllabus as necessary. Students are responsible to be aware of changes announced in class and/or via the internet.