CCC-RT

Course Title

Real-Time and Embedded Systems

Course Type

CUGS CS Review / CUGS CS Core / CUGS CS Advanced / Other

Periodicity

Once a year.

Suggested # of Credits

4.5 HE Credits (Higher Education Credits)

Intended audience

Doctoral students in computer science.

Goal

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

Logic I (propositional log.)

Logic II (proof and model theory; soundness and completeness, modal logic)

Computation I

Computation II

Related courses

Not yet available

Contents

  • System specification and modeling

  • Estimation and analysis techniques (e.g. worst case execution time analysis)

  • Hardware/Software codesign

  • Advanced scheduling techniques

  • System validation and simulation

  • Formal verification

  • Basic architectures of embedded systems

  • Design space exploration techniques

  • Real-time languages

  • Advanced optimization algorithms

  • Real-time communication

  • Real-time data management

Organized by

Department of Computer and Information Science, Linköpings universitet

Organization

See course schedule.

Examination

Exam and assignment.

Literature

Lecture notes.

Examiner

Zebo Peng

Course homepage

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

Other information

The course is given in an intensive format ("crash course") at a conference facility.

short-ann

 

Travel reports

Licentiate seminars

PhD-seminars

Courses Fall 2014

 







Last modified on March 2008 by Anne Moe