Swedish web site
Real-Time and Embedded SystemsFDA148, 2007VT
|
|
Course plan
Lectures
24 hours
Recommended for
Doctoral students in computer science.
The course was last given
Spring 2006.
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
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: Anne Moe
