Programmeringsspråk

WCET analys (längsta exekveringstid), samt design och analys av språk för realtid och inbyggda system. Fokuserar på statisk programanalys för inbyggda system, specialiserad på WCET-analys.

Kontaktperson

Professor i datateknik / Docent

Björn Lisper

+4621151709

bjorn.lisper@mdh.se

Pågående forskningsprojekt

HERO: Heterogeneous systems - software-hardware integration

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.

Projektansvarig vid MDH: Mikael Sjödin

Huvudfinansiering: KK-stiftelsen

TESTOMAT Project - The Next Level of Test Automation

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

Projektansvarig vid MDH: Björn Lisper

Huvudfinansiering: Vinnova, Itea3

WCET - Worst-Case Execution Time analysis

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.

Projektansvarig vid MDH: Björn Lisper

Se avslutade projekt (3st)