Jan Gustafsson, Associate Professor, Senior Lecturer


Jan Gustafsson is Senior Lecturer in Computer Engineering at Mälardalen University since 1985. He has been the head of the department 1993 - 1997 and 1998 - 1999, and is one of the founders of the department, its educational programmes and its research.

He worked at ABB Västerås, Sweden 1975 - 1985 with development of real-time industrial control systems and was manager for the Base System Development (operating system, data communication and database system).

He received a B.Sc. in Mathematics, Physics, Astronomy and Computer Science at Uppsala University, 1974, and a Licentiate degree in Machine Elements (Computer Controlled Mechanics) at KTH, Stockholm, Sweden, 1994.

His current research concerns high-level analysis of real-time programs to calculate annotations to be used in WCET (Worst Case Execution Time) analysis. His research is partly connected to ASTEC at Uppsala University.

In May 2000 he graduated at Uppsala University. In May 2005 Jan was appointed "Docent" (US = associate professor) at Mälardalen University.

Jan Gustafsson retired in May 2012, but still works 20% at MDH.

Jan Gustafssons main interest concerns WCET (Worst Case Execution Time) analysis, especially flow analysis for WCET.

[Show all publications]

[Google Scholar author page]

Latest publications:

Static Flow Analysis of the Action Language for Foundational UML (Oct 2018)
Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog
International Conference on Emerging Technologies and Factory Automation (ETFA'18)

Early execution time-estimation through automatically generated timing models (Nov 2016)
Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert
Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)

Analysing Switch-Case Code with Abstract Execution (Jul 2015)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

Combining Bound-T and SWEET to Analyse Dynamic Control Flow in Machine-Code Programs (Nov 2014)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper

Timing Analysis of Parallel Software Using Abstract Execution (Jan 2014)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)

Toward Static Timing Analysis of Parallel Software (Jul 2012)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
12th International Workshop on Worst-Case Execution-Time Analysis

PhD students supervised as assistant supervisor:

Andreas Gustavsson (former)
Husni Khanfar

MSc theses supervised (or examined):
Thesis TitleStatus
Master Thesis - Value analysis of safety critical embedded software at Volvo CE / Värdeanalys av säkerhetskritisk inbyggd programvara vid Volvo CE available
Databas för ICF-frågeställningar in progress
Java-COM in progress
Optimering i databaser in progress
Regression testing with an application to SWEET in progress
Simulation of a specific biotop in a small enclosure in progress
Testing a Timing Analysis tool: SWEET in progress
An ALF/UML to ALF/SWEET translator finished
Analys av prestandametoder finished
COMPUTER SCIENCE IN A THEORY OF SCIENCE DISCOURSE finished
CRL2ALF - En översättare från PowerPC till ALF finished
Databashantering samt utveckling av HMI till brytare finished
Designer 3.0 Concept: A Designer Tool based on Qt Creator finished
Eliminering av variabler som ej påverkar kontrollflödet finished
Extension of the WCET benchmark program suite finished
Guaranteeing performance properties of an real-time industry application finished
Hjälptexthantering med realtidskrav för AerotechTelubs SystemDatorFunktion (SDF) finished
IEC61850, i praktiken finished
Implementering av slicing i SWEET mot ALF-kod finished
Implementing an ALF/UML to ALF/SWEET translator finished
Java för Windows CE finished
Java-COM ett alternativ i flerskiktslösningar? finished
Swedish and much more on the webb finished
TDS Config Tool finished
Test benchmarks and test environment for SWEET finished
Utvärdering av programflödesanalys för WCET-beräkningar vid Volvo Construction Equipment finished
YODA finished