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.
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)
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
|ConCentric CRAFT - Creative Activities Framework -- Theory and practice of Content-Centric interaction Technology||finished|
|Parallel Execution of PLEX programs||finished|
|PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)||active|
|Timing Analysis on Code-Level||active|
|Tools for analysis of complex software systems||finished|
|WCET - Worst-Case Execution Time analysis||active|
|Worst-Case Execution Time Analysis of Parallel Systems||finished|