Real-Time and Embedded Systems
CUGS CS Review / CUGS CS Core / CUGS CS Advanced
Once a year.
Suggested # of Credits
4.5 HE Credits (Higher Education Credits)
Doctoral students in computer science.
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
Logic I (propositional log.)
Logic II (proof and model theory;
soundness and completeness, modal logic)
Not yet available
System specification and modeling
Estimation and analysis techniques (e.g. worst case execution
Advanced scheduling techniques
System validation and simulation
Basic architectures of embedded systems
Design space exploration techniques
Advanced optimization algorithms
Real-time data management
Computer and Information Science, Linköpings
See course schedule.
Exam and assignment.
The course is given in an intensive format ("crash course") at a