Text

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

Professor

Björn Lisper

+4621151709

bjorn.lisper@mdh.se

Ongoing research projects

The overall goal of HERO is to provide a framework that enables development of optimized parallel software, automatic mapping of software to heterogeneous hardware platforms, and provision of automatic hardware acceleration for the developed software.


Project manager at MDH: Mikael Sjödin

Main financing: The Knowledge Foundation

The TESTOMAT project will support software teams to strike the right balance by increasing the development speed without sacrificing quality.


Project manager at MDH: Björn Lisper

Main financing: Vinnova, Itea3

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 MDH: Björn Lisper