Real-Time and Embedded Systems2008VT
Doctoral students in computer science.
The course was last given
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
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
- System specification and modeling
- Estimation and analysis techniques (e.g. worst case execution time
- 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
The course is given in an intensive format ("crash course") at a conference facility.
Lecture notes and articles
Zebo Peng, Petru Eles, Gerhard Fohler, Paul Pettersson and Wang Yi.
Assignment and written exam.
4.5 hp (3)
Mälardalen Real-Time Research Centre, Linköping University, Mälardalen University, and Uppsala University.
Course web page
Page responsible: Director of Graduate Studies
Last updated: 2012-05-03