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