Text

Embedded Systems


Programming Languages

Worst-case execution time analysis, as well as design and analysis of languages for real-time and embedded systems. Focusing on static program analysis for embedded systems, specializing in Worst-Case Execution Time analysis.

Contact

No partial template found

Ongoing research projects

Worst-Case Execution Time (WCET) analysis tries to find an upper bound for the time needed to execute a program. Such WCET bounds are very important when designing and verifying real-time systems. Current industrial practice is to estimate these bounds from measurements, something often complicated and error-prone.


Project manager at MDU: Björn Lisper