Design of Embedded Real-Time Systems

Lectures:
20 h

Recommended for
PhD students in computer science and computer systems. ECSEL students.

The course was last given:
New course

Goals
To give the students a broad view of the issues and techniques related to the design of embedded real-time systems.

Prerequisites
Basic knowledge in computer architecture and software engineering.

Organization
Lectures by the teachers and invited lecturers and case studies carried out by the PhD students.

Contents
Embedded real-time systems and their applications.
Heterogeneous systems.
Scheduling and resource management.
System specification and languages.
Modeling techniques.
Formal methods.
Design flow and design methodology.
Hardware/software co-design.
System verification.
Timing analysis and estimation.

Literature
Selected papers.
Lecture notes.

Teachers
Petru Eles, Simin Nadjm-Tehrani and Zebo Peng.

Examiner
Zebo Peng.

Schedule
Oct - Dec 1999.

Examination
Case study or individual project.

Credit
4 credits

Page responsible: Director of Graduate Studies