Hide menu

Real-Time and Embedded Systems

DF14800, 2014VT

Status Cancelled
School National Graduate School in Computer Science (CUGS)
Division SAS
Owner Zebo Peng
Homepage http://www.ida.liu.se/~zebpe/teaching/rtes/

  Log in  




Course plan

Lectures

24 hours

Recommended for

Doctoral students in computer science.

The course was last given

Spring 2012.

Goals

This course aims at presenting techniques for the design, analysis and
verification of real-time and embedded systems. It addresses modern
design methodologies, with an emphasis on early design phases,
including modeling, verification, hardware/software codesign, and
optimization.

Prerequisites

Undergraduate course in real-time systems. Logic I (propositional log.) Logic II (proof and model theory; soundness and completeness, modal logic). Computation I. Computation II

Contents

See http://www.ida.liu.se/~zebpe/teaching/rtes/

Organization

See http://www.ida.liu.se/~zebpe/teaching/rtes/

The course is given in an intensive format ("crash course").

Literature

Lecture notes and articles.

Lecturers

Zebo Peng, Petru Eles, Unmesh Bordoloi, and Wang Yi.

Examiner

Zebo Peng

Examination

Assignments and written exam.

Credit

5 hp

Organized by

Linköping University

Comments

Course web page

http://www.ida.liu.se/~zebpe/teaching/rtes/


Page responsible: Director of Graduate Studies