Real-Time and Embedded Systems 2008VT Status Cancelled School National Graduate School in Computer Science (CUGS) Division SAS Owner Zebo Peng Homepage http://www.ida.liu.se/cugs/CCC-RealtimeEmbeddedSystems

Log in

---

Course plan

Lectures

24 hours

Recommended for

Doctoral students in computer science.

The course was last given

Spring 2007.

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

• 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
  

Organization

Lectures.

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

Literature

Lecture notes and articles

Lecturers

Zebo Peng, Petru Eles, Gerhard Fohler, Paul Pettersson and Wang Yi.

Examiner

Zebo Peng

Examination

Assignment and written exam.

Credit

4.5 hp (3)

Organized by

Mälardalen Real-Time Research Centre, Linköping University, Mälardalen University, and Uppsala University.

Comments

Course web page

http://www.ida.liu.se/ext/cugs/CCC-RealtimeEmbeddedSystems.shtml
See also
http://www.ida.liu.se/~zebpe/teaching/rtes/

Page responsible: Director of Graduate Studies