Hide menu

Real-Time and Embedded Systems

FDA148, 2004VT

Status Archive
School National Graduate School in Computer Science (CUGS)
Division SAS
Owner Zebo Peng
Homepage http://www.ida.liu.se/cugs/CCC-RealtimeEmbeddedSystems

If you would like to join the course, please send
a message to annes@ida.liu.se (Anne Moe, CUGS)

  Log in  


Course plan

Lectures

24 hours

Recommended for

Doctoral students in computer science.

The course was last given

2003

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: Anne Moe