Doktorsavhandlingen ”Parametric WCET Analysis” beskriver en WCET-analysmetod för att undersöka den tid det tar för ett program att slutföra sin uppgift efter att det har startat och på så sätt få ett säkrare system.
– I många system är det viktigt att man kan garantera att ett program kan slutföra sin uppgift inom en viss tidsram. Avhandlingens mål är att visa hur en avancerad analys kan hjälpa till med att ta fram mer detaljerad information om hur ett program beter sig tidsmässigt. Avhandlingens mål är också att visa i detalj hur en denna metod fungerar samt presentera resultat om hur effektivt och precist detta är, säger Stefan Bygde.
WCET-analys är inte så vanlig i industrin där man istället oftast använder äldre och mer traditionella metoder så som att mäta tiden programmet går.
– Jag tror att det kommer att bli vanligare att man använder dessa verktyg och att dessa kan ge en ökad garanti för säkerhet. Metoden min avhandling erbjuder dessutom mer information än de vanliga WCET-analysmetoderna. Metoden för parametrisk WCET-analys jag har undersökt var tidigare otestad, jag har nu implementerat och utvärderat metoden samt föreslagit en mängd utökningar och förbättringar för att göra en effektiv och precis analys, säger Stefan Bygde.