Hide menu

Real-Time and Embedded Systems

FDA148, 2005VT

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 2004.

Goals

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

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/cugs/CCC-RealtimeEmbeddedSystems
See also
http://www.idt.mdh.se/han/cugs-rte/
http://www.docs.uu.se/~paupet/gradu/cugs02/


Page responsible: Director of Graduate Studies
Last updated: 2012-05-03